|
Directories |
directory | internal |
Files |
file | accessible.hh |
| Algorithms for accessible/coaccessible states computation.
|
file | accessible.hxx |
file | aci_canonical.hh |
| This file contains the 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 | closure.hh |
| This files declares the backward and forward closure algorithm.
|
file | closure.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 | 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 | derivatives_automaton.hh |
| Provides a converter from expression to automaton based on derivatives.
|
file | derivatives_automaton.hxx |
file | determinize.hh |
| This file provides the determinization algorithm for Boolean automata.
|
file | determinize.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 | extension.hh |
| This file contains 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 | is_letterized.hh |
| This file contains letter-to-letter feature testing.
|
file | is_letterized.hxx |
file | is_normalized.hh |
| This file contains a test for transducer normalization.
|
file | is_normalized.hxx |
file | is_realtime.hh |
| This file contains a test for realtime transducers.
|
file | is_realtime.hxx |
file | isomorph.hh |
| This files contains the declaration for the is_isomorph() algorithm.
|
file | isomorph.hxx |
file | krat_exp_cderivation.hh |
| This file contains the declaration for the cderivate() algorithms.
|
file | krat_exp_cderivation.hxx |
file | krat_exp_constant_term.hh |
| This file contains the declaration for the constant_term() algorithm.
|
file | krat_exp_constant_term.hxx |
file | krat_exp_derivation.hh |
| This file contains the 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 |
| This file contains the declarations for the linearize() algorithm.
|
file | krat_exp_linearize.hxx |
file | krat_exp_partial_derivation.hh |
| This file contains the 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 | outsplitting.hh |
| Outsplitting and insplitting algorithms for normalized and sub-normalized transducers seen as automata over a free monoid product.
|
file | outsplitting.hxx |
| Outsplitting and insplitting algorithms for normalized and sub-normalized transducers seen as automata over a free monoid product.
|
file | product.hh |
| This file contains the declarations of product().
|
file | product.hxx |
file | projection.hh |
| Undocumented stuff.
|
file | projection.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 | 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 |
| This file contains the declaration of useful_states() and trim().
|
file | trim.hxx |