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 byZis greater than or equal to the integer numeric value represented byXand is less than or equal to the integer numeric value represented byY.If
Zis an uninstantiated variable thenZwill be successively unified with all integer values in the range fromXtoY.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description private static classBetween.Retryable
-
Constructor Summary
Constructors Constructor Description Between()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected PredicategetPredicate(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
-
-
-
-
Method Detail
-
getPredicate
protected Predicate getPredicate(Term low, Term high, Term middle)
- Overrides:
getPredicatein classAbstractPredicateFactory
-
-