Class NumericConstraintPredicate

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.clp.NumericConstraintPredicate

All Implemented Interfaces:

KnowledgeBaseConsumer, ConstraintFactory, PredicateFactory

public final class NumericConstraintPredicate
extends AbstractSingleResultPredicate
implements ConstraintFactory

CLP predicates for comparing numeric values.

• #= equal to
• #\= not equal to
• #> greater than
• #>= greater than or equal to
• #< less than
• #=< less than or equal to

Method Summary

Modifier and Type	Method	Description
org.projog.clp.Constraint	createConstraint(Term term, Set<org.projog.core.predicate.builtin.clp.ClpVariable> vars)
static NumericConstraintPredicate	equalTo()
boolean	evaluate(Term x, Term y)
static NumericConstraintPredicate	greaterThan()
static NumericConstraintPredicate	greaterThanOrEqualTo()
protected void	init()	This method is called by AbstractSingleResultPredicate.setKnowledgeBase(KnowledgeBase).
static NumericConstraintPredicate	lessThan()
static NumericConstraintPredicate	lessThanOrEqualTo()
static NumericConstraintPredicate	notEqualTo()

Methods inherited from class AbstractSingleResultPredicate

evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, 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

Method Details

equalTo

public static NumericConstraintPredicate equalTo()

notEqualTo

public static NumericConstraintPredicate notEqualTo()

lessThan

public static NumericConstraintPredicate lessThan()

greaterThan

public static NumericConstraintPredicate greaterThan()

lessThanOrEqualTo

public static NumericConstraintPredicate lessThanOrEqualTo()

greaterThanOrEqualTo

public static NumericConstraintPredicate greaterThanOrEqualTo()

evaluate

public boolean evaluate(Term x,
 Term y)

Overrides:

evaluate in class AbstractSingleResultPredicate

init

protected void init()

Description copied from class: AbstractSingleResultPredicate

This method is called by AbstractSingleResultPredicate.setKnowledgeBase(KnowledgeBase).

Can be overridden by subclasses to perform initialisation before any calls to AbstractSingleResultPredicate.getPredicate(Term) are made. As AbstractSingleResultPredicate.setKnowledgeBase(KnowledgeBase) will have already been called before this method is invoked, overridden versions will be able to access the KnowledgeBase using AbstractSingleResultPredicate.getKnowledgeBase().

Overrides:

init in class AbstractSingleResultPredicate

createConstraint

public org.projog.clp.Constraint createConstraint(Term term,
 Set<org.projog.core.predicate.builtin.clp.ClpVariable> vars)

Specified by:

createConstraint in interface ConstraintFactory