|
| |
|
| de.uka.ilkd.key.logic.op.SchemaVariable
All known Subclasses: de.uka.ilkd.key.logic.op.SchemaVariableAdapter,
| arity | | int arity()(Code) | | arity of the Variable as int |
| isFormulaSV | | boolean isFormulaSV()(Code) | | returns true iff this SchemaVariable is used to match
a formula
true iff this SchemaVariable is used to matcha formula |
| isListSV | | boolean isListSV()(Code) | | returns true if the schemavariable can match a list of syntactical
elements
true if the schemavariable can match a list of syntacticalelements |
| isNameSV | | boolean isNameSV()(Code) | | returns true iff this SchemaVariable is used to store a name
(e.g. of taclets or metavariables).
This SV is never matched against anything in the sequent.
|
| isOperatorSV | | boolean isOperatorSV()(Code) | | true iff this SchemaVariable is used to matchmodal operators |
| isProgramSV | | boolean isProgramSV()(Code) | | returns true iff this SchemaVariable is used to match
a part of a program
true iff this SchemaVariable is used to matcha part of a program |
| isRigid | | boolean isRigid(Term term)(Code) | | true if the value of "term" having this operator astop-level operator and may not be changed by modalities |
| isRigid | | boolean isRigid()(Code) | | |
| isSkolemTermSV | | boolean isSkolemTermSV()(Code) | | returns true iff this SchemaVariable is used to match (create)
a skolem term
true iff this SchemaVariable is used to match (create)a skolem term |
| isTermSV | | boolean isTermSV()(Code) | | returns true iff this SchemaVariable is used to match
a term but not a formula
true iff this SchemaVariable is used to matcha term but not a formula |
| isVariableSV | | boolean isVariableSV()(Code) | | returns true iff this SchemaVariable is used to match
bound (quantifiable) variables
true iff this SchemaVariable is used to matchbound (quantifiable) variables |
|
|
|