Table ADT
- Collection: (KeyType, DataType) associations
- Operations:
- void Insert (KeyType k, DataType d)
- void Remove (KeyType k)
- bool Retrieve (KeyType k, DataType& d) const
- bool Empty() const
- unsigned int Size() const
- Axioms:
- after Insert (k1, d1), Retrieve (k1, d) returns true and d = d1
- after Remove (k1), Retrieve (k1, d) returns false with d undefined
- after Insert (k1, d1), Empty () returns false
- Empty () returns true iff Size () returns zero
|