| java.lang.Object
 org.mandarax.reference.RobinsonsUnificationAlgorithm
| RobinsonsUnificationAlgorithm | | public class RobinsonsUnificationAlgorithm implements ExtendedUnificationAlgorithm,LogCategories(Code) | | Reference implementation of Robinson's unification algorithm.
author:
Alex Kozlenkov
author:
Jens Dietrich
version:
3.4 <7 March 05>
since:
1.2
since:
[Prova] Most methods made inheritable as the class is overridden
since:
by ws.prova.reference.ProvaRobinsonUnificationAlgorithm
author:
Alex Kozlenkov
version:
3.4 <7 March 05> |
| Method Summary | |
| protected Term[] | apply(Term[] t, Replacement r)
Apply a replacement to an array of terms. | | protected Term[] | getAllSubterms(Term[] terms)
Get an array of all subterms of an array of terms. | | public SemanticEvaluationPolicy | getSemanticEvaluationPolicy()
Returns the semantic evaluation policy. | | public void | setSemanticEvaluationPolicy(SemanticEvaluationPolicy semanticEvaluationPolicy)
Sets the semantic evaluation policy. | | public Unification | unify(Term[] t1, Term[] t2, Session session)
Unify the two arrays of terms. | | public Unification | unify(Term[] t1, Term[] t2, boolean isRule)
| | protected org.mandarax.kernel.Unification | unify(Term[] t1, Term[] t2, List subst, int start, Session session, boolean logOn)
Unify two arrays of terms. |
| RobinsonsUnificationAlgorithm | | public RobinsonsUnificationAlgorithm()(Code) | | Constructor.
|
| apply | | protected Term[] apply(Term[] t, Replacement r)(Code) | | Apply a replacement to an array of terms.
an array containing the results of applying the replacement
Parameters:
t - an array of terms
Parameters:
r - a replacement |
| getAllSubterms | | protected Term[] getAllSubterms(Term[] terms)(Code) | | Get an array of all subterms of an array of terms.
an array containing all subterms of all terms of the inpute array
Parameters:
terms - an array of terms |
| getSemanticEvaluationPolicy | | public SemanticEvaluationPolicy getSemanticEvaluationPolicy()(Code) | | Returns the semantic evaluation policy.
the semantic evaluation policy |
| setSemanticEvaluationPolicy | | public void setSemanticEvaluationPolicy(SemanticEvaluationPolicy semanticEvaluationPolicy)(Code) | | Sets the semantic evaluation policy.
Parameters:
semanticEvaluationPolicy - The semantic evaluation policy to set |
| unify | | protected org.mandarax.kernel.Unification unify(Term[] t1, Term[] t2, List subst, int start, Session session, boolean logOn)(Code) | | Unify two arrays of terms.
org.mandarax.kernel.Unification
Parameters:
t1 - the first array of terms
Parameters:
t2 - the second array of terms
Parameters:
subst - the list of replavements
Parameters:
start - start investigation at this index
Parameters:
session - a session
Parameters:
logOn - if true then we log |
|
|