- gen
Takes a configuration declaration and returns the sentences that it desugars
into. Cells of multipli
- computeSentencesOfWellFormedCell
Generates the sentences associated with a particular cell. As a special case,
cells with the maincel
- convertStringMultiplicity
- genInternal
Recurses over a cell and computes all the sentences corresponding to its
children, and then generate
- getCellPropertiesAsAtt
- getCellProperty
- getInitLabel
- getLeafInitializer
Returns the body of an initializer for a leaf cell: replaces any configuration
variables with map lo
- getProjectLbl
- hasConfigOrRegularVariable
Returns true if the specified term has a configuration or regular variable
- optionalCellInitializer
Returns the term used to initialize an optinoal cell. An optional cell is
initialized to the empty b