object

integer

Integer data type predicates.

author:
Paulo Moura
version:
1.5
date:
2009/7/6
compilation:
static, context_switching_calls
extends:
public number

Public interface

between/3

Returns integers in the interval defined by the two first arguments.

compilation:
static
template:
between(Lower,Upper,Integer)
mode – number of solutions:
between(+integer,+integer,+integer) – zero_or_one
between(+integer,+integer,-integer) – zero_or_more

plus/3

Reversible integer sum. At least two of the arguments must be instantiated to integers.

compilation:
static
template:
plus(I,J,Sum)
mode – number of solutions:
plus(+integer,+integer,?integer) – zero_or_one
plus(+integer,?integer,+integer) – zero_or_one
plus(?integer,+integer,+integer) – zero_or_one

succ/2

compilation:
static
mode – number of solutions:
succ(+integer,?integer) – zero_or_one
succ(?integer,+integer) – zero_or_one

sequence/3

Generates a list with the sequence of all integers in the interval [Inf, Sup], assuming Inf =< Sup.

compilation:
static
template:
sequence(Inf,Sup,List)
mode – number of solutions:
sequence(+integer,+integer,-list(integer)) – zero_or_one

Protected interface

(see related entities)

Private predicates

(see related entities)

Remarks

(none)