@(#)$Id: README,v 1.3 1997/07/25 17:12:57 leavens Exp $

This directory contains two specifications of stacks.
BoundedStack.h specifies stacks with a finite size,
and Stack.h specifies stacks that can grow without bound (in theory).

Only an implementation of BoundedStack is provided.
See the BoundedStack.pri file for a description of the private data members,
and a perhaps interesting representation invariant, dependency clause,
and abstraction relation.

The implementation of Stack is left as an exercise for the reader
(hint: use ../graph/List*).

No guarantee or warranty about the code!  (It's not even tested.)