de.uka.ilkd.key.parser

Class SchemaVariableModifierSet.TermSV

java.lang.Object

de.uka.ilkd.key.parser.SchemaVariableModifierSet

de.uka.ilkd.key.parser.SchemaVariableModifierSet.TermSV

Enclosing class:

SchemaVariableModifierSet

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

Method Summary

Modifier and Type	Method and Description
protected boolean	listEnabled()
protected boolean	rigidEnabled()
protected boolean	strictEnabled()

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

TermSV

public TermSV()

Method Detail

rigidEnabled

protected boolean rigidEnabled()

Overrides:

rigidEnabled in class SchemaVariableModifierSet

strictEnabled

protected boolean strictEnabled()

Overrides:

strictEnabled in class SchemaVariableModifierSet

listEnabled

protected boolean listEnabled()

Overrides:

listEnabled in class SchemaVariableModifierSet