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

Field Summary

Fields

Modifier and Type	Field	Description
private final BiFunction<org.projog.clp.Expression, org.projog.clp.Expression, org.projog.clp.Constraint>	constraintGenerator
private ExpressionFactories	expressions

Constructor Summary

Constructors

Modifier	Constructor	Description
private	NumericConstraintPredicate(BiFunction<org.projog.clp.Expression, org.projog.clp.Expression, org.projog.clp.Constraint> constraintGenerator)

Method Summary

Modifier and Type	Method	Description
org.projog.clp.Constraint	createConstraint(Term[] args, Set<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, 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

Field Details

constraintGenerator

private final BiFunction<org.projog.clp.Expression, org.projog.clp.Expression, org.projog.clp.Constraint> constraintGenerator

expressions

private ExpressionFactories expressions

Constructor Details

NumericConstraintPredicate

private NumericConstraintPredicate(BiFunction<org.projog.clp.Expression, org.projog.clp.Expression, org.projog.clp.Constraint> constraintGenerator)

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.evaluate(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[] args,
 Set<ClpVariable> vars)

Specified by:

createConstraint in interface ConstraintFactory