From bcb6f98697abede41a1922a693366a0dd9f72d00 Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Thu, 6 Aug 2020 21:12:17 +0200 Subject: [PATCH] Use \lstinline for 'noEvent' --- chapters/equations.tex | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/chapters/equations.tex b/chapters/equations.tex index ebfc34376..e5781a9a7 100644 --- a/chapters/equations.tex +++ b/chapters/equations.tex @@ -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.