# File List

Here is a list of all documented files with brief descriptions:

accessible.hh [code] | Algorithms for accessible/coaccessible states computation
accessible.hxx [code] |
aci_canonical.hh [code] | Declaration for the canonical() algorithm
aci_canonical.hxx [code] |
algebra/algebra.hh [code] |
misc/algebra.hh [code] |
algebra.hxx [code] |
alphabet_set.hh [code] |
alphabet_set.hxx [code] |
alphabets.hh [code] |
alphabets_base.hh [code] | Definition of the alphabet concept
alphabets_base.hxx [code] |
aut_projection.hh [code] | Projections for automata that support it (it depends on the letter type)
aut_projection.hxx [code] |
aut_to_exp.hh [code] | This file provides converter from automaton to expression
aut_to_exp.hxx [code] |
automata.hh [code] |
automata.hxx [code] |
automata_base.hh [code] |
automata_base.hxx [code] |
automata_kind.hh [code] |
automata_ops.hh [code] | This file holds the default operations for the elements of the automata set
automata_ops.hxx [code] |
automaton.thh [code] |
automaton_functions.thh [code] |
automaton_maker.thh [code] |
automaton_maker.thxx [code] |
automaton_tools.hh [code] |
automaton_view.hh [code] |
automaton_view.hxx [code] |
bencher.hh [code] |
bencher.hxx [code] |
berry_sethi.hh [code] | Contains the declaration for the Berry-Sethi algorithm
berry_sethi.hxx [code] |
bitset.hh [code] | Bitset class declaration
bitset.hxx [code] | Bitset class implementaion
bmig_functors.hh [code] |
bmig_functors.hxx [code] |
bmig_graph_impl.hh [code] |
bmig_graph_impl.hxx [code] |
bmig_graph_letters_spec.hh [code] |
bmig_graph_letters_spec.hxx [code] |
bmig_handlers.hh [code] |
bmig_handlers.hxx [code] |
bmig_handlers_op.hxx [code] |
bmig_support.hh [code] |
bmig_support.hxx [code] |
automata/generic_contexts/boolean_automaton.hh [code] |
boolean_automaton.hh [code] |
contexts/bmig/boolean_automaton.hh [code] |
contexts/listg/boolean_automaton.hh [code] |
automata/generic_contexts/boolean_automaton_structures.hh [code] |
boolean_automaton_structures.hh [code] |
contexts/bmig/boolean_automaton_structures.hh [code] |
contexts/listg/boolean_automaton_structures.hh [code] |
boolean_semiring.thh [code] |
automata/generic_contexts/boolean_transducer.hh [code] |
boolean_transducer.hh [code] |
contexts/bmig/boolean_transducer.hh [code] |
contexts/listg/boolean_transducer.hh [code] |
automata/generic_contexts/boolean_transducer_structures.hh [code] |
boolean_transducer_structures.hh [code] |
contexts/bmig/boolean_transducer_structures.hh [code] |
contexts/listg/boolean_transducer_structures.hh [code] |
brzozowski.hh [code] | Contains the declaration for the Brzozowski algorithm
brzozowski.hxx [code] |
build_pattern.hh [code] |
build_pattern.hxx [code] |
builders.hh [code] | Tools to help loading automata
builders.hxx [code] |
automata/generic_contexts/char_char_boolean_automaton.hh [code] |
char_char_boolean_automaton.hh [code] |
contexts/bmig/char_char_boolean_automaton.hh [code] |
contexts/listg/char_char_boolean_automaton.hh [code] |
automata/generic_contexts/char_char_boolean_automaton_structures.hh [code] |
char_char_boolean_automaton_structures.hh [code] |
contexts/bmig/char_char_boolean_automaton_structures.hh [code] |
contexts/listg/char_char_boolean_automaton_structures.hh [code] |
char_char_letter.thh [code] |
automata/generic_contexts/char_char_z_automaton.hh [code] |
char_char_z_automaton.hh [code] |
contexts/bmig/char_char_z_automaton.hh [code] |
contexts/listg/char_char_z_automaton.hh [code] |
automata/generic_contexts/char_char_z_automaton_structures.hh [code] |
char_char_z_automaton_structures.hh [code] |
contexts/bmig/char_char_z_automaton_structures.hh [code] |
contexts/listg/char_char_z_automaton_structures.hh [code] |
automata/generic_contexts/char_int_boolean_automaton.hh [code] |
char_int_boolean_automaton.hh [code] |
contexts/bmig/char_int_boolean_automaton.hh [code] |
contexts/listg/char_int_boolean_automaton.hh [code] |
automata/generic_contexts/char_int_boolean_automaton_structures.hh [code] |
char_int_boolean_automaton_structures.hh [code] |
contexts/bmig/char_int_boolean_automaton_structures.hh [code] |
contexts/listg/char_int_boolean_automaton_structures.hh [code] |
char_int_letter.thh [code] |
char_letter.hh [code] |
char_letter.hxx [code] |
char_letter.thh [code] |
char_traits.hh [code] | Generic char_traits declarations
char_traits.hxx [code] |
characteristic.hh [code] | Characteristic algorithm
characteristic.hxx [code] |
complement.hh [code] | Complementation algorithm for Boolean automata
complement.hxx [code] |
complete.hh [code] | Testing and building complete automata
complete.hxx [code] |
composition_cover.hh [code] | Composition for normalized and sub-normalized transducers seen as automata over a free monoid product
composition_cover.hxx [code] | Composition (co-)cover algorithms for normalized and sub-normalized transducers seen as automaton over a free monoid
constraints.hh [code] |
container_ops.hh [code] | Generic operators for containers
container_ops.hxx [code] |
contract.hh [code] | Definition of contract macros
copy.hh [code] |
copy.hxx [code] |
couple_letter.hh [code] |
couple_letter.hxx [code] |
cut_up.hh [code] | Cut-up algorithm
cut_up.hxx [code] | Cut-up algorithm
concept/cyclic_semiring.hh [code] |
implementation/semiring/cyclic_semiring.hh [code] |
concept/cyclic_semiring.hxx [code] |
implementation/semiring/cyclic_semiring.hxx [code] |
decorated_alphabet.hh [code] |
decorated_alphabet.hxx [code] |
default_ops.hh [code] | Default implementations for standard `Element` operations
default_ops.hxx [code] |
deferrer.hh [code] | Declarations for the Deferrer class
deferrer.hxx [code] | Definitions for the Deferrer class
delta_kind.hh [code] |
depth_visitor.hh [code] |
depth_visitor.hxx [code] |
derived_term_automaton.hh [code] | Provides a converter from expression to automaton based on derivatives
derived_term_automaton.hxx [code] |
design_pattern.hh [code] |
determinize.hh [code] | Boolean automata determinization
determinize.hxx [code] |
direction.hh [code] | Definition of direction_type
dispatch_visitor.hh [code] |
dispatch_visitor.hxx [code] |
domain.hh [code] | Domain algorithm
domain.hxx [code] |
dot_display.hh [code] | Call out_display with dot_dump as the function to launch by out_display
dot_display.hxx [code] | Calls out_display with dot_dump as the function to launch by out_display
dot_dump.hh [code] |
dot_dump.hxx [code] |
dot_format.hh [code] |
dot_format.hxx [code] |
dump_visitor.hh [code] |
dump_visitor.hxx [code] |
dumper.hh [code] | Wrap calls to dumpers for various formats
dumper.hxx [code] |
dynamic_alphabet.thh [code] |
edge_value.hh [code] |
edge_value.hxx [code] |
element.hh [code] | Declaration of `Element`
element.hxx [code] |
element_op_traits.hh [code] | Declaration of default arithmetical operator traits for `Element`
element_ops.hh [code] | Declarations of standard external operator delegations for `Element`
element_ops.hxx [code] |
eps_removal.hh [code] | This files declares the backward and forward eps_removal algorithm
eps_removal.hxx [code] |
eps_removal_sp.hh [code] | This files declares the backward and forward eps_removal algorithm
eps_removal_sp.hxx [code] |
equivalent.hh [code] | This file contains the declarations for the are_equivalent() algorithm
equivalent.hxx [code] |
escaper.hh [code] | Declarations of the escaper class and related functions
escaper.hxx [code] | Definitions of the escaper class and related functions
eval.hh [code] | This file provides the evaluation of a word w.r.t an automaton
eval.hxx [code] |
evaluation.hh [code] | Internal functions used by the rw_composition algorithm
evaluation.hxx [code] |
evaluation_fmp.hh [code] | Evaluation over normalized and sub-normalized transducers seen as automata over a free monoid product
evaluation_fmp.hxx [code] |
evaluation_rw.hh [code] | Evaluation of an RW transducer over a realtime automaton
evaluation_rw.hxx [code] |
exp.hh [code] |
exp.hxx [code] |
extension.hh [code] | Declarations for extension()
extension.hxx [code] |
automata/generic_contexts/f2_automaton.hh [code] |
contexts/bmig/f2_automaton.hh [code] |
contexts/listg/f2_automaton.hh [code] |
f2_automaton.hh [code] |
automata/generic_contexts/f2_automaton_structures.hh [code] |
contexts/bmig/f2_automaton_structures.hh [code] |
contexts/listg/f2_automaton_structures.hh [code] |
f2_automaton_structures.hh [code] |
f2_semiring.thh [code] |
factor.hh [code] | Compute an automaton which accepts any factor of the language accepted by the given automaton
factor.hxx [code] |
finite_support_conversion.hh [code] | Conversion between finite support application types
finite_support_conversion.hxx [code] |
fmp.hh [code] | Tools to help loading automata
fmp.hxx [code] |
fmp_to_rw.hh [code] | This file provides a transformation function that computes the Rational Weight transducer of a FMP automaton
fmp_to_rw.hxx [code] |
automata/generic_contexts/fmp_transducer.hh [code] |
contexts/bmig/fmp_transducer.hh [code] |
contexts/listg/fmp_transducer.hh [code] |
fmp_transducer.hh [code] |
fmp_transducer.thh [code] |
fmp_transducer_functions.thh [code] |
fmp_transducer_maker.thh [code] |
fmp_transducer_maker.thxx [code] |
automata/generic_contexts/fmp_transducer_structures.hh [code] |
contexts/bmig/fmp_transducer_structures.hh [code] |
contexts/listg/fmp_transducer_structures.hh [code] |
fmp_transducer_structures.hh [code] |
free_monoid.hh [code] |
free_monoid.hxx [code] |
free_monoid.thh [code] |
free_monoid_int.hh [code] |
free_monoid_int.hxx [code] |
free_monoid_product.thh [code] |
freemonoid_base.hh [code] |
freemonoid_base.hxx [code] |
freemonoid_product.hh [code] |
freemonoid_product.hxx [code] |
freemonoid_product_base.hh [code] |
freemonoid_product_base.hxx [code] |
fsm_dump.hh [code] | I/O with FSM format
fsm_dump.hxx [code] |
fsm_load.hh [code] |
fsm_load.hxx [code] |
functors.hh [code] |
functors.hxx [code] |
gen_book.hh [code] |
gen_book.hxx [code] |
gen_random.hh [code] |
gen_random.hxx [code] |
generalized.hh [code] |
generalized.hxx [code] |
generic_automaton_impl.thh [code] |
generic_series.thh [code] |
geometry.hh [code] |
geometry.hxx [code] |
global_bencher.hh [code] |
graphcontainer.hh [code] |
automata/concept/handlers.hh [code] |
xml/handlers.hh [code] |
automata/concept/handlers.hxx [code] |
xml/handlers.hxx [code] |
handlers_base.hh [code] |
handlers_base.hxx [code] | Handler classes for XML loading
has_neighbour.hh [code] |
has_neighbour.hxx [code] |
hash.hh [code] |
hash.hxx [code] |
hash_visitor.hh [code] |
hash_visitor.hxx [code] |
history.hh [code] |
history.hxx [code] |
image.hh [code] | Image projection for transducers
image.hxx [code] |
infiltration.hh [code] | Declarations of infiltration()
infiltration.hxx [code] |
initial_container.hh [code] |
initial_derivation.hh [code] | Declaration of the initial derivation visitor, used for smart_derivative_automaton
initial_derivation.hxx [code] |
initial_value.hh [code] |
initial_value.hxx [code] |
automata/generic_contexts/int_boolean_automaton.hh [code] |
contexts/bmig/int_boolean_automaton.hh [code] |
contexts/listg/int_boolean_automaton.hh [code] |
int_boolean_automaton.hh [code] |
automata/generic_contexts/int_boolean_automaton_structures.hh [code] |
contexts/bmig/int_boolean_automaton_structures.hh [code] |
contexts/listg/int_boolean_automaton_structures.hh [code] |
int_boolean_automaton_structures.hh [code] |
automata/generic_contexts/int_boolean_transducer.hh [code] |
contexts/bmig/int_boolean_transducer.hh [code] |
contexts/listg/int_boolean_transducer.hh [code] |
int_boolean_transducer.hh [code] |
automata/generic_contexts/int_boolean_transducer_structures.hh [code] |
contexts/bmig/int_boolean_transducer_structures.hh [code] |
contexts/listg/int_boolean_transducer_structures.hh [code] |
int_boolean_transducer_structures.hh [code] |
automata/generic_contexts/int_fmp_transducer.hh [code] |
contexts/bmig/int_fmp_transducer.hh [code] |
contexts/listg/int_fmp_transducer.hh [code] |
int_fmp_transducer.hh [code] |
automata/generic_contexts/int_fmp_transducer_structures.hh [code] |
contexts/bmig/int_fmp_transducer_structures.hh [code] |
contexts/listg/int_fmp_transducer_structures.hh [code] |
int_fmp_transducer_structures.hh [code] |
automata/generic_contexts/int_int_boolean_automaton.hh [code] |
contexts/bmig/int_int_boolean_automaton.hh [code] |
contexts/listg/int_int_boolean_automaton.hh [code] |
int_int_boolean_automaton.hh [code] |
automata/generic_contexts/int_int_boolean_automaton_structures.hh [code] |
contexts/bmig/int_int_boolean_automaton_structures.hh [code] |
contexts/listg/int_int_boolean_automaton_structures.hh [code] |
int_int_boolean_automaton_structures.hh [code] |
int_int_letter.thh [code] |
automata/generic_contexts/int_int_z_automaton.hh [code] |
contexts/bmig/int_int_z_automaton.hh [code] |
contexts/listg/int_int_z_automaton.hh [code] |
int_int_z_automaton.hh [code] |
automata/generic_contexts/int_int_z_automaton_structures.hh [code] |
contexts/bmig/int_int_z_automaton_structures.hh [code] |
contexts/listg/int_int_z_automaton_structures.hh [code] |
int_int_z_automaton_structures.hh [code] |
int_letter.hh [code] |
int_letter.hxx [code] |
int_letter.thh [code] |
automata/generic_contexts/int_z_automaton.hh [code] |
contexts/bmig/int_z_automaton.hh [code] |
contexts/listg/int_z_automaton.hh [code] |
int_z_automaton.hh [code] |
automata/generic_contexts/int_z_automaton_structures.hh [code] |
contexts/bmig/int_z_automaton_structures.hh [code] |
contexts/listg/int_z_automaton_structures.hh [code] |
int_z_automaton_structures.hh [code] |
automata/generic_contexts/int_z_fmp_transducer.hh [code] |
contexts/bmig/int_z_fmp_transducer.hh [code] |
contexts/listg/int_z_fmp_transducer.hh [code] |
int_z_fmp_transducer.hh [code] |
automata/generic_contexts/int_z_fmp_transducer_structures.hh [code] |
contexts/bmig/int_z_fmp_transducer_structures.hh [code] |
contexts/listg/int_z_fmp_transducer_structures.hh [code] |
int_z_fmp_transducer_structures.hh [code] |
automata/generic_contexts/int_z_max_plus_automaton.hh [code] |
contexts/bmig/int_z_max_plus_automaton.hh [code] |
contexts/listg/int_z_max_plus_automaton.hh [code] |
int_z_max_plus_automaton.hh [code] |
automata/generic_contexts/int_z_max_plus_automaton_structures.hh [code] |
contexts/bmig/int_z_max_plus_automaton_structures.hh [code] |
contexts/listg/int_z_max_plus_automaton_structures.hh [code] |
int_z_max_plus_automaton_structures.hh [code] |
automata/generic_contexts/int_z_min_plus_automaton.hh [code] |
contexts/bmig/int_z_min_plus_automaton.hh [code] |
contexts/listg/int_z_min_plus_automaton.hh [code] |
int_z_min_plus_automaton.hh [code] |
automata/generic_contexts/int_z_min_plus_automaton_structures.hh [code] |
contexts/bmig/int_z_min_plus_automaton_structures.hh [code] |
contexts/listg/int_z_min_plus_automaton_structures.hh [code] |
int_z_min_plus_automaton_structures.hh [code] |
automata/generic_contexts/int_z_transducer.hh [code] |
contexts/bmig/int_z_transducer.hh [code] |
contexts/listg/int_z_transducer.hh [code] |
int_z_transducer.hh [code] |
automata/generic_contexts/int_z_transducer_structures.hh [code] |
contexts/bmig/int_z_transducer_structures.hh [code] |
contexts/listg/int_z_transducer_structures.hh [code] |
int_z_transducer_structures.hh [code] |
invert.hh [code] | Declarations of invert()
invert.hxx [code] |
io.hh [code] |
io.hxx [code] |
iomanip.hh [code] | Declarations of the iomanip class and related functions
iomanip.hxx [code] | Definitions of the iomanip class and related functions
ios.hh [code] | Functions required by the Xerces-C parser to manage streams
ios.hxx [code] |
is_ambiguous.hh [code] | Test for ambiguity
is_ambiguous.hxx [code] |
is_deterministic.hh [code] | Boolean automata determinization
is_deterministic.hxx [code] |
is_empty.hh [code] | Declaration of is_empty()
is_empty.hxx [code] |
is_ltl.hh [code] | Letter-to-letter feature testing
is_ltl.hxx [code] |
is_normalized.hh [code] | Test for transducer normalization
is_normalized.hxx [code] |
is_trim.hh [code] | Declaration of is_trim()
is_trim.hxx [code] |
is_useless.hh [code] | Declaration of is_useless()
is_useless.hxx [code] |
isomorph.hh [code] | This files contains the declaration for the are_isomorphic() algorithm
isomorph.hxx [code] |
bmig/iterator.hh [code] |
listg/iterator.hh [code] |
bmig/iterator.hxx [code] |
listg/iterator.hxx [code] |
kind_adapter.hh [code] |
kind_adapter.hxx [code] |
kinds.hh [code] |
kinds.hxx [code] |
krat.hh [code] |
krat.hxx [code] |
krat_coefficient.hh [code] |
krat_coefficient.hxx [code] |
krat_conversion.hh [code] |
krat_conversion.hxx [code] |
krat_exp_cderivation.hh [code] | Declaration for the cderivate() algorithms
krat_exp_cderivation.hxx [code] |
krat_exp_constant_term.hh [code] | Declaration for the constant_term() algorithm
krat_exp_constant_term.hxx [code] |
krat_exp_derivation.hh [code] | Declaration for the derivate() algorithms
krat_exp_derivation.hxx [code] |
krat_exp_expand.hh [code] | Expand a k-rational-expression
krat_exp_expand.hxx [code] |
krat_exp_flatten.hh [code] | This file holds the declaration of the flatten() algorithm
krat_exp_flatten.hxx [code] |
krat_exp_is_finite_app.hxx [code] |
krat_exp_linearize.hh [code] | Declarations for the linearize() algorithm
krat_exp_linearize.hxx [code] |
krat_exp_parser.hh [code] | This file declares the parse() function
krat_exp_parser.hxx [code] |
krat_exp_parser_private.hh [code] |
krat_exp_partial_derivation.hh [code] | Declarations for the partial_derivate() algorithm
krat_exp_partial_derivation.hxx [code] |
krat_exp_pattern.hh [code] |
krat_exp_pattern.hxx [code] |
krat_exp_proxy.hh [code] |
krat_exp_proxy.hxx [code] |
krat_exp_realtime.hh [code] | Declarations of the realtime() algorithm for rational expressions
krat_exp_realtime.hxx [code] |
krat_exp_support.hxx [code] |
krat_exp_transpose.hxx [code] |
length_visitor.hh [code] |
length_visitor.hxx [code] |
letter.hh [code] |
letter.hxx [code] |
letter_to_letter_composition.hh [code] | Undocumented stuff
letter_to_letter_composition.hxx [code] |
limits.hh [code] | Wrapper about the numeric limits for Vaucanson
listg_graph_impl.hh [code] |
listg_graph_impl.hxx [code] |
listg_handlers.hh [code] |
listg_handlers.hxx [code] |
listg_sparse_interval.hh [code] | Sparse interval and iterators specializations
listg_sparse_interval.hxx [code] |
ltl_to_pair.hh [code] | This file provides a transformation function that computes the pair letter automaton of an FMP automaton
ltl_to_pair.hxx [code] |
math.hh [code] | Wrapper about the math library for Vaucanson
meta_element_root.hh [code] | Definition of the specialization of `MetaElement` for the root `Structure`
meta_element_root.hxx [code] |
military_order.hh [code] |
minimization_hopcroft.hh [code] | This file provides minimization and quotient algorithms
minimization_hopcroft.hxx [code] |
minimization_moore.hh [code] | This file containes the declaration of minimization_moore()
minimization_moore.hxx [code] |
misc.hh [code] |
monoid_base.hh [code] |
monoid_base.hxx [code] |
monoid_rep.hh [code] |
monoid_rep.hxx [code] |
monoid_rep_base.hh [code] |
monoid_rep_base.hxx [code] |
nodes.hh [code] |
nodes.hxx [code] |
normalized.hh [code] | Thompson normalization operations
normalized.hxx [code] |
normalized_composition.hh [code] | Composition for normalized and sub-normalized transducers seen as automata over a free monoid product
normalized_composition.hxx [code] | Composition for normalized and sub-normalized transducers seen as automata over a free monoid product
concept/numerical_semiring.hh [code] |
implementation/semiring/numerical_semiring.hh [code] |
concept/numerical_semiring.hxx [code] |
implementation/semiring/numerical_semiring.hxx [code] |
one_eps_closure.hh [code] | This file declares the backward and forward one_eps_closure algorithm
one_eps_closure.hxx [code] |
out_display.hh [code] | Out display method, useful for xml_display and dot_display
out_display.hxx [code] | Out_display method, useful for xml_display and dot_display
outsplitting.hh [code] | Outsplitting and insplitting algorithms for normalized and sub-normalized fmp_transducers
outsplitting.hxx [code] | Outsplitting and insplitting algorithms for normalized and sub-normalized transducers seen as automata over a free monoid product
pair_str_words.hh [code] |
pair_str_words.hxx [code] |
pair_to_fmp.hh [code] | This file provides a transformation function that computes the FMP transducer of a pair letter automaton
pair_to_fmp.hxx [code] |
parsers.hh [code] | Parsers classes for the FSMXML document
parsers.hxx [code] |
partial_rat_exp.hh [code] | The `PartialExp` type. (undocumented)
partial_rat_exp.hxx [code] |
partial_rat_exp_constant_term.hh [code] | The `constant_term` of `PartialExp`. (undocumented)
partial_rat_exp_constant_term.hxx [code] |
partial_rat_exp_derivation.hh [code] | The `derivation` of `PartialExp`. (undocumented)
partial_rat_exp_derivation.hxx [code] |
pconf.hh [code] |
polynom_series.thh [code] |
polynoms.hh [code] |
polynoms.hxx [code] |
predecls.hh [code] | Forward declarations of the design pattern template classes of Vaucanson
prefix.hh [code] | Compute an automaton which accepts any prefix of the language accepted by the given automaton
prefix.hxx [code] |
printers.hh [code] | Printers classes for the FSMXML document
printers.hxx [code] |
product.hh [code] | Declarations of product()
product.hxx [code] |
projection.hh [code] | Build an FMP transducer that realizes the identity relation
projection.hxx [code] |
automata/generic_contexts/q_automaton.hh [code] |
contexts/bmig/q_automaton.hh [code] |
contexts/listg/q_automaton.hh [code] |
q_automaton.hh [code] |
automata/generic_contexts/q_automaton_structures.hh [code] |
contexts/bmig/q_automaton_structures.hh [code] |
contexts/listg/q_automaton_structures.hh [code] |
q_automaton_structures.hh [code] |
q_number.hh [code] | RationalNumber class declaration
q_number.hxx [code] |
q_semiring.thh [code] |
automata/generic_contexts/r_automaton.hh [code] |
contexts/bmig/r_automaton.hh [code] |
contexts/listg/r_automaton.hh [code] |
r_automaton.hh [code] |
automata/generic_contexts/r_automaton_structures.hh [code] |
contexts/bmig/r_automaton_structures.hh [code] |
contexts/listg/r_automaton_structures.hh [code] |
r_automaton_structures.hh [code] |
r_semiring.thh [code] |
random.hh [code] | Definition of random generators
random.hxx [code] |
random_visitor.hh [code] |
random_visitor.hxx [code] |
range.hh [code] |
range.hxx [code] |
ratseries_semiring.thh [code] |
realtime.hh [code] | General algorithms concerning realtime aspect of automata
realtime.hxx [code] |
realtime_decl.hh [code] | Declaration of the realtime() function
realtime_decl.hxx [code] |
reduce.hh [code] | This files declares the reduce algorithm
reduce.hxx [code] |
regexp.hh [code] |
regexp.hxx [code] | Handler classes for XML loading
reverse_visitor.hh [code] |
reverse_visitor.hxx [code] |
rw.hh [code] | Tools to help loading automata
rw.hxx [code] |
rw_composition.hh [code] | Composition of two Rational-Weight transducers
rw_composition.hxx [code] |
rw_to_fmp.hh [code] | This file provides a transformation function that computes the equivalent FMP automaton of a Rational Weight tranducer
rw_to_fmp.hxx [code] |
search.hh [code] | Rational expression search in text
search.hxx [code] |
selectors.hh [code] | Definition of type argument macros
self_iterator.hh [code] | Iterator holding its container
self_iterator.hxx [code] |
semigroup_base.hh [code] |
semigroup_base.hxx [code] |
semiring_base.hh [code] |
semiring_base.hxx [code] |
series.hh [code] |
series.hxx [code] |
series_base.hh [code] |
series_base.hxx [code] |
series_rep.hh [code] |
series_rep.hxx [code] |
series_rep_base.hh [code] |
series_rep_base.hxx [code] |
shortest.hh [code] | Algorithms for enumeration of short words in a language
shortest.hxx [code] |
shuffle.hh [code] | Declarations of shuffle()
shuffle.hxx [code] |
simple_dump.hh [code] |
simple_dump.hxx [code] |
simple_format.hh [code] |
simple_format.hxx [code] |
skeleton.hh [code] | The `Skeleton` class. (undocumented-internal)
skeleton.hxx [code] |
slots.hh [code] | Declaration of set attribute slot for `Element`
slots.hxx [code] |
smart_label.hh [code] |
smart_label.hxx [code] |
sparse_interval.hh [code] | Sparse interval and iterators
sparse_interval.hxx [code] |
special_char_traits.hh [code] |
standard.hh [code] | Several algorithms concerning standard automata
standard.hxx [code] |
standard_algorithms.hh [code] |
standard_of.hh [code] | This file provides a converter from expression to standard automaton
standard_of.hxx [code] |
star_height_visitor.hh [code] |
star_height_visitor.hxx [code] |
static.hh [code] | Definition of metaprogrammation helpers
str_words.hh [code] |
str_words.hxx [code] |
strings.hh [code] |
strings.hxx [code] |
structure.hh [code] | Definition of class `Structure`, the root of all structural element types
structure.hxx [code] |
sub_automaton.hh [code] | This file provides the extraction of sub automaton
sub_automaton.hxx [code] |
sub_normalize.hh [code] | Sub-normalization algorithm for FMP transducers
sub_normalize.hxx [code] | Sub-normalization algorithm for FMP transducers
suffix.hh [code] | Compute an automaton which accepts any suffix of the language accepted by the given automaton
suffix.hxx [code] |
support.hh [code] | Stuff to adapt containers
support.hxx [code] |
syntactic_decorator.hh [code] | Declaration of the very base class of `Element`
syntactic_decorator.hxx [code] |
system.hh [code] | System-wide configuration helpers
tags.hh [code] |
tags.hxx [code] |
thompson.hh [code] | The thompson automaton
thompson.hxx [code] |
tools.hh [code] | Tools to help loading automata
tools.hxx [code] |
transducer.hh [code] |
transducer.hxx [code] |
transducer.thh [code] |
transducer_base.hh [code] |
transducer_base.hxx [code] |
transducer_functions.thh [code] |
transducer_maker.thh [code] |
transducer_maker.thxx [code] |
transducer_ops.hh [code] |
transducer_ops.hxx [code] |
translate.hh [code] |
translate.hxx [code] |
algebra/implementation/series/transpose.hh [code] |
algorithms/transpose.hh [code] | This file contains the function which transposes an automaton
algebra/implementation/series/transpose.hxx [code] |
algorithms/transpose.hxx [code] |
transpose_view.hh [code] |
transpose_view.hxx [code] |
trim.hh [code] | Declaration of useful_states() and trim()
trim.hxx [code] |
concept/tropical_semiring.hh [code] |
implementation/semiring/tropical_semiring.hh [code] |
concept/tropical_semiring.hxx [code] |
implementation/semiring/tropical_semiring.hxx [code] |
unique.hh [code] | Declarations for the type canonicalization tools
unique.hxx [code] |
usual_escaped_characters.hh [code] | Declarations of the usual_escaped_characters function
usual_escaped_characters.hxx [code] |
usual_io.hh [code] |
usual_io.hxx [code] |
usual_macros.hh [code] |
vaucanson.hh [code] |
vgraph_container.hh [code] |
vgraph_container.hxx [code] |
window.hh [code] | Window class for regular expression search on streams
window.hxx [code] | Window class for regular expression search on streams
XML.hh [code] | XML Format functor to load and save an automaton
XML.hxx [code] |
xml_display.hh [code] | Calls out_display with xml_dump as the function to launch by out_display
xml_display.hxx [code] | Calls out_display with xml_dump as the function to launch by out_display
xml_dump.hh [code] | Calls a method to display an automaton 'a' in XML format on the stream 'o'
xml_dump.hxx [code] | Calls a method to display an automaton 'a' in XML format on the stream 'o'
xml_exp_visitor.hh [code] | Visits the expression so as to give back an XML tree of the expression
xml_exp_visitor.hxx [code] |
xml_load.hh [code] | Calls a method to fill the automaton 'a' by reading on 'i'
xml_load.hxx [code] | Calls a method to fill the automaton 'a' by reading on 'i'
xmleq.hh [code] | XML String conversion class
xmleq.hxx [code] |
automata/generic_contexts/z_automaton.hh [code] |
contexts/bmig/z_automaton.hh [code] |
contexts/listg/z_automaton.hh [code] |
z_automaton.hh [code] |
automata/generic_contexts/z_automaton_structures.hh [code] |
contexts/bmig/z_automaton_structures.hh [code] |
contexts/listg/z_automaton_structures.hh [code] |
z_automaton_structures.hh [code] |
automata/generic_contexts/z_fmp_transducer.hh [code] |
contexts/bmig/z_fmp_transducer.hh [code] |
contexts/listg/z_fmp_transducer.hh [code] |
z_fmp_transducer.hh [code] |
automata/generic_contexts/z_fmp_transducer_structures.hh [code] |
contexts/bmig/z_fmp_transducer_structures.hh [code] |
contexts/listg/z_fmp_transducer_structures.hh [code] |
z_fmp_transducer_structures.hh [code] |
automata/generic_contexts/z_max_plus_automaton.hh [code] |
contexts/bmig/z_max_plus_automaton.hh [code] |
contexts/listg/z_max_plus_automaton.hh [code] |
z_max_plus_automaton.hh [code] |
automata/generic_contexts/z_max_plus_automaton_structures.hh [code] |
contexts/bmig/z_max_plus_automaton_structures.hh [code] |
contexts/listg/z_max_plus_automaton_structures.hh [code] |
z_max_plus_automaton_structures.hh [code] |
z_max_plus_semiring.thh [code] |
automata/generic_contexts/z_min_plus_automaton.hh [code] |
contexts/bmig/z_min_plus_automaton.hh [code] |
contexts/listg/z_min_plus_automaton.hh [code] |
z_min_plus_automaton.hh [code] |
automata/generic_contexts/z_min_plus_automaton_structures.hh [code] |
contexts/bmig/z_min_plus_automaton_structures.hh [code] |
contexts/listg/z_min_plus_automaton_structures.hh [code] |
z_min_plus_automaton_structures.hh [code] |
z_min_plus_semiring.thh [code] |
z_semiring.thh [code] |
automata/generic_contexts/z_transducer.hh [code] |
contexts/bmig/z_transducer.hh [code] |
contexts/listg/z_transducer.hh [code] |
z_transducer.hh [code] |
automata/generic_contexts/z_transducer_structures.hh [code] |
contexts/bmig/z_transducer_structures.hh [code] |
contexts/listg/z_transducer_structures.hh [code] |
z_transducer_structures.hh [code] |