Enumeration of integers inside a rangeAuthor(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
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.