| java.lang.Object
 de.uka.ilkd.key.logic.Term
de.uka.ilkd.key.logic.OpTerm
All known Subclasses: de.uka.ilkd.key.logic.UpdateTerm,
| OpTerm | | class OpTerm extends Term (Code) | | An OpTerm is an object that contains an Operator and several subterms. Can be used
to represent e.g., function terms or quantifier terms. Instances should never be
accessed via
this interface, use the interface of the superclass Term and construct instances only via
a TermFactory instead.
|
| OpTerm | | public OpTerm(Operator op, Term[] subTerm)(Code) | | creates an OpTerm with top operator op, some subterms 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 |
| 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) | | an empty variable list |
|
|