Directories | |
directory | internal |
Files | |
file | accessible.hh |
Algorithms for accessible/coaccessible states computation. | |
file | accessible.hxx |
file | aci_canonical.hh |
Declaration for the canonical() algorithm. | |
file | aci_canonical.hxx |
file | aut_to_exp.hh |
This file provides converter from automaton to expression. | |
file | aut_to_exp.hxx |
file | backward_realtime.hh |
Algorithms to make an automaton realtime. | |
file | backward_realtime.hxx |
file | berry_sethi.hh |
Contains the declaration for the Berry-Sethi algorithm. | |
file | berry_sethi.hxx |
file | brzozowski.hh |
Contains the declaration for the Brzozowski algorithm. | |
file | brzozowski.hxx |
file | complement.hh |
Complementation algorithm for Boolean automata. | |
file | complement.hxx |
file | complete.hh |
Completion algorithm for deterministic and Boolean automaton. | |
file | complete.hxx |
file | composition_cover.hh |
Composition for normalized and sub-normalized transducers seen as automata over a free monoid product. | |
file | composition_cover.hxx |
Composition (co-)cover algorithms for normalized and sub-normalized transducers seen as automaton over a free monoid. | |
file | concatenate.hh |
This file provides the general concatenation algorithm. | |
file | concatenate.hxx |
file | cut_up.hh |
Cut-up algorithm. | |
file | cut_up.hxx |
Cut-up algorithm. | |
file | derived_term_automaton.hh |
Provides a converter from expression to automaton based on derivatives. | |
file | derived_term_automaton.hxx |
file | determinize.hh |
Boolean automata determinization. | |
file | determinize.hxx |
file | eps_removal.hh |
This files declares the backward and forward eps_removal algorithm. | |
file | eps_removal.hxx |
file | eval.hh |
This file provides the evaluation of a word w.r.t an automaton. | |
file | eval.hxx |
file | evaluation.hh |
Undocumented stuff. | |
file | evaluation.hxx |
file | evaluation_fmp.hh |
Evaluation over normalized and sub-normalized transducers seen as automata over a free monoid product. | |
file | evaluation_fmp.hxx |
file | extension.hh |
Declarations for extension(). | |
file | extension.hxx |
file | finite_support_conversion.hh |
Conversion between finite support application types. | |
file | finite_support_conversion.hxx |
file | fmp_to_realtime.hh |
This file provides a transformation function that computes the equivalent transducer of a FMP automaton. | |
file | fmp_to_realtime.hxx |
file | forward_realtime.hh |
Algorithms to make an automaton realtime. | |
file | forward_realtime.hxx |
file | initial_derivation.hh |
Declaration of the initial derivation visitor, used for smart_derivative_automaton. | |
file | initial_derivation.hxx |
file | invert.hh |
Declarations of invert(). | |
file | invert.hxx |
file | is_ambiguous.hh |
Test for ambiguity. | |
file | is_ambiguous.hxx |
file | is_letterized.hh |
Letter-to-letter feature testing. | |
file | is_letterized.hxx |
file | is_normalized.hh |
Test for transducer normalization. | |
file | is_normalized.hxx |
file | is_realtime.hh |
Test for realtime transducers. | |
file | is_realtime.hxx |
file | isomorph.hh |
file | isomorph.hxx |
file | krat_exp_cderivation.hh |
Declaration for the cderivate() algorithms. | |
file | krat_exp_cderivation.hxx |
file | krat_exp_constant_term.hh |
Declaration for the constant_term() algorithm. | |
file | krat_exp_constant_term.hxx |
file | krat_exp_derivation.hh |
Declaration for the derivate() algorithms. | |
file | krat_exp_derivation.hxx |
file | krat_exp_expand.hh |
file | krat_exp_expand.hxx |
file | krat_exp_flatten.hh |
This file holds the declaration of the flatten() algorithm. | |
file | krat_exp_flatten.hxx |
file | krat_exp_linearize.hh |
Declarations for the linearize() algorithm. | |
file | krat_exp_linearize.hxx |
file | krat_exp_partial_derivation.hh |
Declarations for the partial_derivate() algorithm. | |
file | krat_exp_partial_derivation.hxx |
file | krat_exp_realtime.hh |
Declarations of the realtime() algorithm for rational expressions. | |
file | krat_exp_realtime.hxx |
file | letter_to_letter_composition.hh |
Undocumented stuff. | |
file | letter_to_letter_composition.hxx |
file | minimization_hopcroft.hh |
This file provides minimization and quotient algorithms. | |
file | minimization_hopcroft.hxx |
file | minimization_moore.hh |
This file containes the declaration of minimization_moore(). | |
file | minimization_moore.hxx |
file | normalized.hh |
Thompson normalization operations. | |
file | normalized.hxx |
file | normalized_composition.hh |
Composition for normalized and sub-normalized transducers seen as automata over a free monoid product. | |
file | normalized_composition.hxx |
Composition for normalized and sub-normalized transducers seen as automata over a free monoid product. | |
file | product.hh |
Declarations of product(). | |
file | product.hxx |
file | projection.hh |
Undocumented stuff. | |
file | projection.hxx |
file | projections_fmp.hh |
Domain and Image projection for transducers seen as automata over a free monoid product. | |
file | projections_fmp.hxx |
file | realtime.hh |
General algorithms concerning realtime aspect of automata. | |
file | realtime.hxx |
file | realtime_composition.hh |
Undocumented stuff. | |
file | realtime_composition.hxx |
file | realtime_decl.hh |
Declaration of the realtime() function. | |
file | realtime_decl.hxx |
file | realtime_to_fmp.hh |
This file provides a transformation function that computes the equivalent FMP automaton of a tranducer. | |
file | realtime_to_fmp.hxx |
file | search.hh |
Rational expression search in text. | |
file | search.hxx |
file | standard.hh |
Several algorithms concerning standard automata. | |
file | standard.hxx |
file | standard_of.hh |
This file provides a converter from expression to standard automaton. | |
file | standard_of.hxx |
file | sub_automaton.hh |
This file provides the extraction of sub automaton. | |
file | sub_automaton.hxx |
file | sub_normalize.hh |
Sub-normalization algorithm for FMP transducers. | |
file | sub_normalize.hxx |
Sub-normalization algorithm for FMP transducers. | |
file | sum.hh |
Summing of automata. | |
file | sum.hxx |
file | thompson.hh |
The thompson automaton. | |
file | thompson.hxx |
file | algorithms/transpose.hh |
This file contain the function which transpose an automaton. | |
file | algorithms/transpose.hxx |
file | trim.hh |
Declaration of useful_states() and trim(). | |
file | trim.hxx |