evalInt

Next: PartialRing Up: ParsingTools Previous: evalArith Contents Index

evalInt

$\begin{usage} evalInt~e \end{usage}$

Signature

evalInt: ExpressionTree $\to$ Partial Integer

$\begin{params} {\em e} & \htmlref{\texttt{ExpressionTree}}{ExpressionTree} & An expression tree\\ \end{params}$

$\begin{retval} Returns the value of $e$\ as an integer if it is an integer--valued leaf, {\it failed}\xspace otherwise. \end{retval}$

Manuel Bronstein 2000-12-13