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

clause, in which case it is small.

## Declaration syntax

colsetname =int[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 INT = int;

colset SmallInt = int with 1..10;

An integer color set using the `with`

clause is used in the Simple Protocol example.

var smallInt : SmallInt;

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 INTEGER signature in the SML Basis Library Manual.

You must be logged in to post a comment.