File List

Here is a list of all documented files with brief descriptions:

alloc.c	Allocation helpers. Please use the macros of alloc.h instead of these
alloc.h	Macros and functions to help memory allocation
error.h	Macros for displaying error messages
files.h	Management of savefiles
graphs.h	Implementation of graphs
graphs_tarjan.h	Implementation of Tarjan's algorithm
graphs_transclos.h	Computation of transitive closures in graphs
interrupt.h	Functions to handle interrupts and timeouts
main.h	The main file of the program
monoid.h	Implementation of morphisms into finite monoids
monoid_congruences.h	Computations of congruences on monoids. Deterministic hierarchies
monoid_display.h
monoid_ideals.h	Computations of ideals in monoids
monoid_kernels.h	Computation of kernels
monoid_orbits.h	Computation of orbits
monoid_props.h	Tests of properties on morphisms
monoid_sub.h
nfa.h	Implementation of NFAs
nfa_determi.h	Determinization and complementation of NFAs
nfa_enum.h	Enumeration of DFAs
nfa_intersec.h	Intersection of NFAs
nfa_mccluskey.h	Computation of a regular expression from a NFA with the Brzozowski-McCluskey algorithm
nfa_minimization.h	Minimization
nfa_patterns.h	Patterns equations for DFAs
nfa_props.h
parse_regexp.h
parser.h
printing.h
readline.h
regexp.h	Implementation of regular expressions
regexp_tonfa.h	Construction of a NFA from a regular expression. Thompson's et Glushkov's algorithms
sep_group.h	Separation by group languages
sep_pol.h	Separation by classes built with polynomial closure
shell_autoprops.h
shell_commands.h
shell_errors.h
shell_filtering.h	Header file for objects filtering in the shell
shell_help.h	Single function which displays the help of the program
shell_keywords.h	Keywords and commands used in the shell
shell_languages.h
shell_memb.h
shell_morprops.h	Shell functions testing properties of automata
shell_sclass.h
shell_separ.h
shell_test.h	Single function used for tests
tools.h
type_abr.h	Implementation of AVLs for representing sets of objects
type_basic.h	Basic types
type_binheap.h	Implementation of generic binary heaps
type_boolarray.h	Implementation of Boolean arrays
type_dequeue.h	Implementation of dequeues of unsigned integers
type_dequeue_gen.h	Implementation of generic dequeues which store void pointers
type_dlist.h	Implementation of doubly linked lists
type_hash.h
type_partitions.h	Types used to represent partitions. Includes the union-find algorithm
words.h	Implementation of letters and words