- getCellLabel
The label for a cell
- getRootCell
Return the root cell of the configuration .
- getCellAbsentLabel
The constant label to use as an argument of a cell fragment, when the cell
fragment did not capture
- getCellBagSortsOfCell
Set of cell bag sorts (e.g. ThreadCellBag) associated with a multiplicity * cell
(e.g. ThreadCell).
- getCellForConcat
Returns the cell associated with this concatenation label
- getCellForUnit
Returns the cell associated with this unit
- getCellFragmentLabel
The label for a fragment of a cell, only defined for parent cells.
- getComputationCell
Return the declared computation cell, by default the k cell
- getConcat
Returns the concatenation operation of a multiplicity * cell.
- getDefaultCell
Returns a term which is the default cell of sort k, probably an initializer
macro
- getLevel
Number of proper ancestors of cell k
- getMultiplicity
Declared multiplicity of a cell