Derivation nodes represent application of a single rule.
author: Jens Dietrich version: 3.4 <7 March 05> since: 1.0 since: Prova re-integration modifications author: Alex Kozlenkov version: 3.4 <7 March 05>
Dump the derivation node and the subtree having this node as a root to the print writer.
This method is for developer support only.
Parameters: out - a print stream
Get the state of this node.
See Also: org.mandarax.kernel.DerivationNodeImpl the state, the value is one of the constants defined in org.mandarax.kernel.DerivationNodeImpl
public boolean isSupported(int resultNumber)(Code)
Indicates whether the result at the given index is supported by this node.
int resultNumber - the number of the result in the result set indexing starts with 0 boolean
Replace a term.
a term Parameters: original - a term
replace
public void replace(List[] replacements, Term[] originals)(Code)
Replace a term and add any replacements found to the list,
an array of lists, each containing a list of terms representing thesolution for the variable at the respective position[Prova] Made public to be callable from ws.prova.reference.ProvaResultSetImpl2 Parameters: originals - an array of terms
Sets the semantic evaluation policy.
[Prova] Changed to public to allow out of package inference engines.
Parameters: policy - The semantic evaluation policy to set