| org.mandarax.kernel.TermContainer
| TermContainer | | public interface TermContainer (Code) | | Interface for objects managing terms such as facts and complex terms.
author:
Jens Dietrich
version:
3.4 <7 March 05>
since:
1.0 |
| getTerms | | public Term[] getTerms()(Code) | | Get the terms (as an array).
WarningThis method shouyld return the array holding the terms and not a copy or an array view.
I.e., the array can be manipulated directly in order to set new terms.
the term contained |
| setTerm | | public void setTerm(Term t, int i)(Code) | | Set a term at a certain position.
Parameters:
t - a term
Parameters:
i - a position |
|
|