Here is a list of all documented files with brief descriptions:
[detail level 123]
  ccl | |
  ccl | |
   ccl-array.h | A kind of template for dynamic arrays |
| ccl-assert.h | Macros allowing to set assertions into the code |
| ccl-bittable.h | Implementation of vectors of bits |
| ccl-buffer.h | |
| ccl-common.h | Some useful and common macros |
| ccl-config-table.h | Implementation of some kind of "preferences" table |
| ccl-config.h | |
| ccl-exception.h | An exception mechanism |
| ccl-graph.h | |
| ccl-hash.h | A dynamic association table implemented by hashing |
| ccl-heap.h | |
| ccl-init.h | |
| ccl-iterator.h | A generic iterator interface |
| ccl-list.h | Generic simple linked list |
| ccl-log.h | Message displayer |
| ccl-memory.h | Memory Allocators |
| ccl-parse-tree.h | A generic parse tree |
| ccl-pool.h | A by-packet allocator |
| ccl-poset.h | |
| ccl-protos.h | Frequently used prototypes of generic functions |
| ccl-rusage.h | |
| ccl-serializer.h | Serialization function for basic C types |
| ccl-set.h | |
| ccl-stack.h | A generic stack implementation |
| ccl-string.h | Module gathering routines frequently used for the manipulation of string |
| ccl-time.h | |
 ccl-tree.h | Generic not ordered tree structure |
| examples | |
| plugins | |
| template-plugin.c | |
| src | |
| alambic | |
| alambic.h | Alambic API |
| armoise | |
| armoise-input.h | Syntactical analyzer for the ARMOISE language |
| armoise-interp.h | Interpreter of ARMOISE syntactic trees |
| armoise-syntax.h | |
| armoise-tree.h | Syntactic tree for the Armoise language |
| armoise.h | |
| genepi | |
| genepi-common.h | |
| genepi-io.h | Useful functions used to serialize GENEPI sets |
| genepi-loader.h | Plugin Loader |
| genepi-plugin-config.h | Configuration tables for plugin |
| genepi-plugin.h | Specification of Plugin Prototypes |
| genepi-trace.h | Trace commands used by DIJO |
| genepi-util-inline.h | |
| genepi-util.h | Generic operations on GENEPI sets |
| genepi.h | GENEPI Solver Interface |
| prestaf | |
| batof-formulas.h | |
| batof-sfp.h | |
| prestaf-automata.h | |
| prestaf-batof.h | |
| prestaf-formula.h | This module implements an encoding of Presburger formulae. It computes also for a given formula its set of solutions using Shared Automata |
| prestaf-init.h | |
| prestaf-predicate.h | This module allows the manipulation of predicates for which variables take their value into  . The relation underlying a predicate is encoded using a sataf_msa |
| sataf | |
| sataf-inline.h | |
| sataf.h | |
| talalib | |
| common.h | |
| display.h | |
| group.h | |
| matrix.h | |
| saff.h | |
| talalib.h | |
| vec.h | |
| vsp.h | |
| tapas-config.h | |
| tapas.h |
