org.projog.core.predicate.builtin.compare

Class NumericInequality

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.compare.NumericInequality

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class NumericInequality
extends AbstractSingleResultPredicate

X=\=Y - numeric inequality test.

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

Constructor Summary

Constructors

Constructor and Description
NumericInequality()

Method Summary

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

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 Detail

NumericInequality

public NumericInequality()

Method Detail

evaluate

protected boolean evaluate(Term arg1,
                           Term arg2)

Overrides:

evaluate in class AbstractSingleResultPredicate

compare

protected int compare(Term arg1,
                      Term arg2)