next up previous contents index
Next: Up: Data Structures Previous: remove!   Contents   Index


Set


Usage

import from Set T


Parameter Type Description
T PrimitiveType the type of the set entries


Description

Set provides sets of entries of type $T$, $1$-indexed and without bound checking.


Exports

BoundedFiniteLinearStructureType T
DynamicDataStructureType T
$-$: (%, %) $\to$ % set difference
intersection: (%, %) $\to$ % intersect two sets
intersection!: (%, %) $\to$ % intersect two sets
minus!: (%, %) $\to$ % set difference
union: (%, T) $\to$ % add an element
  (%, %) $\to$ % add a set of elements
union!: (%, T) $\to$ % add an element
  (%, %) $\to$ % add a set of elements



Subsections
next up previous contents index
Next: Up: Data Structures Previous: remove!   Contents   Index
Manuel Bronstein 2004-06-28