de.uka.ilkd.key.parser

Class SchemaVariableModifierSet.SkolemTermSV

java.lang.Object

de.uka.ilkd.key.parser.SchemaVariableModifierSet

de.uka.ilkd.key.parser.SchemaVariableModifierSet.SkolemTermSV

Enclosing class:

SchemaVariableModifierSet

public static class SchemaVariableModifierSet.SkolemTermSV
extends SchemaVariableModifierSet

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.parser.SchemaVariableModifierSet

SchemaVariableModifierSet.FormulaSV, SchemaVariableModifierSet.FreshProgVarSV, SchemaVariableModifierSet.ProgramSV, SchemaVariableModifierSet.SkolemTermSV, SchemaVariableModifierSet.TermLabelSV, SchemaVariableModifierSet.TermSV, SchemaVariableModifierSet.VariableSV

Constructor Summary

Constructors

Constructor and Description
SkolemTermSV()

Method Summary

Methods inherited from class de.uka.ilkd.key.parser.SchemaVariableModifierSet

addList, addModifier, addRigid, addStrict, list, listEnabled, rigid, rigidEnabled, strict, strictEnabled

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SkolemTermSV

public SkolemTermSV()