Skip to content

Commit

Permalink
Clarify that variable of a reinit is not considered a left-hand side
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Sep 28, 2022
1 parent 0d48416 commit df75cbc
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions chapters/equations.tex
Original file line number Diff line number Diff line change
Expand Up @@ -292,6 +292,7 @@ \subsubsection{Equations within When-Equations}\label{restrictions-on-equations-
The \lstinline!for!- and \lstinline!if!-equations if the equations within the \lstinline!for!- and \lstinline!if!-equations satisfy these requirements.
\item
The different branches of \lstinline!when!/\lstinline!elsewhen! must have the same set of component references on the left-hand side.
Here, the destination variable of a \lstinline!reinit! (including when inside a \lstinline!when!-clause activated with \lstinline!initial()!) is not considered a left-hand side, and hence \lstinline!reinit! is unaffected by this requirement (as are \lstinline!assert! and \lstinline!terminate!).
\item
The branches of an \lstinline!if!-equation inside \lstinline!when!-equations must have the same set of component references on the left-hand side, unless all switching conditions of the \lstinline!if!-equation are parameter expressions.
\end{itemize}
Expand Down

0 comments on commit df75cbc

Please sign in to comment.