org.projog.core.predicate.builtin.compare

Class Between

java.lang.Object

org.projog.core.predicate.AbstractPredicateFactory

org.projog.core.predicate.builtin.compare.Between

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class Between
extends AbstractPredicateFactory

between(X,Y,Z) - checks if a number is within a specified range.

between(X,Y,Z) succeeds if the integer numeric value represented by Z is greater than or equal to the integer numeric value represented by X and is less than or equal to the integer numeric value represented by Y.

If Z is an uninstantiated variable then Z will be successively unified with all integer values in the range from X to Y.

Constructor Summary

Constructors

Constructor and Description
Between()

Method Summary

Modifier and Type	Method and Description
protected Predicate	getPredicate(Term low, Term high, Term middle)

Methods inherited from class org.projog.core.predicate.AbstractPredicateFactory

getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicate, getPredicate, getPredicate, 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

Between

public Between()

Method Detail

getPredicate

protected Predicate getPredicate(Term low,
                                 Term high,
                                 Term middle)

Overrides:

getPredicate in class AbstractPredicateFactory