diff --git a/chapters/classes.tex b/chapters/classes.tex index 3fc3e85b6..0fdeb2b32 100644 --- a/chapters/classes.tex +++ b/chapters/classes.tex @@ -968,9 +968,7 @@ \section{Balanced Models}\label{balanced-models} \end{definition} \begin{nonnormative} -Here, \emph{legal values} must respect final bindings and min/max-restrictions. A tool shall verify the \emph{locally balanced} property for the actual -values of parameters and constants in the simulation model. It is a quality of implementation for a tool to verify this property in general, due to -arrays of (locally) undefined sizes, conditional declarations, for loops etc. +Here, \emph{legal values} must respect final bindings and min/max-restrictions. A tool shall verify the \emph{locally balanced} property for the actual values of parameters and constants in the simulation model. It is a quality of implementation for a tool to verify this property in general, due to arrays of (locally) undefined sizes, conditional declarations, for-loops etc. \end{nonnormative} \begin{definition}[Globally balanced] @@ -1443,12 +1441,7 @@ \subsection{Enumeration Types}\label{enumeration-types} \end{lstlisting} \end{example} -An enumeration type is a simple type and the attributes are defined in -\cref{attributes-of-enumeration-types}. The \lstinline!Boolean! type name or an enumeration type name can -be used to specify the dimension range for a dimension in an array -declaration and to specify the range in a for loop range expression; see -\cref{types-as-iteration-ranges}. An element of an enumeration type can be accessed in -an expression. +An enumeration type is a simple type and the attributes are defined in \cref{attributes-of-enumeration-types}. The \lstinline!Boolean! type name or an enumeration type name can be used to specify the dimension range for a dimension in an array declaration and to specify the range in a for-loop range expression; see \cref{types-as-iteration-ranges}. An element of an enumeration type can be accessed in an expression. \begin{nonnormative} Uses of elements of enumeration type in expressions include indexing into an array. diff --git a/chapters/equations.tex b/chapters/equations.tex index 8669bcd20..884a182a1 100644 --- a/chapters/equations.tex +++ b/chapters/equations.tex @@ -139,8 +139,7 @@ \subsubsection{Explicit Iteration Ranges of For-Equations}\label{explicit-iterat \subsubsection{Implicit Iteration Ranges of For-Equations}\label{implicit-iteration-ranges-of-for-equations} -The iteration range of a loop variable may sometimes be inferred from -its use as an array index. See \cref{implicit-iteration-ranges} for more information. +The iteration range of a loop-variable may sometimes be inferred from its use as an array index. See \cref{implicit-iteration-ranges} for more information. \begin{example} \begin{lstlisting}[language=modelica] diff --git a/chapters/revisions.tex b/chapters/revisions.tex index 00be727c3..0cdb09361 100644 --- a/chapters/revisions.tex +++ b/chapters/revisions.tex @@ -2049,7 +2049,7 @@ \subsection{Main Changes in Modelica 2.1}\label{main-changes-in-modelica-2-1} package \lstinline!Connections! with operators \lstinline!Connections.branch!, \lstinline!Connections.root!, \lstinline!Connections.potentialRoot!, \lstinline!Connections.isRoot!. \item - Statement \lstinline!break! in the while loop of an algorithm section. + Statement \lstinline!break! in the while-loop of an algorithm section. \item Statement \lstinline!return! in a Modelica function. \item