From dc77c90dad0785b217c633ea49b105242c2fbc9c Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Thu, 1 Apr 2021 01:00:12 +0200 Subject: [PATCH] Consider function input variables as structural expressions --- chapters/operatorsandexpressions.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/chapters/operatorsandexpressions.tex b/chapters/operatorsandexpressions.tex index 59083c843..7cf056a7d 100644 --- a/chapters/operatorsandexpressions.tex +++ b/chapters/operatorsandexpressions.tex @@ -1409,6 +1409,8 @@ \subsection{Structural Expressions}\label{structural-expressions} Constant expressions. \item Structural parameters (\cref{component-variability-prefixes-discrete-parameter-constant}). +\item + Input variables in functions behave as though they were structural expressions. \item Except for the special built-in operators \lstinline!initial!, \lstinline!terminal!, \lstinline!der!, \lstinline!edge!, \lstinline!change!, \lstinline!sample!, and \lstinline!pre!, a function or operator with structural subexpressions is a structural expression. \item @@ -1435,8 +1437,6 @@ \subsection{Parameter Expressions}\label{parameter-expressions} Structural expressions. \item Normal parameters (\cref{component-variability-prefixes-discrete-parameter-constant}). -\item - Input variables in functions behave as though they were parameter expressions. \item Except for the special built-in operators \lstinline!initial!, \lstinline!terminal!, \lstinline!der!, \lstinline!edge!, \lstinline!change!, \lstinline!sample!, and \lstinline!pre!, a function or operator with parameter