Programming Using C++ - Report Example

The mathematical preconditions, as well as the constraints, characterize a particular ADT. In the code shown, there is a collection of unique keys and values, and as in the syntax, each key is supported by one value. The supported operations include creating an empty map, lookup for a particular value that is associated with a specific key, only if the key is present, querying or inquiring whether the map contains a given key, inserting of a key, removing a key, which would mostly be together with its associated value.

Inserting is done when the key is not already present while removing the key is if the key is already present. The above-explained specification is clearly manifested in the code, where expressions such as cout<<"cant pop data: stack empty"<<endl; constitute the operation to create an empty map. In this case, this code could create anything, for example, a list of natural numbers, integers, phonebooks among other things. In the code, functions such as //create a stack of natural numbers could be used to create a stack of natural numbers, integers, or even a phonebook.