| org.mandarax.reference.SemanticEvaluationPolicy
All known Subclasses: org.mandarax.reference.DefaultSemanticEvaluationPolicy, org.mandarax.reference.NoSemanticEvaluationPolicy,
| SemanticEvaluationPolicy | | public interface SemanticEvaluationPolicy extends LogCategories,Serializable(Code) | | Algorithm used by the inference engines to evaluate 'semantic' clauses
and terms.
author:
Jens Dietrich
version:
3.4 <7 March 05>
since:
2.0 |
| evaluate | | Clause evaluate(Clause c, Session session, boolean logOn)(Code) | | Try to execute literals in the clause, and remove those literals if the
result ist true. E.g., the result of performing +[]-[L1,L2,2<4,L3]
would be +[]-[L1,L2,2<4,L3].
This method is used in the actual proof.
Parameters:
c - a clause
Parameters:
session - a session object
Parameters:
logOn - indicates whether we should log another clause |
| evaluate | | Term evaluate(ComplexTerm c, ClauseSet cs, Session session, boolean logOn)(Code) | | Try to execute a complex term.
This method is used when applying unification in renamings
in the process of result set building.
Parameters:
ct - a complex term
Parameters:
cs - the clause set (context object)
Parameters:
session - a session object
Parameters:
logOn - indicates whether we should log the term |
| evaluateAndCompare | | boolean evaluateAndCompare(Term t1, Term t2, Session session, boolean logOn)(Code) | | Try to unify two terms by evaluating them and comparing the results.
Parameters:
t1 - the first term
Parameters:
t2 - the second term
Parameters:
session - a session object a boolean - true if the terms represent the same object
Parameters:
logOn - indicates whether we should log |
|
|