Organization of the C library
Files `config.h' and `pkint.h' respectively define some
configuration stuff and the operations on generic integers.
`polka.c' and `polka.h' define global variables that set the
operation mode and the maximum size of matrices, and the initialization
`internal.c' and `internal.h' define the internal global
`bit.c' and `bit.h' define types
bitindex_t that allow to acces and perform operations on
`satmat.c' and `satmat.h' define the type
saturation matrices and the needed operations.
`vector.c' and `vector.h' define operations on vector,
considered as C arrays;
`matrix.c' and `matrix.h' define the type
needed operations on it, including rows sorting, matrices merging,
transformation by assignation or substitution of a variable by an affine
`cherni.c' and `cherni.h' contain the conversion and
last, `poly.c' and `poly.h' define the
operations on polyhedra.
In principle, a user needs only to know the `polka', `vector',
`matrix' and `poly' interfaces, and some of `pkint'.
This document was generated
on October, 27 2006