| accessible.hh | Algorithms for accessible/coaccessible states computation |
| alphabets_base.hh | Definition of the alphabet concept |
| aut_to_exp.hh | This file provides converter from automaton to expression |
| backward_closure.hh | Backward closure algorithm |
| backward_realtime.hh | Algorithms to make an automaton realtime |
| complement.hh | Complementation algorithm for boolean automaton |
| complete.hh | Completion algorithm for deterministic and boolean automaton |
| concatenate.hh | This file provides the general concatenation algorithm |
| contract.hh | Definition of contract macros |
| default_ops.hh | Default implementations for standard Element operations |
| derivatives_automaton.hh | This file provides a converter from expression to automaton based on derivatives |
| determinize.hh | This file provides the determinization algorithm for boolean automata |
| element.hh | Declaration of Element |
| element_op_traits.hh | Declaration of default arithmetical operator traits for Element |
| element_ops.hh | Declarations of standard external operator delegations for Element |
| element_ops.hxx | Implementations of external operators standard delegations for Element |
| eval.hh | This file provides the evaluation of a word w.r.t an automaton |
| forward_closure.hh | Forward closure algorithm |
| forward_realtime.hh | Algorithms to make an automaton realtime |
| hopcroft_minimization.hh | This file provides minimization and quotient algorithms |
| is_letterized.hh | This file contains letter-to-letter feature testing |
| is_normalized.hh | This file contains a test for transducer normalization |
| is_realtime.hh | This file contains a test for realtime transducers |
| krat_exp_parser.hh | This file declare the parse() function |
| krat_exp_parser.hxx | Implement the parse() function |
| limits.hh | Wrapper about the numeric limits for Vaucanson |
| math.hh | Wrapper about the math library for Vaucanson |
| meta_element_root.hh | Definition of the specialization of MetaElement for the root Structure |
| normalized.hh | Thompson normalization operations |
| partial_rat_exp.hh | The PartialExp type. (undocumented) |
| partial_rat_exp_constant_term.hh | The constant_term of PartialExp. (undocumented) |
| predecls.hh | Forward declarations of the fundamental template classes of Vaucanson |
| random.hh | Definition of random generators |
| realtime.hh | General algorithms concerning realtime aspect of automata |
| selectors.hh | Definition of type argument macros |
| slots.hh | Declaration of set attribute slot for Element |
| standard.hh | Several algorithms concerning standard automata |
| standard_of.hh | This file provides a converter from expression to standard automaton |
| static.hh | Definition of metaprogrammation helpers |
| structure.hh | Definition of class Structure, the root of all structural element types |
| sub_automaton.hh | This file provides the extraction of sub automaton |
| sum.hh | Summing of automata |
| support.hh | Stuff to adapt containers |
| syntactic_decorator.hh | Declaration of the very base class of Element |
| system.hh | System-wide configuration helpers |
| unique.hh | Declarations for the type canonicalization tools |
1.3.2