de.uka.ilkd.key.parser

Class SchemaVariableModifierSet.ProgramSV

java.lang.Object

de.uka.ilkd.key.parser.SchemaVariableModifierSet

de.uka.ilkd.key.parser.SchemaVariableModifierSet.ProgramSV

Enclosing class:

SchemaVariableModifierSet

public static class SchemaVariableModifierSet.ProgramSV
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
ProgramSV()

Method Summary

Modifier and Type	Method and Description
protected boolean	listEnabled()

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ProgramSV

public ProgramSV()

Method Detail

listEnabled

protected boolean listEnabled()

Overrides:

listEnabled in class SchemaVariableModifierSet