*NOTE*: This type is introduced in CPN Tools 3.5.5.

Large Integers are numerals without a decimal point and no upper limit. The large integer color set is large unless restricted by the `with`

clause, in which case it is small.

## Declaration syntax

colsetname =intinf[withint-exp1..int-exp2];

### Order

usual ordering of integers

### Optional `with`

clause

Restricts the integer color set to an interval determined by the two expressions in `int-exp1`

and `int-exp2`

. It must be the case that `int-exp1`

<=`int-exp2`

.

## Declaration examples

colset INTINF = intinf;

colset SmalLargelInt = intinf with 1..10;

var smalllargeInt : SmallLargeInt;

The CPN variable `smallInt`

may have a range of integer values from 1 to 10. For example, 2 is a legal value, but 11 is not and 2.9 is not.

## Operations

: negation of the integer value i**~**i`i1`

: addition**+**i2`i1`

: subtraction**-**i2`i1`

: multiplication*****i2`i1`

: division, quotient**div**i2`i1`

: modulus, remainder**mod**i2

: absolute value of i**abs**i

: minimum of i1 and i2**Int.min**(i1,i2)

: maximum of i1 and i2**Int.max**(i1,i2)

See also color set functions.

For additional details and functions see the INTINF signature in the SML Basis Library Manual.

You must be logged in to post a comment.