next up previous contents index
Next: mapping Up: PartialFunction Previous: apply   Contents   Index


inDomain?


\begin{usage} inDomain?~x \end{usage}


Signature


\begin{params} {\em$\sigma$} & \% & A partial function\\ {\em x} & R & An element of R\\\end{params}

\begin{retval} Returns {\it true}\xspace ~if x is in the domain of $\sigma$, {\it false}\xspace otherwise. \end{retval}


See Also


Manuel Bronstein 2000-12-13