public static class SchemaVariableModifierSet.ProgramSV extends SchemaVariableModifierSet
SchemaVariableModifierSet.FormulaSV, SchemaVariableModifierSet.FreshProgVarSV, SchemaVariableModifierSet.ProgramSV, SchemaVariableModifierSet.SkolemTermSV, SchemaVariableModifierSet.TermLabelSV, SchemaVariableModifierSet.TermSV, SchemaVariableModifierSet.VariableSV
Constructor and Description |
---|
ProgramSV() |
Modifier and Type | Method and Description |
---|---|
protected boolean |
listEnabled() |
addList, addModifier, addRigid, addStrict, list, rigid, rigidEnabled, strict, strictEnabled
protected boolean listEnabled()
listEnabled
in class SchemaVariableModifierSet