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


DynamicDataStructureType


Usage

DynamicDataStructureType T: Category


Parameter Type Description
T Type the type of the entries


Description

DynamicDataStructureType is the category of finite general structures in which entries of type T can be inserted or removed dynamically.


Exports

BoundedFiniteDataStructureType T
insert: (T, %) $\to$ % add an element
insert!: (T, %) $\to$ % add an element


if T has PrimitiveType then

remove: (T, %) $\to$ % remove an element
remove!: (T, %) $\to$ % remove an element
removeAll: (T, %) $\to$ % remove all occurrences of an element
removeAll!: (T, %) $\to$ % remove all occurrences of an element



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