Loading


Real color setsNOTE: 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. Declaration Syntax
Orderusual ordering of numbers Optional with Clause
Restricts the real color set to an interval determined by the two expressions Declaration Examples
The CPN variable Operations
The trigonometric functions all work in units of radians. For additional details and functions see the REAL signature and the MATH signature in the SML Basis Library. See also color set functions. All color setsSimple color sets
Compound color sets 
