Unit color set

The unit color set comprises a single element, denoted (). Declaration Syntax colset name = unit [with new_unit]; Order trivial Optional with clause Renames the value, that is, defines the identifier representing (). The new value name must be a CPN ML identifier. Declaration examples colset U = unit; colset E = unit with e; Operations See color set functions.

Boolean color set

The Boolean values are true and false. Declaration syntax colset name = bool [with (new_false, new_true)]; Order false before true Optional with clause Renames the values; that is, defines the identifiers representing true and false. The new value names must be identifiers. Declaration examples colset B = bool; colset Answer = bool with (no, yes); Boolean operations not b: negation of the Boolean value b […]

Integer color sets

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 colset name = int [with int-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. […]

Large Integer color sets

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 colset name = intinf [with int-exp1..int-exp2]; Order usual ordering of integers Optional with clause Restricts the integer color set to an interval determined […]

Real color sets

NOTE: This type is introduced in CPN Tools 3.5.5. Real numbers are distinguished from integers by the decimal point. The period separates the integer part from the fractional part. One or more digits must follow after the decimal point. The real color set is large. IMPORTANT: Reals are NOT equality types in Standard ML. In the CPN ML variant used in CPN Tools this has […]

Time color sets

NOTE: This type is introduced in CPN Tools 3.5.5. Time values are numerals depending on the . The time color set is large. The type depends on the time mode of the model, and may either be identical to large integer color sets or real color sets Declaration syntax colset name = time Order usual ordering of time stamps Declaration examples colset TME = time; […]

String color sets

Strings are specified by sequences of printable ASCII characters surrounded with double quotes. The string color set is large unless restricted by the with … and clause, in which case it is small. Declaration syntax colset name = string [with string-exp1..string-exp2 [and int-exp1..int-exp2]]; Order lexicographic (with the ASCII ordering) Optional with clause Restricts the character set of string color sets. The character set is specified […]

Enumerated color sets

Enumerated values are explicitly named as identifiers in the declaration. These values must be alphanumeric identifiers. This is a small color set. Declaration syntax colset name = with id0 | id1 | … | idn; Order as in the declaration Declaration examples colset Day = with Mon | Tues | Wed | Thurs | Fri | Sat | Sun ; Operations See color set functions. […]

Index color sets

Indexed values are sequences of values comprised of an identifier and an index-specifier. The color set is small. Declaration syntax colset name = index id with int-exp1..int-exp2; Order usual ordering on the indexes Values id i id(i) where i is an integer and int-exp1 <= i <= int-exp2. Declaration examples colset PH = index ph with 1..5; Index color sets are used in the Dining […]