faudes::AttributeCFlags | Attribute class to model event controllability properties |
faudes::AttributeColoredState | State attributes for multitasking automata |
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::Boolean | Elementary type |
faudes::ClockSet | Container class to model a set of clocks |
faudes::ColorSet | Container for colors: this is a NameSet with its own static symboltable |
faudes::DeviceExecutor | Executer with IO device to handle external/physical events |
faudes::DiscreteDensityFunction | Density Function |
faudes::DiscreteDensityFunction::Entry | |
faudes::Documentation | Structure to hold documentation data relating to a faudes-type or -function |
faudes::ElemConstraint | Model of an elementary clock constraint formula |
faudes::EventRelabelMap | Rti convenience wrapper for relabeling maps |
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::Function | A faudes-function hosts parameter values of some faudes type and provides a method to perform an operation on the specified paramters, e.g |
faudes::FunctionDefinition | A FunctionDefinition defines the interface to a faudes-function |
faudes::FunctionRegistry | The FunctionRegistry registers faudes-functions |
faudes::GeneratorPool | A Generator pool maintains a global generator context |
faudes::HioEventFlags | Event attributes for hierarchical discrete event systems with inputs and outputs |
faudes::HioModule | Recurring structure in hierarchies designed according to the I/O based DES framework |
faudes::HioStateFlags | State attributes for hierarchical discrete event systems with inputs and outputs |
faudes::IndexSet | Set of indices |
faudes::Integer | Elementary type |
faudes::LoggingExecutor | Executor with logging facilities |
faudes::LoggingExecutor::TraceSample | Buffer data entry |
faudes::NameSet | Set of indices with symbolic names |
faudes::ParallelExecutor | Synchronized parallel execution of tGenerators |
faudes::ParallelExecutor::ParallelTimedState | Typedef for parallel timed state, incl token io |
faudes::Parameter | Structure to model a parameter type within the Signature of a Function |
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::Signature | Signature of a Function |
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::String | Elementary type |
faudes::SymbolSet | Set of symbols |
faudes::SymbolTable | A SymbolTable associates sybolic names with indices |
faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with specified attribute types |
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::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with I/O-constraint attributes |
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with I/O-controller attributes |
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with I/O-environment attributes |
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with I/O-plant attributes |
faudes::TimeConstraint | A TimeConstraint is a set of elementary clock constraints |
faudes::TimedEvent | Global Tyoedefs |
faudes::TimeInterval | Model of a time interval |
faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Allows to create colored marking generators (CMGs) as the common five tupel consisting of alphabet, stateset, transition relation, initial states, marked states, and attributes for state and event properties |
faudes::TNestedFunction< FTYPE, CFNCT > | A TNestedFunction derives a class from Function to invoke a c-function repeatavely |
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::TSimpleFunction1< FTYPE0, CFNCT > | A TSimpeFunction derives a class from Function to invoke a c-function with parameters of specified type |
faudes::TSimpleFunction2< FTYPE0, FTYPE1, CFNCT > | |
faudes::TSimpleFunction3< FTYPE0, FTYPE1, FTYPE2, CFNCT > | |
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with timing extensions |
faudes::TTransSet< Cmp > | Set of Transitions |
faudes::Type | Base class of all libFAUDES objects that participate in the run time interface |
faudes::TypeDefinition | A TypeDefinition defines a faudes-type in that it specifies a faudes-type name to identify the type and a method NewObject() to instantiate objects of the respective type |
faudes::TypeRegistry | The TypeRegistry registers faudes-types |
faudes::vGenerator | Base class of all FAUDES generators |