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.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	Between.Retryable

Constructor Summary

Constructors

Constructor	Description
Between()

Method Summary

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

Methods inherited from class AbstractPredicateFactory

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

Between

public Between()

Method Details

getPredicate

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

Overrides:

getPredicate in class AbstractPredicateFactory