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