Skip to content

Commit

Permalink
Swap order of sections
Browse files Browse the repository at this point in the history
It makes more sense to talk about rules for parameters and constants after at least having first introduced the component variability prefixes.
  • Loading branch information
henrikt-ma committed Feb 9, 2022
1 parent adc3f82 commit 51758d7
Showing 1 changed file with 7 additions and 6 deletions.
13 changes: 7 additions & 6 deletions chapters/classes.tex
Expand Up @@ -281,6 +281,13 @@ \subsubsection{Prefix Rules}\label{prefix-rules}
function.
\end{itemize}


\subsection{Component Variability Prefixes}\label{component-variability-prefixes-discrete-parameter-constant}

The prefixes \lstinline!discrete!, \lstinline!parameter!, \lstinline!constant! of a component declaration are called \firstuse[variability!prefix]{variability prefixes} and are the basis for defining in which situation the variable values of a component are initialized (see \cref{events-and-synchronization} and \cref{initialization-initial-equation-and-initial-algorithm}) and when they are changed during transient analysis (i.e., solution of initial value problem of the hybrid DAE).
Further details on how the prefixes relate to component variability, as well as rules applying to components the different variabilities, are given in \cref{component-variability}.


\subsection{Acyclic Bindings of Constants and Parameters}\label{acyclic-bindings-of-constants-and-parameters}

For a constant or parameter \lstinline!v! with declaration equation, the expression of the declaration equation in the flattended model must not depend on \lstinline!v! itself, neither directly nor indirectly via other variables' declaration equations.
Expand Down Expand Up @@ -351,12 +358,6 @@ \subsection{Acyclic Bindings of Constants and Parameters}\label{acyclic-bindings
\end{example}


\subsection{Component Variability Prefixes}\label{component-variability-prefixes-discrete-parameter-constant}

The prefixes \lstinline!discrete!, \lstinline!parameter!, \lstinline!constant! of a component declaration are called \firstuse[variability!prefix]{variability prefixes} and are the basis for defining in which situation the variable values of a component are initialized (see \cref{events-and-synchronization} and \cref{initialization-initial-equation-and-initial-algorithm}) and when they are changed during transient analysis (i.e., solution of initial value problem of the hybrid DAE).
Further details on how the prefixes relate to component variability, as well as rules applying to components the different variabilities, are given in \cref{component-variability}.


\subsection{Conditional Component Declaration}\label{conditional-component-declaration}

A component declaration can have a \lstinline!condition-attribute!: \lstinline!if!~\emph{expression}.
Expand Down

0 comments on commit 51758d7

Please sign in to comment.