faudes::AttributeCFlags | Attribute class to model event controllability properties |
faudes::AttributeFlags | Boolean flags Attribute |
faudes::AttributeTimedGlobal | Globat attribute with clockset |
faudes::AttributeTimedState | State attribute with invariant |
faudes::AttributeTimedTrans | Transition Attribute with guard and resets |
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::ClockSet | Container class to model a set of clocks |
faudes::DeviceExecutor | Executer with IO device to handle external/physical events |
faudes::DiscreteDensityFunction | Density Function |
faudes::DiscreteDensityFunction::Entry | |
faudes::ElemConstraint | Model of an elementary clock constraint formula |
faudes::Exception | Faudes exception class |
faudes::Executor | An Executor is a timed generator that maintains a current state |
faudes::Executor::TimedState | Typedef for timed state |
faudes::GeneratorPool | A Generator pool maintains a global generator context |
faudes::IndexSet | Set of indices |
faudes::LoggingExecutor | Executor with logging facilities |
faudes::LoggingExecutor::TraceSample | Buffer data entry |
faudes::NameSet | Set of indices with symbolic names |
faudes::Operation | This will become a runtime interface to libFAUDES operations |
faudes::ParallelExecutor | Synchronized parallel execution of tGenerators |
faudes::ParallelExecutor::ParallelTimedState | Typedef for parallel timed state, incl token io |
faudes::Partition | This struct implements a coset (=equivalence class) as needed for the computation of the coarsest quasi-congruence on an automaton |
faudes::ProposingExecutor | Executer that proposes which transition to execute |
faudes::SampledDensityFunction | |
faudes::SampledDensityFunction::CountEntry | |
faudes::SimConditionAttribute | Attribute for a simulation condition |
faudes::SimConditionSet | Set of simulation named conditions |
faudes::SimEventAttribute | Attribute for an event in the context of simulation |
faudes::SimEventConditionAttribute | Defining data of event based simulation condition |
faudes::SimPriorityEventAttribute | Defining data to prioritise events |
faudes::SimStateConditionAttribute | Defining data of state based simulation condition |
faudes::SimStochasticEventAttribute | Defining data of stochastic behaviour |
faudes::SymbolSet | Set of symbols |
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::tGeneratorPool | |
faudes::TimeConstraint | A TimeConstraint is a set of elementary clock constraints |
faudes::TimedEvent | Typedef for external trace |
faudes::TimeInterval | Model of a time interval |
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::tpTime | Type to represent time |
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::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with timing extensions |
faudes::TTransSet< Cmp > | Set of Transitions |
faudes::Type | Base class of all core libFAUDES data objects |
faudes::vGenerator | Virtual version of a plain generator (ie no attributes) |