accessible.hh | Algorithms for accessible/coaccessible states computation |
aci_canonical.hh | This file contains the declaration for the canonical() algorithm |
algebra.hh | Workaround to give Doxygen documentation about the algebra namespace |
alphabets_base.hh | Definition of the alphabet concept |
aut_to_exp.hh | This file provides converter from automaton to expression |
automata_ops.hh | This file holds the default operations for the elements of the automata set |
backward_realtime.hh | Algorithms to make an automaton realtime |
berry_sethi.hh | Contains the declaration for the Berry-Sethi algorithm |
bitset.hh | This file contains a Bitset class declaration |
bitset.hxx | This file contains a Bitset class implementaion |
brzozowski.hh | Contains the declaration for the Brzozowski algorithm |
char_traits.hh | Generic char_traits declarations |
closure.hh | This files declares the backward and forward closure algorithm |
complement.hh | Complementation algorithm for Boolean automata |
complete.hh | Completion algorithm for deterministic and Boolean automaton |
concatenate.hh | This file provides the general concatenation algorithm |
contract.hh | Definition of contract macros |
cut_up.hh | Cut-up algorithm |
cut_up.hxx | Cut-up algorithm |
default_ops.hh | Default implementations for standard Element operations |
deferrer.hh | This file contains declarations for the Deferrer class |
deferrer.hxx | This file contains definitions for the Deferrer class |
derived_term_automaton.hh | Provides a converter from expression to automaton based on derivatives |
determinize.hh | This file provides the determinization algorithm for Boolean automata |
dot_display.hxx | Calls out_display with dot_dump as the function to launch by out_display |
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 |
escaper.hh | Declarations of the escaper class and related functions |
escaper.hxx | Definitions of the escaper class and related functions |
eval.hh | This file provides the evaluation of a word w.r.t an automaton |
evaluation.hh | Undocumented stuff |
evaluation_fmp.hh | Evaluation over normalized and sub-normalized transducers seen as automata over a free monoid product |
extension.hh | This file contains declarations for extension() |
factory.hh | Factory Method generic implementation. This code comes from the proposed implementation by Alexandrescu, in his "Modern C++ Design" book |
finite_support_conversion.hh | Conversion between finite support application types |
fmp_to_realtime.hh | This file provides a transformation function that computes the equivalent transducer of a FMP automaton |
forward_realtime.hh | Algorithms to make an automaton realtime |
initial_derivation.hh | This file contains the declaration for the initial derivation visitor, used for smart_derivative_automaton |
iomanip.hh | Declarations of the iomanip class and related functions |
iomanip.hxx | Definitions of the iomanip class and related functions |
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 |
isomorph.hh | |
krat_exp_cderivation.hh | This file contains the declaration for the cderivate() algorithms |
krat_exp_constant_term.hh | This file contains the declaration for the constant_term() algorithm |
krat_exp_derivation.hh | This file contains the declaration for the derivate() algorithms |
krat_exp_flatten.hh | This file holds the declaration of the flatten() algorithm |
krat_exp_linearize.hh | This file contains the declarations for the linearize() algorithm |
krat_exp_parser.hh | This file declares the parse() function |
krat_exp_partial_derivation.hh | This file contains the declarations for the partial_derivate() algorithm |
krat_exp_realtime.hh | Declarations of the realtime() algorithm for rational expressions |
letter_to_letter_composition.hh | Undocumented stuff |
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 |
minimization_hopcroft.hh | This file provides minimization and quotient algorithms |
minimization_moore.hh | This file containes the declaration of minimization_moore() |
node.hh | Node class for Factory Method, used in xml::xml_converter::save() |
node.hxx | Node class for Factory Method, used in xml::xml_converter::save() |
normalized.hh | Thompson normalization operations |
normalized_composition.hh | Composition for normalized and sub-normalized transducers seen as automata over a free monoid product |
normalized_composition.hxx | Composition for normalized and sub-normalized transducers seen as automata over a free monoid product |
out_display.hh | Out display method, useful for xml_display and dot_display |
out_display.hxx | Out_display method, useful for xml_display and dot_display |
outsplitting.hh | Outsplitting and insplitting algorithms for normalized and sub-normalized transducers seen as automata over a free monoid product |
outsplitting.hxx | Outsplitting and insplitting algorithms for normalized and sub-normalized transducers seen as automata over a free monoid product |
partial_rat_exp.hh | The PartialExp type. (undocumented) |
partial_rat_exp_constant_term.hh | The constant_term of PartialExp . (undocumented) |
partial_rat_exp_derivation.hh | The derivation of PartialExp . (undocumented) |
predecls.hh | Forward declarations of the design pattern template classes of Vaucanson |
product.hh | This file contains the declarations of product() |
projection.hh | Undocumented stuff |
projections_fmp.hh | Domain and Image projection for transducers seen as automata over a free monoid product |
random.hh | Definition of random generators |
rational_number.hh | This file contains a RationalNumber class declaration |
rational_number.hxx | This file contains a Rational class implementation |
realtime.hh | General algorithms concerning realtime aspect of automata |
realtime_composition.hh | Undocumented stuff |
realtime_decl.hh | Declaration of the realtime() function |
realtime_to_fmp.hh | This file provides a transformation function that computes the equivalent FMP automaton of a tranducer |
search.hh | Rational expression search in text |
selectors.hh | Definition of type argument macros |
session.hh | XML session management |
session.hxx | XML session management |
skeleton.hh | The Skeleton class. (undocumented-internal) |
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 |
sub_normalize.hxx | Sub-normalization algorithm for FMP transducers |
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 |
thompson.hh | The thompson automaton |
algorithms/transpose.hh | This file contain the function which transpose an automaton |
trim.hh | This file contains the declaration of useful_states() and trim() |
unique.hh | Declarations for the type canonicalization tools |
usual_escaped_characters.hh | Declarations of the usual_escaped_characters() function |
window.hh | Window class for regular expression search on streams |
window.hxx | Window class for regular expression search on streams |
xerces_parser.hh | Xerces-C++ parser |
xerces_parser.hxx | Xerces-C++ parser |
XML.hh | XML main file |
XML.hxx | XML main file |
xml_chooser.hh | XML specialized class, providing methods to create <type> tag and to create labels in the XML document |
xml_chooser.hxx | XML specialized class, providing methods to create <type> tag and to create labels in the XML document |
xml_converter.hh | XML conversion class |
xml_converter.hxx | XML conversion class |
xml_display.hh | Calls out_display with xml_dump as the function to launch by out_display |
xml_display.hxx | Calls out_display with xml_dump as the function to launch by out_display |
xml_dump.hh | Calls a method to display an automaton 'a' in XML format on the stream 'o' |
xml_dump.hxx | Calls a method to display an automaton 'a' in XML format on the stream 'o' |
xml_load.hh | Calls a method to fill the automaton 'a' by reading on 'i' |
xml_load.hxx | Calls a method to fill the automaton 'a' by reading on 'i' |