predicate

Next: partialFunction Up: PartialFunction Previous: partialMapping Contents Index

predicate

$\begin{usage} predicate~$\sigma$ \end{usage}$

Signature

predicate: % $\to$ (R $\to$ Boolean

$\begin{params} {\em$\sigma$} & \% & A partial function\\ \end{params}$

$\begin{retval} Returns the predicate defining the domain of $\sigma$. \end{retval}$

See Also

inDomain?

Manuel Bronstein 2000-12-13