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