Package org.projog.core.predicate.builtin.compare

Class NumericEquality

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.compare.AbstractNumericComparisonPredicate

org.projog.core.predicate.builtin.compare.NumericEquality

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class NumericEquality
extends AbstractNumericComparisonPredicate

X=:=Y - numeric equality test.

Succeeds when the number argument X is equal to the number argument Y.

Constructor Summary

Constructors

Constructor	Description
NumericEquality()

Method Summary

Modifier and Type	Method	Description
protected boolean	evaluate(Term arg1, Term arg2)

Methods inherited from class org.projog.core.predicate.builtin.compare.AbstractNumericComparisonPredicate

compare

Methods inherited from class org.projog.core.predicate.AbstractSingleResultPredicate

evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.projog.core.predicate.PredicateFactory

isAlwaysCutOnBacktrack

Constructor Details

NumericEquality

public NumericEquality()

Method Details

evaluate

protected boolean evaluate(Term arg1,
 Term arg2)

Overrides:

evaluate in class AbstractSingleResultPredicate