Changeset a59e338 for doc

Timestamp:

Jul 22, 2023, 8:51:46 AM (11 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

378096a

Parents:

f898983

Message:

small wording changes

File:

• doc/theses/colby_parsons_MMAth/text/waituntil.tex (modified) (2 diffs)

doc/theses/colby_parsons_MMAth/text/waituntil.tex

@@ -472 +472 @@
 or waituntil( i << C2 ) {}
 or waituntil( i << C3 ) {}
-or waituntil( min( timeout( D1 ), timeout( D2 ),  timeout( D3 ) ) {}
+or waituntil( timeout( min( D1, D2, D3 ) ) ) {}
 
 
@@ -478 +478 @@
 \end{tabular}
 \end{cquote}
-These examples are basically equivalent.
+These two examples are basically equivalent.
 Here, the multiple timeouts are useful because the durations can change during execution and the separate clauses provide different code blocks if a timeout triggers.
 Multiple timeouts can also be used with @and@ to provide a minimal delay before proceeding.
-In following example, either channels @C1@ or @C2@ must be satisfied but nothing can be done for at least 1 or 3 seconds after the channel read.
+In following example, either channel @C1@ or @C2@ must be satisfied but nothing can be done for at least 1 or 3 seconds after the channel read, respctively.
 \begin{cfa}[deletekeywords={timeout}]
 waituntil( i << C1 ); and waituntil( timeout( 1`s ) );
 or waituntil( i << C2 ); and waituntil( timeout( 3`s ) );
 \end{cfa}
-If only @C2@ is satisfied, \emph{both} timeout code-blocks trigger.
+If only @C2@ is satisfied, \emph{both} timeout code-blocks trigger because 1 second ocurs before 3 seconds.
 Note, the \CFA @waitfor@ statement only provides a single @timeout@ clause because it only supports @or@ semantics.