| org.mandarax.kernel.Term
| allSubterms | | TermIterator allSubterms()(Code) | | Get a term iterator for the subterms.
an iterator for all subterms |
| apply | | Term apply(Replacement r)(Code) | | Apply a substitution to a term.
the term resulting from applying the replacement
Parameters:
r - a replacement |
| containsVariable | | public boolean containsVariable(VariableTerm var)(Code) | | Indicates whether the term contains the provided variable term.
true if the term contains the variable term provided, false otherwise
Parameters:
var - a variable term |
| containsVariables | | public boolean containsVariables()(Code) | | Indicates whether the term containes variables.
true if the term contains variables, false otherwise |
| getAllSubterms | | Term[] getAllSubterms()(Code) | | Get all subterms as array.
an array of all subterms |
| getAllSubtermsA | | void getAllSubtermsA(List result)(Code) | | |
| getAllSubtermsA | | void getAllSubtermsA(List result, boolean left)(Code) | | |
| getAllSubtermsB | | public boolean getAllSubtermsB(List result, Iterator aux, boolean left)(Code) | | |
| getType | | Class getType()(Code) | | Get the type of the term.
the type of the term |
| isCompound | | public boolean isCompound()(Code) | | Indicates whether the term is compound.
true if this is a compound term, false otherwise |
| isConstant | | public boolean isConstant()(Code) | | Indicates whether the term is a constant.
true if this is a constant term, false otherwise |
| isVariable | | public boolean isVariable()(Code) | | Indicates whether the term is a variable.
true if this is a variable term, false otherwise |
| sameAs | | boolean sameAs(Term t)(Code) | | Indicates whether the object is the same as the parameter.
boolean
Parameters:
t - org.mandarax.kernel.Term |
|
|