 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
| • |
In
general, the basic operations associated with an
|
|
|
abstract
data type fall into three categories:
|
|
|
|
constructors,
transformers, and observers.
|
|
|
|
– |
A
constructor creates a new instance (variable) of an
|
|
|
|
ADT
|
|
|
|
– |
A
transformer builds a new value of the ADT, given
|
|
|
|
one
or more previous values of the type.
|
|
|
|
– |
An
observer allows us to observe the state of an ADT
|
|
|
|
without
changing it.
|
|