Skip to content

Commit

Permalink
Use \lstinline for 'noEvent'
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Aug 6, 2020
1 parent 471b6f5 commit bcb6f98
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions chapters/equations.tex
Expand Up @@ -644,10 +644,8 @@ \section{Events and Synchronization}\label{events-and-synchronization}
used to guard against \emph{outside domain} errors, e.g.\ \lstinline!y = if noEvent(x>= 0) then sqrt(x) else 0.!
\end{example}

All equations and assignment statements within when-clauses and all
assignment statements within function classes are implicitly treated
with the noEvent function, i.e., relations within the scope of these
operators never induce state or time events.
All equations and assignment statements within when-clauses and all assignment statements within function classes are implicitly treated with \lstinline!noEvent!, i.e., relations within the scope of
these operators never induce state or time events.

\begin{nonnormative}
Using state events in when-clauses is unnecessary because the body of a when-clause is not evaluated during continuous integration.
Expand Down

0 comments on commit bcb6f98

Please sign in to comment.