Skip to content

Commit

Permalink
Add reference to future section
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Dec 8, 2020
1 parent 27040af commit 666a9b3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion chapters/classes.tex
Expand Up @@ -281,7 +281,7 @@ \subsection{Acyclic Bindings of Constants and Structural Parameters}\label{acycl
The unexpanded binding equations for constants in the translated model must be acyclic after flattening.
Thus it is not possible to introduce equations for constants by cyclic dependencies.

Structural parameters, on the other hand, cannot have cyclic dependencies by definition.
Structural parameters, on the other hand, cannot have cyclic dependencies by definition (see \cref{component-variability-prefixes-discrete-parameter-constant}).
Since variability rules do not allow constants to depend on structural parameters, this means that constants and structural parameters share the property that their declaration equations can be solved one at a time with the natural causality.

\begin{example}
Expand Down

0 comments on commit 666a9b3

Please sign in to comment.