diff --git a/chapters/equations.tex b/chapters/equations.tex index aff1cf198..705425348 100644 --- a/chapters/equations.tex +++ b/chapters/equations.tex @@ -358,7 +358,8 @@ \subsubsection{Application of the Single-assignment Rule to When-Equations}\doub The Modelica single-assignment rule (\autoref{synchronous-data-flow-principle-and-single-assignment-rule}) has implications for when-equations: \begin{itemize} -\item Two when-equations may \emph{not} define the same variable. +\item + Two when-equations may \emph{not} define the same variable. \begin{nonnormative} Without this rule this may actually happen for the erroneous @@ -388,7 +389,8 @@ \subsubsection{Application of the Single-assignment Rule to When-Equations}\doub below or using the statement version of the when-construct, see \autoref{when-statements}. \end{nonnormative} -\item When-equations involving elsewhen-parts can be used to resolve +\item + When-equations involving elsewhen-parts can be used to resolve assignment conflicts since the first of the when/elsewhen parts are given higher priority than later ones: \begin{nonnormative}