| add_kind | Empty class used as static information to denote the kind of internal operation of a semigroup |
| alphabet_traits | Trait 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 |
| AlphabetDecorator | Decorate a given alphabet implementation with meta-symbols |
| AlphabetSet | Static implementation of alphabet structural element |
| AlphabetSetBase | Base class for structural elements of alphabets |
| always_true | |
| 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 |
| Automata | Final class for the set of automata |
| AutomataBase | It symbolises the set of automata with multiplicity over a fixed semiring and a fixed free monoid |
| automaton_loader_ | |
| automaton_saver_ | |
| automaton_traits | |
| automaton_traits< Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, Geometry > > | |
| automaton_traits< IdentityView< T > > | |
| automaton_traits< TransposeView< T > > | Automaton_traits specialization for the TransposeView implementation |
| AutomatonHistory | |
| automatonNode | |
| Bencher | |
| BerrySethiAlgo | This is the visitor that really computes Berry-Sethi |
| BinaryEvent | |
| BinaryOp | BinaryOp is integrated in the pattern matching system to permit a factorization of the accessors |
| BinCxxInputStream | |
| Bitset | Dynamic bitset class |
| Bitset::bit_iterator | |
| Bitset::BitActionCount | |
| Bitset::const_iterator | |
| Bitset::iterator | |
| bool_to_type_helper | |
| bool_to_type_helper< false > | |
| BrzozowskiAlgo | This is the class that really computes Brzozowski |
| char_traits | Generic char_traits |
| char_traits< pair< U, V > > | |
| char_traits< T * > | |
| CoefficientEval | |
| Comparator | |
| composer | |
| Constant | |
| ConstantTermEval | This is the visitor that really computes the constant term |
| ConstNodeVisitor | |
| contentNode | |
| CxxInputSource | |
| default_slot_tag | |
| DefaultChooser | Default chooser for aut_to_exp() |
| DefaultFactoryError | |
| DefaultFactoryError::Exception | |
| DefaultMutableNodeVisitor | |
| DefaultTransposeFun | |
| DefaultTransposeFun< S, rat::exp< Word, Weight > > | |
| DefaultTransposeFun< Series, polynom< Tm, Tw > > | |
| Deferrer | This class defers the creation of its template parameter |
| DeferrerDebugPart | Helper class for Deferrer |
| DeferrerDebugPart< T, false > | |
| DepthVisitor | |
| DerivativesAlgo | |
| discrepancy | |
| DispatchFunction< rat::exp< M, W > > | Classical dispatch function for rat::exp |
| DispatchVisitor | |
| DMChooser | |
| dot | |
| drawingNode | |
| 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 > > | |
| edge_value | Edge decorator |
| Element | Glue 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 | |
| escaper | IO Manipulator to escape some characters when displaying them |
| eval_functor | |
| Event | |
| exp | Implementation of rational expression |
| ExpConvertVisitor | |
| extension_traits | |
| extension_traits< Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, Geometry > > | |
| Factory | |
| false_t | |
| finalNode | |
| FindBestSearch | Specific implementation for search() |
| Finder | |
| FreeMonoid | Implementation of a free monoid which aggregates its alphabet |
| FreeMonoidBase | Structural element for free monoid |
| freemonoidNode | |
| FreeMonoidProduct | Implementation of a monoid which is a product of two free monoids |
| FreeMonoidProductBase | Structural element for free monoid product |
| generalized_traits | |
| generatorNode | |
| generic_int_type | Generic and under-efficient int_type implementation for char_traits |
| GenericMatcher | GenericMatcher manages the dispatch of pattern matching |
| GenRandomAutomata | |
| GenRandomAutomataSet | |
| geometry | Store 4 maps for geometry properties of the automaton |
| geometryNode | |
| Graph | Graph |
| handler | |
| has_neighbour_helper | |
| HChooser | |
| identity_as | |
| identity_transducer_helper | |
| IdentityView | |
| IncAutomataConstructor | |
| initialNode | |
| input_projection_helper | |
| insert_iterator< vcsn::misc::Bitset > | Specialized insert_iterator |
| iomanip | Base class for IO manipulators |
| IsFiniteAppMatcher | |
| Isomorpher | |
| Isomorpher::automaton_vars | |
| iterator_traits< vcsn::misc::SparseIterator< Integer, ExcludedContainer > > | |
| iterator_type | |
| iterator_type< true, T > | |
| kind< kind_states_ > | |
| kind< kind_transitions_ > | |
| kind_states_ | |
| kind_transitions_ | Not for public use |
| KRatExpAciCanonical | Visitor to build a canonical form of an expression, following aci-rules |
| KRatExpCDerivation | |
| KRatExpDerivation | |
| KRatExpExpander | |
| KRatExpFlatten | |
| KRatExpIdentity | |
| KRatExpInitialDerivation | Visitor to have an initial set of partial derivatives terms from an expression |
| KRatExpIsRealtime | |
| KRatExpLinearize | |
| KRatExpMatcher | |
| KRatExpPartialDerivation | |
| KRatExpRealtime | |
| KRatExpToken | Schrödinger's token for rational expression lexing |
| KRatExpToken::token | Simple token |
| KRatExpTranspose | |
| 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 | |
| labelTypeNode | |
| labelTypeNode< Element< Automata< S >, T > > | |
| labelTypeNode< Element< Automata< vcsn::algebra::Series< S, vcsn::algebra::FreeMonoidProduct< M1, M2 > > >, T > > | |
| labelTypeNode< Element< Transducer< S >, T > > | |
| lc_delta_letter_query | |
| LeftWeighted | |
| LengthVisitor | |
| letter_query | |
| letter_traits | |
| letter_traits< char > | |
| letter_traits< static_ranged< T, Interval > > | |
| letter_traits< std::pair< U, V > > | |
| Lexer | Lexer class for the rational expression parser |
| limits | |
| limits< ::vcsn::algebra::RationalNumber > | |
| line_data | |
| linearize_element | The types of a linearized expression |
| list_or_string | |
| list_or_string< char > | |
| list_or_string< std::pair< A, B > > | |
| list_or_string< wchar_t > | |
| ListChooser | Chooser for aut_to_exp() |
| ls_delta_letter_query | |
| MathAutomataConstructor | |
| MetaElement | Parent 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 |
| monoid_slot_tag | |
| MonoidBase | The base class of all structures that are monoids |
| monoidNode | |
| monoidNode< Element< Automata< vcsn::algebra::Series< S, vcsn::algebra::FreeMonoidProduct< M1, M2 > > >, T > > | |
| mul_kind | Empty class used as static information to denote the kind of internal operation of a semigroup |
| 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 > | |
| myDOMErrorHandler | |
| Node | |
| Node | Node class interface |
| NoTag | |
| numeric_limits< ::vcsn::algebra::RationalNumber > | |
| NumericalSemiring | The set of semirings implemented with usual operations (+, *) |
| One | |
| op_add_traits | The 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_traits | The type of the result of division between two Element instances |
| op_mod_traits | The type of the result of modulus between two Element instances |
| op_mul_traits | The 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_traits | Meta information about the return type of the star operation |
| op_sub_traits | The 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< Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, Geometry > > | |
| pair | |
| Parser | Parser class used in the parse() function |
| PartialExp | |
| PartialExp::internal_iterator | |
| polynom | |
| PRatExpDerivationVisitor | This class performs partial rational expression derivations |
| Product | |
| Product | |
| projection_traits | |
| projection_traits< S, Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, Geometry > > | |
| pseudo_exp_list | |
| quotient_splitter | |
| RandomChooser | Choose randomly a state between all currently choosable |
| RandomVisitor | |
| RationalNumber | Rational numbers class |
| reference_pair | |
| reference_type | |
| reference_type< true, T > | |
| remove_const | Turn a const type into its corresponding mutable type |
| remove_const< const T > | |
| remove_reference | Turn a reference type into its corresponding plain type |
| remove_reference< const T & > | |
| remove_reference< T & > | |
| ReverseVisitor | |
| RightWeighted | |
| ScopedTimer | A timer which starts at its construction, and stops at its destruction |
| SelfIterator | SelfIterator is an iterator which is also a container |
| SemigroupBase | Base class of all structures that are semigroups |
| semiring_slot_tag | |
| SemiringBase | Base class for all structures that are semirings |
| semiringNode | |
| semiringNode< Element< Transducer< S >, T > > | |
| Series | This is the final class for series |
| series_traits | Meta information about series |
| series_traits< polynom< Tm, Tw > > | |
| series_traits< rat::exp< Tm, Tw > > | |
| SeriesBase | Structural element of series K<A*> from a free monoid A* to a semiring K |
| setesc | IO Manipulator to set the characters that need to be escaped |
| setid | Manipulator to set the representation of the identity series |
| setpm | Manipulator to set the print mode of a rational expression |
| SetSlot | Type of the set_ attribute of the Element class |
| SetSlotAttribute | Base class for SetSlot |
| SetSlotAttribute< S, true > | Base class for SetSlot, specializing SetSlotAttribute |
| setzero | Manipulator to set the representation of the null series |
| simple | |
| Skeleton | |
| SparseInterval | Container over a sparse integer range |
| SparseIterator | SparseIterator is an iterator over range except some points |
| splitter_functor | Splitter for classical hopcroft minimization |
| spontaneous_query | |
| Standard_OfVisitor | |
| Star | |
| StarHeightVisitor | |
| state_h | |
| state_value | State decorator |
| stateNode | |
| states | |
| statesNode | |
| static_char_interval | |
| static_eq | Test for equality between two types |
| static_eq< T, T > | |
| static_if | Choose between two types or values depending on a constant Boolean |
| static_if< false, T, U > | |
| static_if_simple | Choose between two types or values depending on a constant Boolean |
| static_if_simple< false, T, U > | |
| static_pow | Static exponentiation |
| static_pow_compute | These are auxilliary functions for static_pow |
| static_pow_compute< N, 0, true > | |
| static_pow_compute< N, P, true > | |
| static_pow_minus_one | Static exponentiation, result minus one |
| static_ranged | |
| string_out | |
| Structure | Base class for the hierarchy of structural element types |
| Sum | |
| Support< std::map< U, T > > | Support<map<U, T> > is a const adapter of std::map to container |
| SupportIterator | Iterator over the Support generic class |
| SupportMatcher | |
| SyntacticDecorator | Provides the standard operator delegations to Element |
| ThompsonVisitor | |
| Timer | Timing nested tasks |
| Timer::Time | User, system and wall clock time convenient interface |
| Timer::TimeVar | An actual sub-timer |
| Transducer | Final class for the set of transducers |
| transducer_dot | |
| transducer_traits | Traits for transducer implementation |
| transducer_traits< Graph< Kind, WordValue, WeightValue, SeriesValue, Letter, Tag, Geometry > > | |
| TransducerBase | The most general concept of transducer |
| transducerNode | |
| transition_adder_functor | Functor (self functor for deltaf) that constructs the transitions |
| transition_h | |
| transitionNode | |
| transitions | |
| transitionsNode | |
| transpose_traits | Traits for TransposeView |
| transpose_traits< Element< S, T > > | |
| TransposeView | Provides a transposed view of an automaton |
| Trie | |
| TropicalMax | Static information about the kind of tropical we are confronted with |
| TropicalMin | Static information about the kind of tropical we are confronted with |
| TropicalSemiring | Structural element that denotes tropical semiring |
| true_t | Static Booleans, for type matching use of Booleans |
| UnaryEvent | |
| UnaryOp | UnaryOp is integrated in the pattern matching system to permit a factorization of the accessors |
| undefined_type | |
| unifiable | |
| uniquelist | Simple unique list structure |
| UniqueListBase | Base class for uniquelist |
| UniqueMap | Canonical type map |
| UniqueMap::TiSlot | Helper to make std::type_info into a valid key type for std::map |
| usual_converter_exp | |
| usual_converter_poly | |
| Value | Value is integrated into the pattern matching system to permit a factorization of the accessors |
| 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 > > | |
| Window | Handle windows in streams for performing regular expression search |
| WindowedBackSearch | Specific implementation for search() |
| xerces_parser | |
| XML | |
| xml_chooser | Default Chooser class |
| xml_chooser< Automata< S >, T > | Chooser specialization for automata |
| xml_chooser< Automata< vcsn::algebra::Series< S, vcsn::algebra::FreeMonoidProduct< M1, M2 > > >, T > | |
| xml_chooser< Transducer< S >, T > | Chooser specialization for transducers on P(B*) |
| xml_chooser_base | Chooser base class |
| xml_converter | Base conversion class |
| xml_session | Session mangement class |
| XmlExpVisitor | |
| XMLXercesStream | |
| Zero | |
| zero_as | |
