| java.lang.Object
 org.mandarax.reference.NoSemanticEvaluationPolicy
| NoSemanticEvaluationPolicy | | public class NoSemanticEvaluationPolicy implements SemanticEvaluationPolicy(Code) | | Semantic evaluation policy that switches semantic evaluation off.
author:
Jens Dietrich
version:
3.4 <7 March 05>
since:
2.0 |
| evaluate | | public Clause evaluate(Clause c, Session session, boolean logOn)(Code) | | Try to execute literals in the clause - accourding to this policy, just do nothing.
Parameters:
c - a clause
Parameters:
session - a session
Parameters:
logOn - indicates whether we should log another clause |
| evaluate | | public Term evaluate(ComplexTerm ct, ClauseSet cs, Session session, boolean logOn)(Code) | | Try to evaluate (simplify) a complex term.
Parameters:
ct - a complex term
Parameters:
cs - the clause set (context object)
Parameters:
session - a session
Parameters:
logOn - indicates whether we should log a term |
| evaluateAndCompare | | public 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
Parameters:
logOn - indicates whether we should log a boolean - true if the terms represent the same object |
|
|