Expand description
Discrete spaces module.
Structs
Type representing binary values.
Type representing the set of integers, Z.
Type representing an interval on the real line.
Type representing the set of natural numbers, N.
Type representing the set of non-negative integers, Z(≥0).
Type representing the set of non-zero integers, Z*.
Type representing a finite, ordinal set of values.
Type representing a finite, uniformly partitioned interval.
Type Definitions
Type representing the set of positive integers, Z(>0).