Class NumericGreaterThanOrEqual

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.compare.NumericGreaterThanOrEqual

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class NumericGreaterThanOrEqual
extends AbstractSingleResultPredicate

X>=Y - numeric "greater than or equal" test.

Succeeds when the number argument X is greater than or equal to the number argument Y.

Constructor Summary

Constructors

Constructor	Description
NumericGreaterThanOrEqual()

Method Summary

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

Methods inherited from class AbstractSingleResultPredicate

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

Methods inherited from class Object

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

Methods inherited from interface PredicateFactory

isAlwaysCutOnBacktrack, preprocess

Constructor Details

NumericGreaterThanOrEqual

public NumericGreaterThanOrEqual()

Method Details

evaluate

protected boolean evaluate(Term arg1,
 Term arg2)

Overrides:

evaluate in class AbstractSingleResultPredicate

compare

protected int compare(Term arg1,
 Term arg2)