de.uka.ilkd.key.parser

Class SchemaVariableModifierSet.FormulaSV

java.lang.Object

de.uka.ilkd.key.parser.SchemaVariableModifierSet

de.uka.ilkd.key.parser.SchemaVariableModifierSet.FormulaSV

Enclosing class:

SchemaVariableModifierSet

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

Method Summary

Modifier and Type	Method and Description
protected boolean	rigidEnabled()

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaSV

public FormulaSV()

Method Detail

rigidEnabled

protected boolean rigidEnabled()

Overrides:

rigidEnabled in class SchemaVariableModifierSet