Skip to content

Commit

Permalink
Drop redundant items from list of expression variability rules
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Mar 25, 2022
1 parent 5a2b0fe commit 98d7aa8
Showing 1 changed file with 0 additions and 4 deletions.
4 changes: 0 additions & 4 deletions chapters/operatorsandexpressions.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1351,10 +1351,6 @@ \section{Variability of Expressions}\label{variability-of-expressions}
For multiple return assignment \lstinline!(x1, $\ldots$, xn) := expr! (see \cref{assignments-from-called-functions-with-multiple-results}), all of \lstinline!x1!, \ldots, \lstinline!xn! must be declared to be at least as variable as \lstinline!expr!.
\item
When determining whether an equation can contribute to solving for a variable \lstinline!v! (for instance, when applying the perfect matching rule, see \cref{synchronous-data-flow-principle-and-single-assignment-rule}), the equation can only be considered contributing if the resulting solution would be at most as variable as \lstinline!v!.
\item
The right-hand side expression in a binding equation (that is, \lstinline!expr!) of a parameter component and of the base type attributes (such as \lstinline!start!) needs to be a parameter or constant expression.
\item
If \lstinline!v! is a discrete-time component then \lstinline!expr! needs to be a discrete-time expression.
\end{itemize}

\begin{example}
Expand Down

0 comments on commit 98d7aa8

Please sign in to comment.