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
Copyright © 2003-2019 The KeY-Project.