Class 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.