Lines Matching refs:eval
93 wrapped in {\bf eval/1} when they appear in constraints; otherwise
95 variable, resulting in a type error. See section~\ref{sec:eval} for
295 assumed to be IC variables unless they are wrapped in an {\bf eval/1}
296 term. See section~\ref{sec:eval} for an more detailed explanation of
440 \item[\texttt{eval(Expr)}]
441 See section~\ref{sec:eval} for an explanation of {\bf eval/1} usage.
444 \subsubsection{{\bf eval}}
445 \label{sec:eval}
446 The {\bf eval/1} wrapper inside arithmetic constraints is used to
465 \texttt{Expr} in an {\bf eval/1}.
474 Sum $= eval(Expr).