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