libFAUDES 2.09b Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
faudes::AttributeCFlagsAttribute class to model event controllability properties
faudes::AttributeFlagsBoolean flags Attribute
faudes::AttributeVoidMinimal Attribute
faudes::BisimulationThis class implements the algorithms needed for the computation of the coarsest quasi-congruence (=Bisimulation) of a given generator
faudes::ExceptionFaudes exception class
faudes::GeneratorPoolA Generator pool maintains a global generator context
faudes::IndexSetSet of indices
faudes::NameSetSet of indices with symbolic names
faudes::PartitionThis struct implements a coset (=equivalence class) as needed for the computation of the coarsest quasi-congruence on an automaton
faudes::SymbolTableA 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 >::IteratorIterator class for high-level api to TBaseSet
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >Generator with controllability attributes
faudes::TokenTokens model atomic data for stream IO
faudes::TokenReaderA TokenReader reads sequential tokens from a file or string
faudes::TokenWriterA TokenWriter writes sequential tokens to a file, a string or stdout
faudes::TransitionTriple (X1,Ev,X2) to represent current state, event and next state
faudes::TransSortAlternative ordering of Transitions
faudes::TransSort::EvX1X2Binary predicate for sorting transitions in order Ev, X1, X2
faudes::TransSort::EvX2X1Binary predicate for sorting transitions in order Ev, X2, X1
faudes::TransSort::X1EvX2Binary predicate for sorting transitions in order X1, Ev, X2
faudes::TransSort::X1X2EvBinary predicate for sorting transitions in order X1, X2, Ev
faudes::TransSort::X2EvX1Binary predicate for sorting transitions in order X2, Ev, X1
faudes::TransSort::X2X1EvBinary predicate for sorting transitions in order X2, X1, Ev
faudes::TTransSet< Cmp >Set of Transitions
faudes::vGeneratorVirtual version of a plain generator (ie no attributes)

Generated on Fri May 9 11:26:48 2008 for libFAUDES 2.09b by  doxygen 1.4.4