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