Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Don't say that end is a function call, and be a bit clearer. #3361

Merged
merged 2 commits into from Apr 14, 2023
Merged

Don't say that end is a function call, and be a bit clearer. #3361

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
37f02b5
Don't say that end is a function call, and be a bit clearer.
HansOlsson Apr 5, 2023
7d11277
Update chapters/operatorsandexpressions.tex
HansOlsson Apr 14, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
4 changes: 2 additions & 2 deletions chapters/operatorsandexpressions.tex
View file
Open in desktop
Expand Up @@ -1526,13 +1526,13 @@ \subsection{Evaluable Expressions}\label{evaluable-expressions}
Input variables in functions behave as though they were evaluable 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 evaluable subexpressions is an evaluable expression.
\item
The sub-expression \lstinline!end! used in \lstinline!A[$\ldots$ end $\ldots$]! if \lstinline!A! is a variable declared in a non-\lstinline!function! class.
\item
Some function calls are evaluable expressions even if the arguments are not:
\begin{itemize}
\item
\lstinline!cardinality(c)!, see restrictions for use in \cref{cardinality-deprecated}.
\item
\lstinline!end! in \lstinline!A[$\ldots$ end $\ldots$]! if \lstinline!A! is variable declared in a non-\lstinline!function! class.
\item
\lstinline!size(A)! (including \lstinline!size(A, j)! where \lstinline!j! is an evaluable expression) if \lstinline!A! is variable declared in a non-function class.
\item
Expand Down