Case

Next: addNewcase! Up: Conditions Previous: Conditions Contents Index

Case

$\begin{usage} import from Case(C,O) \end{usage}$

$\begin{params} {\em C} & \htmlref{\texttt{Condition}}{Condition} & The kind o... ...\htmlref{\texttt{SumitType}}{SumitType} & The kind of objects \\\end{params}$

$\begin{descr} Case~is a set of If(C,O). \end{descr}$

Exports

BoundedFiniteLinearStructureType If(C,O)

SumitType

addNewCase!: (%,If(C,O)) $\to$ % In-place add a new case

coerce: If(C,O) $\to$ % Make a single case

join!: (%,%) $\to$ % In-place join

Subsections

addNewcase!
coerce
join!

Manuel Bronstein 2000-12-13

`BoundedFiniteLinearStructureType` `If`(C,O)
`SumitType`
`addNewCase!`:	(%,`If`(C,O)) $\to$ %	In-place add a new case
`coerce`:	`If`(C,O) $\to$ %	Make a single case
`join!`:	(%,%) $\to$ %	In-place join