| add_kind | Empty class used as static information to denotes the kind of internal operation of a semigroup. Here: operator+ |
| 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 std::set |
| 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 |
| 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 |
| AutomataBase | It symbolises the set of automata with multiplicity over a fixed semiring and a fixed free monoid |
| automaton_traits< TransposeView< T > > | Automaton_traits specialization for the TransposeView implementation |
| BerrySethiAlgo | This is the visitor that really computes Berry-Sethi |
| BinaryOp | BinaryOp is integrated in the pattern matching system to permit a factorization of the accessors |
| Bitset | Dynamic bitset class |
| BrzozowskiAlgo | This is the class that really computes Brzozowski |
| char_traits | Generic char_traits |
| ConstantTermEval | This is the visitor that really computes the constant term |
| DefaultChooser | Default chooser for aut_to_exp() |
| Deferrer | This class defers the creation of its template parameter |
| DeferrerDebugPart | Helper class for Deferrer |
| DispatchFunction< rat::exp< M, W > > | Classical dispatch function for rat::exp |
| 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::FreeMonoidProduct< F, S > > | Meta information about FreeMonoidProduct |
| dynamic_traits< algebra::NumericalSemiring > | Meta information about then NumericalSemiring structural element |
| dynamic_traits< algebra::Series< W, M > > | Dynamic traits for series |
| dynamic_traits< algebra::TropicalSemiring< TropicalKind > > | Meta information about the tropical semirings |
| dynamic_traits< Automata< Series > > | Dynamic traits for automata |
| dynamic_traits< Structure< S > > | Specialization of dynamic_traits for Structure |
| dynamic_traits< Transducer< Series > > | Dynamic traits for transducers |
| edge_value | Edge decorator |
| Element | Glue class between structural elements and implementation values |
| escaper | IO Manipulator to escape some characters when displaying them |
| exp | Implementation of rational expression |
| FindBestSearch | Specific implementation for search() |
| FreeMonoid | Implementation of a free monoid which aggregates its alphabet |
| FreeMonoidBase | Structural element for free monoid |
| FreeMonoidProduct | Implementation of a monoid which is a product of two free monoids |
| FreeMonoidProductBase | Structural element for free monoid product |
| generic_int_type | Generic and under-efficient int_type implementation for char_traits |
| GenericMatcher | GenericMatcher manages the dispatch of pattern matching |
| geometry | Store 4 maps for geometry properties of the automaton. states_ map is used to store states coordinates. edges_ map is used to store the label position for edges. initials_ map is used to store the label position for initial transitions. finals_ map is used to store the label position for final transitions |
| Graph | Graph |
| insert_iterator< utility::Bitset > | Specialized insert_iterator |
| iomanip | Base class for IO manipulators |
| KRatExpAciCanonical | Visitor to build a canonical form of an expression, following aci-rules |
| KRatExpInitialDerivation | Visitor to have an initial set of partial derivatives terms from an expression |
| KRatExpToken | Schrödinger's token for rational expression lexing |
| KRatExpToken::token | Simple token |
| Lexer | Lexer class for the rational expression parser |
| linearize_element | The types of a linearized expression |
| ListChooser | Chooser for aut_to_exp() |
| MetaElement | Parent class of Element |
| MetaElement< algebra::AlphabetSet< L >, algebra::AlphabetDecorator< L, T > > | Services of every alphabet implemented with AlphabetDecorator<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 >, 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 > | MetaElement<TransducerBase<Self>, T> defines the interface of every transducer that is the result of the interaction of a structural element (TransducerBase<Self>) and an implementation T |
| MonoidBase | MonoidBase is the base class of all structures that are monoids |
| mul_kind | Empty class used as static information to denotes the kind of internal operation of a semigroup. Here: operator* |
| Node | Node class interface |
| NumericalSemiring | NumericalSemiring is the set of semirings implemented with usual operations (+, *) |
| op_add_traits | The type of the result of addition between two Element instances |
| 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_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 |
| Parser | Parser class used in the parse() function |
| PRatExpDerivationVisitor | This class performs partial rational expression derivations |
| RandomChooser | Choose randomly a state between all currently choosable |
| RationalNumber | Rational numbers class |
| remove_const | Turn a const type into its corresponding mutable type |
| remove_reference | Turn a reference type into its corresponding plain type |
| SelfIterator | SelfIterator is an iterator which is also a container |
| SemigroupBase | SemigroupBase is the base class of all structures that are semigroups |
| SemiringBase | SemiringBase is the base class for all structures that are semirings |
| Series | This is the final class for series |
| series_traits | Meta information about series |
| 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 |
| SparseInterval | Container over a sparse integer range |
| SparseIterator | SparseIterator is an iterator over range except some points |
| state_value | State decorator |
| static_eq | Test for equality between two types |
| static_if | Choose between two types or values depending on a constant Boolean |
| static_if_simple | Choose between two types or values depending on a constant Boolean |
| static_pow | Static exponentiation |
| static_pow_compute | These are auxilliary functions for static_pow |
| static_pow_minus_one | Static exponentiation, result minus one |
| Structure | Base class for the hierarchy of structural element types |
| 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 |
| SyntacticDecorator | This class provides the standard operator delegations to Element |
| Transducer | This is the final class for the set of transducers |
| TransducerBase | It denotes the set of transducer with multiplicity over a fixed semiring and a fixed free couple of monoid |
| transpose_traits | Traits for TransposeView |
| TransposeView | Provides a transposed view of an automaton |
| 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 |
| UnaryOp | UnaryOp is integrated in the pattern matching system to permit a factorization of the accessors |
| 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 |
| 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::Series< W, M > > | Virtual types for series |
| virtual_types< Automata< Series > > | Virtual types for automata |
| virtual_types< Structure< S > > | Specialization of virtual_types for Structure |
| virtual_types< Transducer< Series > > | Virtual types for transducers |
| Window | Handle windows in streams for performing regular expression search |
| WindowedBackSearch | Specific implementation for search() |
| xml_chooser | Default Chooser class |
| xml_chooser< Automata< S >, T > | Chooser specialization for automata |
| xml_chooser< Transducer< S >, T > | Chooser specialization for transducers on P(B*) |
| xml_chooser_base | Chooser base class. All specialization should inherit from it |
| xml_converter | Base conversion class |
| xml_session | Session mangement class. Use stream operators to use. For example : |
