Abstract data types to be used in specifications
This library provides implementations of abstract data types
for linear lists, stacks, sets, and mappings by C modules.
The functions exported by these modules can be used in
specifications or in C modules supplied by users.
LidoList supports construction and access of linear
.lido specifications. The module
supports efficient dynamic storage allocation. It provides a simplified
and restricted interface to the
obstack module which is
recommended to be used for dynamic allocation of arbitrary sized
storage entities. The other modules are implementations of abstract data types.
The functions exported by each of these modules may be used in
.lido computations as well as in C modules. In the latter case
the interface file of the module has to be included into the