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 AbstractNumericComparisonPredicate
compare

Methods inherited from class AbstractSingleResultPredicate
evaluate, 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

Constructor Details
- NumericEquality
  
  public NumericEquality()
Method Details
- evaluate
  
  protected boolean evaluate(Term arg1, Term arg2)
  
  Overrides:
  
  evaluate in class AbstractSingleResultPredicate