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 .lido
specifications or in C modules supplied by users.
The module LidoList supports construction and access of linear
lists in .lido specifications. The module DynSpace
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
C module.
|