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 been modified, meaning you should be able to use reals as any other type, but beware that equality is still dodgy because of rounding errors. We recommend against relying on exact comparisons, and instead use only inequalities using reals (expressions like “x < 1.1”). While reals work with the state space tool, we recommend against using reals with state space analysis.
For now, reals are considered experimental due to the very fundamental changes needed to make them work; we welcome any error reports regarding reals, but do not otherwise provide any support for this type before the release of 4.0.
usual ordering of numbers
Restricts the real color set to an interval determined by the two expressions
The CPN variable
The trigonometric functions all work in units of radians.
See also color set functions.