| add_kind | Empty class that is 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. The meta-symbols are: - a 'joker' which symbolizes every letter of the alphabet. - a 'discard' which symbolizes every letter that is not in the alphabet but of the same letter type. The meta-symbols are encoded using the type of the letter with a default value that has to be specified with the traits 'meta_symbol'. For instance, '?' and '#' for char. Yet, if these characters are already present in the alphabet, we look for another character in a incremental way. If, unfortunately, there is not enough place, the program is stopped |
| AlphabetSet | Static implementation of alphabet structural element |
| AlphabetSetBase | Base class for structural elements of alphabets |
| AutoKind< labels_are_series, Self, Series, SeriesT, LabelT > | Add adapted accessors in function of the automaton kind |
| AutomataBase | The most general concept of automaton |
| BinaryOp | BinaryOp is a generic class which symbolised binary operator |
| char_traits< pair< U, V > > | The char trait on pair (needed by basic_string for example) |
| 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::NumericalSemiring > | Dynamic_traits<NumericalSemiring> defines meta information about then NumericalSemiring structural element |
| dynamic_traits< algebra::TropicalSemiring< TropicalKind > > | Meta information about the tropical semirings |
| dynamic_traits< Structure< S > > | Specialization of dynamic_traits for Structure |
| Element | Glue class between structural elements and implementation values |
| FreeMonoid | Implementation of a free monoid which aggregates its alphabet |
| FreeMonoidBase | Structural element for free monoid |
| GenericMatcher | GenericMatcher manages the dispatch of pattern matching |
| KRatExpToken | Schrödinger's token for rational expression lexing |
| token | Simple token |
| Lexer | Lexer class for the rational expression parser |
| linearize_element | The types of a linearized expression |
| MetaElement< algebra::AlphabetSet< L >, algebra::AlphabetDecorator< L, T > > | Services of every alphabet implemented with AlphabetDecorator<T>. See MetaElement<AlphabetSetBase<Self>, T> |
| MetaElement< algebra::AlphabetSet< L >, std::set< L > > | Services of every alphabet implemented with std::set. See MetaElement<AlphabetSetBase<Self>, T> |
| 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 ie words |
| MetaElement< algebra::MonoidBase< Self >, T > | Defines services of element of every monoid |
| MetaElement< algebra::NumericalSemiring, T > | MetaElement<NumericalSemiring, T> defines the services of element of 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 (weight) |
| MetaElement< algebra::SeriesBase< Self >, T > | Services of every serie |
| MetaElement< algebra::TropicalSemiring< TropicalKind >, T > | Services of element of a tropical semiring |
| MetaElement< AutomataBase< Self >, T > | Services of every element of the automata set |
| MetaElement< Structure< S >, T > | The base class that glues structural elements to implementation values |
| MetaElement< TransducerBase< Self >, T > | Services of every element of the transducer set |
| MonoidBase | MonoidBase is the base class of all structures that are monoids |
| mul_kind | Empty class that is used as static information to denotes the kind of internal operation of a semigroup. Here:operator * |
| 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 |
| 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_traits | Meta information about series |
| SeriesBase | Structural element of series K<A*> from a free monoid A* to a semiring K |
| SetSlot | Type of the set_ attribute of the Element class |
| SetSlotAttribute | Base class for SetSlot |
| SetSlotAttribute< S, true > | Base class for SetSlot, specializing SetSlotAttribute |
| SparseInterval | Container over a sparse integer range |
| SparseIterator | SparseIterator is an iterator over range except some points |
| static_eq | Test for equality between two types |
| static_if | Choose between two types or values depending on a constant boolean |
| static_pow | Static exponentiation |
| 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 |
| TransducerBase | The most general concept of transducer |
| 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 a generic class which symbolised binary operator |
| unique_map | Canonical type map |
| ti_slot | Helper to make std::type_info into a valid key type for std::map |
| uniquelist | Simple unique list structure |
| uniquelist_base | Base class for uniquelist |
| Value | Value is a generic class which symbolised leaf of AST |
| virtual_types< algebra::AlphabetSetBase< S > > | Specialization of virtual_types for AlphabetSetBase |
| virtual_types< Structure< S > > | Specialization of virtual_types for Structure |
