Enumeration of integers inside a range
Author(s): The CLIP Group.
This modules enumerates integers between two numbers, or checks that an integer lies within a range
Usage and interface
Documentation on exports
PREDICATE
Usage:between(Min,Max,N)
N is a number which is greater than or equal to Min and smaller than or equal to Max. Both Min and Max can be either integer or real numbers.
- The following properties should hold at call time:
(term_typing:nonvar/1)Min is currently a term which is not a free variable.
(term_typing:nonvar/1)Max is currently a term which is not a free variable.
(basic_props:num/1)Min is a number.
(basic_props:num/1)Max is a number. - The following properties should hold upon exit:
(basic_props:int/1)N is an integer.
