| java.lang.Object org.mandarax.kernel.LObject org.mandarax.reference.Complex
All known Subclasses: org.mandarax.reference.FactImpl, org.mandarax.reference.ComplexTermImpl,
Complex | abstract public class Complex extends LObject (Code) | | Abstract super class for logical entities such as complex terms and facts.
author: Jens Dietrich version: 3.4 <7 March 05> since: 1.1 |
Constructor Summary | |
protected | Complex() Constructor. |
Complex | protected Complex()(Code) | | Constructor.
|
getConstructor | abstract protected Constructor getConstructor()(Code) | | Get the object constructing the complex, i.e. the predicate or function.
the constructor |
getTerms | public Term[] getTerms()(Code) | | Get the terms (as an array).
an array of terms |
setTerm | public void setTerm(Term t, int i)(Code) | | Set a term at a certain position. Note that in case the type of the term does not
match the type required by the constructor we do not throw an exception.
Instead, we just do not set the term.
As from 3.2, some new checks have been added an runtime exceptions are thrown if
one of these tests fails
Parameters: t - a term Parameters: i - a position |
setTerms | public void setTerms(Term[] t)(Code) | | Set the terms (as an array).
Parameters: t - an array of terms |
toString | public String toString()(Code) | | Convert the receiver to a string.
the string representation of this object |
|
|