Usage
import from Set T
Parameter | Type | Description |
---|---|---|
T | PrimitiveType | the type of the set entries |
Description
Set provides sets of entries of type , -indexed and without bound checking.
Exports
BoundedFiniteLinearStructureType T DynamicDataStructureType T : (%, %) % set difference intersection: (%, %) % intersect two sets intersection!: (%, %) % intersect two sets minus!: (%, %) % set difference union: (%, T) % add an element (%, %) % add a set of elements union!: (%, T) % add an element (%, %) % add a set of elements