| java.lang.Object
 de.uka.ilkd.key.logic.Term
de.uka.ilkd.key.logic.BoundVarsTerm
| BoundVarsTerm | | class BoundVarsTerm extends Term (Code) | | Used for OCL Simplification.
A BoundVarsTerm is an object that contains an Operator and several subterms.
It can also have a number of bound variables for each subterm.
Instances should never be accessed via
this interface, use the interface of the superclass Term and construct instances only via
a TermFactory instead.
|
| Constructor Summary | |
| public | BoundVarsTerm(Operator op, Term[] subTerm, ArrayOfQuantifiableVariable[] boundVars)
Creates an BoundVarsTerm with top operator op, some subterms,
zero or more bound variables for each subterm, and a sort. |
| Method Summary | |
| public int | arity()
| | public int | depth()
| | public Term | sub(int nr)
| | public ArrayOfQuantifiableVariable | varsBoundHere(int n)
The array of variables bound for subterm n. |
| BoundVarsTerm | | public BoundVarsTerm(Operator op, Term[] subTerm, ArrayOfQuantifiableVariable[] boundVars)(Code) | | Creates an BoundVarsTerm with top operator op, some subterms,
zero or more bound variables for each subterm, and a sort.
Parameters:
op - Operator at the top of the termstructure that startshere.
Parameters:
subTerm - An array containing subTerms (an array with length 0 ifthere are no more subterms).
Parameters:
boundVars - An array containing the bound variables. |
| arity | | public int arity()(Code) | | arity of the term |
| depth | | public int depth()(Code) | | depth of the term |
| sub | | public Term sub(int nr)(Code) | | the nr-th subterm
|
| varsBoundHere | | public ArrayOfQuantifiableVariable varsBoundHere(int n)(Code) | | The array of variables bound for subterm n. |
|
|