faudes::AttributeCFlags | Attribute class to model event controllability properties |
faudes::AttributeFlags | Boolean flags Attribute |
faudes::AttributeVoid | Minimal Attribute |
faudes::Bisimulation | This class implements the algorithms needed for the computation of the coarsest quasi-congruence (=Bisimulation) of a given generator |
faudes::Exception | Faudes exception class |
faudes::GeneratorPool | A Generator pool maintains a global generator context |
faudes::IndexSet | Set of indices |
faudes::NameSet | Set of indices with symbolic names |
faudes::Partition | This struct implements a coset (=equivalence class) as needed for the computation of the coarsest quasi-congruence on an automaton |
faudes::SymbolTable | A SymbolTable associates sybolic names with indices |
faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Model of the common five-tupel G := (X, Sigma, Delta, X_0, X_m) |
faudes::TaIndexSet< Attr > | Set of indices with attributes |
faudes::TaNameSet< Attr > | Set of indices with symbolic names and attributes |
faudes::TaTransSet< Attr > | Set of Transitions with attributes |
faudes::TBaseSet< T, Cmp > | STL style set template |
faudes::TBaseSet< T, Cmp >::Iterator | Iterator class for high-level api to TBaseSet |
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with controllability attributes |
faudes::Token | Tokens model atomic data for stream IO |
faudes::TokenReader | A TokenReader reads sequential tokens from a file or string |
faudes::TokenWriter | A TokenWriter writes sequential tokens to a file, a string or stdout |
faudes::Transition | Triple (X1,Ev,X2) to represent current state, event and next state |
faudes::TransSort | Alternative ordering of Transitions |
faudes::TransSort::EvX1X2 | Binary predicate for sorting transitions in order Ev, X1, X2 |
faudes::TransSort::EvX2X1 | Binary predicate for sorting transitions in order Ev, X2, X1 |
faudes::TransSort::X1EvX2 | Binary predicate for sorting transitions in order X1, Ev, X2 |
faudes::TransSort::X1X2Ev | Binary predicate for sorting transitions in order X1, X2, Ev |
faudes::TransSort::X2EvX1 | Binary predicate for sorting transitions in order X2, Ev, X1 |
faudes::TransSort::X2X1Ev | Binary predicate for sorting transitions in order X2, X1, Ev |
faudes::TTransSet< Cmp > | Set of Transitions |
faudes::vGenerator | Virtual version of a plain generator (ie no attributes) |