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