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.
colset name = int [with int-exp1..int-exp2];
usual ordering of integers
Restricts the integer color set to an interval determined by the two expressions in
int-exp2. It must be the case that
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.
~i: negation of the integer value i
i1 + i2: addition
i1 - i2: subtraction
i1 * i2: multiplication
i1 div i2: division, quotient
i1 mod i2: modulus, remainder
abs i: absolute value of i
Int.min(i1,i2): minimum of i1 and i2
Int.max(i1,i2): maximum of i1 and 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.