partialMapping

Next: predicate Up: PartialFunction Previous: mapping Contents Index

partialMapping

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

Signature

partialMapping: % $\to$ (R $\to$ Partial S)

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

$\begin{retval} Returns the map corresponding to the action of $\sigma$\ on R. \end{retval}$

See Also

inDomain?, mapping, predicate

Manuel Bronstein 2000-12-13