From 21d6ef2750dd25b36aa1b0e8bd5ec09babfb14e5 Mon Sep 17 00:00:00 2001 From: OLSSON Hans Date: Tue, 4 Jan 2022 15:31:35 +0100 Subject: [PATCH] SimplerThanProposedRestrictionIsImplicit --- chapters/equations.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/chapters/equations.tex b/chapters/equations.tex index 2744ae222..0f7e650e2 100644 --- a/chapters/equations.tex +++ b/chapters/equations.tex @@ -255,7 +255,7 @@ \subsubsection{Defining When-Equations by If-Expressions in Equality Equations}\ The start values of the introduced \lstinline!Boolean! variables are defined by the taking the start value of the when-condition, as above where \lstinline!b! is a parameter variable. The start value of the special functions \lstinline!initial!, \lstinline!terminal!, and \lstinline!sample! is \lstinline!false!. -\subsubsection{Restrictions on Where a When-Equation may Occur}\label{restrictions-on-where-a-when-equation-may-occur} +\subsubsection{Where a When-Equation may Occur}\label{restrictions-on-where-a-when-equation-may-occur}\label{where-a-when-equation-may-occur} \begin{itemize} \item @@ -277,7 +277,7 @@ \subsubsection{Restrictions on Where a When-Equation may Occur}\label{restrictio \end{lstlisting} \end{example} -\subsubsection{Restrictions on Equations within When-Equations}\label{restrictions-on-equations-within-when-equations} +\subsubsection{Equations within When-Equations}\label{restrictions-on-equations-within-when-equations}\label{equations-within-when-equations} The equations within the \lstinline!when!-equation must have one of the following forms: \begin{itemize}