Vaucanson Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
add_kindEmpty class used as static information to denote the kind of internal operation of a semigroup
alphabet_traitsTrait for virtual types of structural elements for alphabets
alphabet_traits< AlphabetSet< L >, AlphabetDecorator< L, T > >Meta information about the mixing of AlphabetSet with AlphabetDecorator
alphabet_traits< AlphabetSet< L >, std::set< L > >Meta information about the mixing of AlphabetSet with std::set
AlphabetDecoratorDecorate a given alphabet implementation with meta-symbols
AlphabetSetStatic implementation of alphabet structural element
AlphabetSetBaseBase class for structural elements of alphabets
always_true
AtomHandlerAtomHandler class (one or zero)
AutHandlerAutHandler class
AutoKind
AutoKind< labels_are_couples, Self, Series, SeriesT, LabelT >
AutoKind< labels_are_series, Self, Series, SeriesT, LabelT >AutoKind adds methods to automaton adapted to the kind of label that are held by the internal data structure
AutomataFinal class for the set of automata
AutomataBaseIt symbolises the set of automata with multiplicity over a fixed semiring and a fixed free monoid
automaton_loader_
automaton_saver_
automaton_traits
automaton_traits< bmig::Graph< labels_are_letters, WordValue, bool, SeriesValue, Letter, Tag, GeometryCoords > >
automaton_traits< IdentityView< T > >
automaton_traits< TransposeView< T > >Automaton_traits specialization for the TransposeView implementation
AutomatonHistory
AutParser
AutPrinter
backward_iterator
Bencher
BerrySethiAlgoThis is the visitor that really computes Berry-Sethi
BinaryEvent
BinaryOpBinaryOp is integrated in the pattern matching system to permit a factorization of the accessors
BinCxxInputStream
BitsetDynamic bitset class
Bitset::bit_iterator
Bitset::BitActionCount
Bitset::const_iterator
Bitset::iterator
bool_to_type_helper
bool_to_type_helper< false >
BrzozowskiAlgoThis is the class that really computes Brzozowski
Call
char_traitsGeneric char_traits
char_traits< pair< U, V > >
char_traits< T * >
CoefficientEval
Comparator
composer
Constant
ConstantTermEvalThis is the visitor that really computes the constant term
ConstNodeVisitor
ContHandlerContHandler class
create_monGen_node
create_monGen_node< std::pair< U, V > >
CxxInputSource
default_slot_tag
DefaultChooserDefault chooser for aut_to_exp()
DefaultFactoryError
DefaultFactoryError::Exception
DefaultMutableNodeVisitor
DefaultTransposeFun
DefaultTransposeFun< S, rat::exp< Word, Weight > >
DefaultTransposeFun< Series, polynom< Tm, Tw > >
DeferrerThis class defers the creation of its template parameter
DeferrerDebugPartHelper class for Deferrer
DeferrerDebugPart< T, false >
delta_functor
DeltaConstIteratorIterators use to iterate over subsets of successor/predecessor states or transitions
DeltaConstIteratorIterators use to iterate over subsets of successor/predecessor states or transitions
DepthVisitor
DerivativesAlgo
Destination
DestinationAndLabel
discrepancy
DispatchFunction< rat::exp< M, W > >Classical dispatch function for rat::exp
DispatchVisitor
DMChooserChoose a state accordingly to an heuristic
DocHandlerDocHandler class, root class Read <fsmxml>
dot
dst
dumper
DumpVisitor
dynamic_traits< algebra::AlphabetSet< L > >Meta information about AlphabetSet
dynamic_traits< algebra::AlphabetSetBase< S > >Specialization of dynamic_traits for AlphabetSetBase
dynamic_traits< algebra::FreeMonoid< A > >Meta information about FreeMonoid
dynamic_traits< algebra::FreeMonoidBase< Self > >
dynamic_traits< algebra::FreeMonoidProduct< F, S > >Meta information about FreeMonoidProduct
dynamic_traits< algebra::FreeMonoidProductBase< Self > >
dynamic_traits< algebra::MonoidBase< Self > >
dynamic_traits< algebra::NumericalSemiring >Meta information about the NumericalSemiring structural element
dynamic_traits< algebra::SemigroupBase< Self > >
dynamic_traits< algebra::SemiringBase< Self > >
dynamic_traits< algebra::Series< W, M > >Dynamic traits for series
dynamic_traits< algebra::SeriesBase< Self > >
dynamic_traits< algebra::TropicalSemiring< TropicalKind > >Meta information about the tropical semirings
dynamic_traits< Automata< Series > >Dynamic traits for automata
dynamic_traits< AutomataBase< S > >
dynamic_traits< Structure< S > >Specialization of dynamic_traits for Structure
dynamic_traits< Transducer< Series > >Dynamic traits for transducers
dynamic_traits< TransducerBase< S > >
EdgeValue
EdgeWriter
ElementGlue class between structural elements and implementation values
EpsilonRemover
EpsilonRemover< A_, Auto, bool >
EpsilonRemoverSp
EpsilonRemoverSp::add_dr
EpsilonRemoverSp::change_dist
EpsilonRemoverSp::change_rel
EpsilonRemoverSp::s_shortest
EpsilonRemoverSp::tr_t
ErrHandler
escaperIO Manipulator to escape some characters when displaying them
eval_functor
Event
expImplementation of rational expression
ExpConvertVisitor
extension_traits
extension_traits< bmig::Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords > >
extension_traits< listg::Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords > >
ExtMulHandlerExtMulHamdlerHandler class
Factory
false_t
FindBestSearchSpecific implementation for search()
Finder
fmp_input_projection_traits
fmp_input_projection_traits< bmig::Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords > >
fmp_input_projection_traits< listg::Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords > >
fmp_output_projection_traits
fmp_output_projection_traits< bmig::Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords > >
fmp_output_projection_traits< listg::Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords > >
forward_iterator
FreeMonoidImplementation of a free monoid which aggregates its alphabet
FreeMonoidBaseStructural element for free monoid
FreeMonoidHandlerFreeMonoidHandler
FreeMonoidProductImplementation of a monoid which is a product of two free monoids
FreeMonoidProductBaseStructural element for free monoid product
FreeMonoidProductHandlerFreeMonoidHandler
generalized_traits
generic_int_typeGeneric and under-efficient int_type implementation for char_traits
GenericMatcherGenericMatcher manages the dispatch of pattern matching
GenRandomAutomata
GenRandomAutomataSet
geometryStore 4 maps for geometry properties of the automaton
GeometryHandlerGeometryHandler class
Graph
GraphGraph
Graph::edge_valueEdge decorator
Graph::state_valueState decorator
Graph< labels_are_letters, WordValue, bool, SeriesValue, Letter, Tag, GeometryCoords >
GraphCall
GraphComponent
GraphContainer
GraphTask
GraphWriter
Handler
handler
handler< state_h, boost::shared_ptr< std::size_t > >
handler< Tag, unsigned >
has_neighbour_helper
hash_handler< char >
hash_handler< handler< Kind, Type > >
hash_label< algebra::polynom< std::pair< T, U >, Weight > >
hash_label< algebra::polynom< Word, rat::exp< Word2, WeightT > > >
hash_label< algebra::polynom< Word, Weight > >
hash_label< char >
hash_label< int >
hash_label< rat::exp< Word, Weight > >
hash_label< std::pair< U, V > >
hash_state_handler
HashVisitor
HChooser
identity_as
identity_transducer_helper
IdentityView
IncAutomataConstructor
InitFinalHandlerInitFinalHandler class
InitialContainer
InitialValue
input_projection_helper
input_projection_helper< Automata< S >, T >
input_projection_helper< Transducer< S >, T >
input_projection_traits
input_projection_traits< bmig::Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords > >
input_projection_traits< listg::Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords > >
insert_iterator< vcsn::misc::Bitset >Specialized insert_iterator
iomanipBase class for IO manipulators
IsFiniteAppMatcher
Isomorpher
Isomorpher::automaton_vars
iterator_traits< vcsn::misc::SparseIterator< Integer, ExcludedContainer > >
iterator_traits< vcsn::misc::SparseIterator< vcsn::handler< T, unsigned >, ExcludedContainer > >
iterator_traits< vcsn::misc::SupportIterator< std::set< boost::shared_ptr< std::size_t > > > >
iterator_traits< vcsn::misc::SupportIterator< std::vector< boost::shared_ptr< std::size_t > > > >
iterator_traits< vcsn::misc::SupportIterator< std::vector< vcsn::handler< T, U > > > >
iterator_type
iterator_type< true, T >
kind< kind_states_ >
kind< kind_transitions_ >
kind_states_
kind_transitions_Not for public use
krat_exp_parser
krat_exp_proxyProxy over Vaucanson Element
krat_exp_virtualVirtual pure class used by bison to deal with vaucanson's templated structures
KRatExpAciCanonicalVisitor to build a canonical form of an expression, following aci-rules
KRatExpCDerivation
KRatExpDerivation
KRatExpExpander
KRatExpFlatten
KRatExpIdentity
KRatExpInitialDerivationVisitor to have an initial set of partial derivatives terms from an expression
KRatExpIsRealtime
KRatExpLinearize
KRatExpMatcher
KRatExpPartialDerivation
KRatExpRealtime
KRatExpTranspose
label_h
LabelOf< labels_are_couples, WordValue, WeightValue, SeriesValue, Letter >
LabelOf< labels_are_letters, WordValue, WeightValue, SeriesValue, Letter >
LabelOf< labels_are_series, WordValue, WeightValue, SeriesValue, Letter >
LabelOf< labels_are_words, WordValue, WeightValue, SeriesValue, Letter >
labels_are_couples
labels_are_letters
labels_are_series
labels_are_words
lc_delta_letter_query
LeftWeighted
LengthVisitor
letter_query
letter_traits
letter_traits< char >
letter_traits< int >
letter_traits< static_ranged< T, Interval > >
letter_traits< std::pair< U, V > >
Lexer
limits
limits< ::vcsn::algebra::RationalNumber >
line_data
linearize_elementThe types of a linearized expression
list_or_string
list_or_string< char >
list_or_string< std::pair< A, B > >
list_or_string< wchar_t >
ListChooserChooser for aut_to_exp()
ls_delta_letter_query
MathAutomataConstructor
MetaElementParent class of Element
MetaElement< algebra::AlphabetSet< L >, algebra::AlphabetDecorator< L, T > >Services of every alphabet implemented with AlphabetDecorator<L, T>
MetaElement< algebra::AlphabetSet< L >, std::set< L > >Services of every alphabet implemented with std::set
MetaElement< algebra::AlphabetSetBase< S >, T >Specialization of MetaElement for AlphabetSetBase
MetaElement< algebra::FreeMonoid< A >, T >Services of an element of a free monoid implemented with FreeMonoid
MetaElement< algebra::FreeMonoidBase< Self >, T >Element of a free monoid i.e. words
MetaElement< algebra::FreeMonoidProduct< F, S >, T >Services of an element of a monoid implemented with FreeMonoidProduct
MetaElement< algebra::FreeMonoidProductBase< Self >, T >Element of a monoid i.e. words
MetaElement< algebra::MonoidBase< Self >, T >Defines services of element of every monoid
MetaElement< algebra::NumericalSemiring, T >Services of Element for numerical semirings
MetaElement< algebra::SemigroupBase< Self >, T >Services of every element of a semigroup
MetaElement< algebra::SemiringBase< Self >, T >Services of every element of semiring (semiring_elt)
MetaElement< algebra::Series< W, M >, algebra::polynom< Tm, Tw > >
MetaElement< algebra::Series< W, M >, rat::exp< Tm, Tw > >
MetaElement< algebra::Series< W, M >, T >Specialization of MetaElement for series
MetaElement< algebra::SeriesBase< Self >, T >Services of every series
MetaElement< algebra::TropicalSemiring< TropicalKind >, T >Services of element of a tropical semiring
MetaElement< Automata< Series >, T >MetaElement specialization for automata
MetaElement< AutomataBase< Self >, T >MetaElement<AutomataBase<Self>, T> defines the interface of every automaton that is the result of the interaction of a structural element (AutomataBase<Self>) and an implementation T
MetaElement< Structure< S >, T >The base class that glues structural elements to implementation values
MetaElement< Transducer< Series >, T >Specialization of MetaElement for transducers
MetaElement< TransducerBase< Self >, T >Services of every element of the transducer set
MonElmtHandlerMonElmtHandler class
monGenActionMonGenAction
monGenAction< vcsn::algebra::FreeMonoid< T > >
monGenAction< vcsn::Element< vcsn::algebra::Series< T, U >, V > >
monGenHandlerMonGenHandler
monGenTupleHandlerMonGenTupleHandler
monoid_slot_tag
MonoidBaseThe base class of all structures that are monoids
mul_kindEmpty class used as static information to denote the kind of internal operation of a semigroup
mute_graph_impl_monoid_traits
mute_graph_impl_traits
mute_ltl_to_pair
mute_series_impl
mute_series_impl< polynom< Tm, Tw >, W, M >
mute_series_impl< rat::exp< Tm, Tw >, W, M >
mute_series_traits
mute_series_traits< Series< W, M >, NewW, NewM >
Node
NoTag
numeric_limits< ::vcsn::algebra::RationalNumber >
NumericalSemiringThe set of semirings implemented with usual operations (+, *)
NumSemiringHandlerNumSemiringHandler
One
op_add_traitsThe type of the result of addition between two Element instances
op_add_traits< M, algebra::Series< W, M >, oTm, algebra::polynom< Tm, Tw > >
op_add_traits< M, algebra::Series< W, M >, oTm, rat::exp< Tm, Tw > >
op_add_traits< W, algebra::Series< W, M >, oTw, algebra::polynom< Tm, Tw > >
op_add_traits< W, algebra::Series< W, M >, oTw, rat::exp< Tm, Tw > >
op_begin_traits
op_div_traitsThe type of the result of division between two Element instances
op_mod_traitsThe type of the result of modulus between two Element instances
op_mul_traitsThe type of the result of multiplication between two Element instances
op_mul_traits< W, algebra::Series< W, M >, oTw, algebra::polynom< Tm, Tw > >
op_mul_traits< W, algebra::Series< W, M >, oTw, rat::exp< Tm, Tw > >
op_rbegin_traits
op_star_traitsMeta information about the return type of the star operation
op_sub_traitsThe type of the result of substraction between two Element instances
output_projection_helper
output_projection_helper< Automata< S >, T >
output_projection_helper< Transducer< S >, T >
output_projection_traits
output_projection_traits< bmig::Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords > >
output_projection_traits< listg::Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords > >
pair
Parser
PartialExp
PartialExp::internal_iterator
polynom
PRatExpDerivationVisitorThis class performs partial rational expression derivations
pred
PredecessorKey
Printer
ProdMonElmtHandlerMonElmtHandler
Product
Product
ProductHandlerProductHandler class
projection_traits
projection_traits< Automata< S >, T >
pseudo_exp_list
quotient_splitter
RandomChooserChoose randomly a state between all currently choosable
RandomVisitor
RationalNumberRational numbers class
reference_type
reference_type< true, T >
RegexpHandlerRegexpHandler class
remove_constTurn a const type into its corresponding mutable type
remove_const< const T >
remove_referenceTurn a reference type into its corresponding plain type
remove_reference< const T & >
remove_reference< T & >
representation_traits< algebra::FreeMonoidProduct< F, S > >Meta information about FreeMonoidProduct
representation_traits< algebra::FreeMonoidProductBase< Self > >
ReverseVisitor
RightWeighted
ScopedTimerAllow the timing of a task within a scope
SelfIteratorSelfIterator is an iterator which is also a container
SemigroupBaseBase class of all structures that are semigroups
semiring_proxyProxy over Vaucanson Semiring
semiring_slot_tag
semiring_virtualVirtual pure class used by bison to deal with vaucanson's templated structures
SemiringBaseBase class for all structures that are semirings
SeriesThis is the final class for series
series_traitsMeta information about series
series_traits< polynom< Tm, Tw > >
series_traits< rat::exp< Tm, Tw > >
SeriesBaseStructural element of series K<A*> from a free monoid A* to a semiring K
SeriesSemiringHandlerSeriesSemiringHandler
setescIO Manipulator to set the characters that need to be escaped
setidManipulator to set the representation of the identity series
setpmManipulator to set the print mode of a rational expression
SetSlotType of the set_ attribute of the Element class
SetSlotAttributeBase class for SetSlot
SetSlotAttribute< S, true >Base class for SetSlot, specializing SetSlotAttribute
setzeroManipulator to set the representation of the null series
simple
Skeleton
SmartLabel
SmartLabel_ref_dec
SmartLabel_ref_inc
SmartLabelContainer
Source
SourceAndLabel
SparseIntervalContainer over a sparse integer range
SparseInterval< vcsn::handler< T, unsigned >, ExcludedContainer >Container over a sparse integer range
SparseIteratorSparseIterator is an iterator over range except some points
SparseIterator< vcsn::handler< T, unsigned >, ExcludedContainer >SparseIterator is an iterator over range except some points
splitter_functorSplitter for classical hopcroft minimization
spontaneous_query
src
StackedCall
standard_of_traits
Standard_OfVisitor
Star
StarHandlerStarHandler class
StarHeightVisitor
state_h
StateHandlerStateHandler class
states
StatesHandlerStatesHandler class
static_char_interval
static_eqTest for equality between two types
static_eq< T, T >
static_ifChoose between two types or values depending on a constant Boolean
static_if< false, T, U >
static_if_simpleChoose between two types or values depending on a constant Boolean
static_if_simple< false, T, U >
static_powStatic exponentiation
static_pow_computeThese are auxilliary functions for static_pow
static_pow_compute< N, 0, true >
static_pow_compute< N, P, true >
static_pow_minus_oneStatic exponentiation, result minus one
static_ranged
string_out
StructureBase class for the hierarchy of structural element types
succ
SuccessorKey
Sum
SumHandlerSumHandler class
Support< std::map< U, T > >Support<map<U, T> > is a const adapter of std::map to container
Support< std::set< boost::shared_ptr< std::size_t > > >Support<vector<T> > is a const adapter of std::set to container
Support< std::set< U > >Support<set<U, T> > is a const adapter of std::map to container
Support< std::vector< boost::shared_ptr< std::size_t > > >Support<vector<T> > is a const adapter of std::vector to container
Support< vcsn::bmig::InitialContainer< U, HState > >Support<InitialContainer<U, T> > is a const adapter of InitialContainer to container
SupportIteratorIterator over the Support generic class
SupportIterator< std::set< boost::shared_ptr< std::size_t > > >
SupportIterator< std::set< U > >
SupportIterator< std::vector< boost::shared_ptr< std::size_t > > >
SupportIterator< vcsn::bmig::InitialContainer< U, HState > >
SupportMatcher
SyntacticDecoratorProvides the standard operator delegations to Element
Task
ThompsonVisitor
Timer
TimeStamp
TimeStats
TimeVal
token_representation
TransducerFinal class for the set of transducers
transducer_dot
transducer_traitsTraits for transducer implementation
transducer_traits< bmig::Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords > >
transducer_traits< listg::Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, GeometryCoords > >
TransducerBaseThe most general concept of transducer
transition_adder_functorFunctor (self functor for deltaf) that constructs the transitions
transition_h
TransitionHandlerTransitionHandler class
transitions
TransitionsHandlerTransitionsHandler class
transpose_traitsTraits for TransposeView
transpose_traits< Element< S, T > >
TransposeViewProvides a transposed view of an automaton
Trie
TropicalMaxStatic information about the kind of tropical we are confronted with
TropicalMinStatic information about the kind of tropical we are confronted with
TropicalSemiringStructural element that denotes tropical semiring
true_tStatic Booleans, for type matching use of Booleans
TypeHandlerTypeHandler class
UnaryEvent
UnaryOpUnaryOp is integrated in the pattern matching system to permit a factorization of the accessors
undefined_type
unifiable
uniquelistSimple unique list structure
UniqueListBaseBase class for uniquelist
UniqueMapCanonical type map
UniqueMap::TiSlotHelper to make std::type_info into a valid key type for std::map
UnsupHandlerUnsupHandler class, Handler dedicated to "eat" all part of the format Vaucanson still not supports
update_hlabel
update_label< InitialValue< HState, Series > >
usual_converter_exp
usual_converter_poly
ValueValue is integrated into the pattern matching system to permit a factorization of the accessors
VertexWriter
VGraphContainer
VGraphContainerIterator
virtual_types< algebra::AlphabetSetBase< S > >Specialization of virtual_types for AlphabetSetBase
virtual_types< algebra::FreeMonoid< A > >
virtual_types< algebra::FreeMonoidBase< S > >
virtual_types< algebra::FreeMonoidProduct< F, S > >
virtual_types< algebra::FreeMonoidProductBase< S > >
virtual_types< algebra::MonoidBase< S > >
virtual_types< algebra::NumericalSemiring >
virtual_types< algebra::SemigroupBase< S > >
virtual_types< algebra::SemiringBase< S > >
virtual_types< algebra::Series< W, M > >Virtual types for series
virtual_types< algebra::SeriesBase< Self > >
virtual_types< algebra::TropicalSemiring< TropicalKind > >
virtual_types< Automata< Series > >Virtual types for automata
virtual_types< AutomataBase< S > >
virtual_types< Structure< S > >Specialization of virtual_types for Structure
virtual_types< Transducer< Series > >Virtual types for transducers
virtual_types< TransducerBase< S > >
WeightHandlerWeightHamdlerHandler class
WeightHandler< TRANSseries >
WindowHandle windows in streams for performing regular expression search
WindowedBackSearchSpecific implementation for search()
word_traitsTrait for virtual types of structural elements for words
word_traits< FreeMonoid< A >, std::basic_string< typename A::letter_t > >Meta information about the mixing of FreeMonoid with std::basic_string
XML
XMLEqHelp to improve performances on comparaison Since transcode(string) is more expensive than transcode(XMLCh) We transcode and store all the tokens we might need to compare while parsing a document
XmlExpVisitor
XMLXercesStream
Zero
zero_as

Generated on Thu Oct 9 20:25:14 2008 for Vaucanson by  doxygen 1.5.1