libFAUDES 2.11v 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::AttributeTimedGlobalGlobat attribute with clockset
faudes::AttributeTimedStateState attribute with invariant
faudes::AttributeTimedTransTransition Attribute with guard and resets
faudes::AttributeVoidMinimal Attribute
faudes::BisimulationThis class implements the algorithms needed for the computation of the coarsest quasi-congruence (=Bisimulation) of a given generator
faudes::ClockSetContainer class to model a set of clocks
faudes::DeviceExecutorExecuter with IO device to handle external/physical events
faudes::DiscreteDensityFunctionDensity Function
faudes::DiscreteDensityFunction::Entry
faudes::ElemConstraintModel of an elementary clock constraint formula
faudes::ExceptionFaudes exception class
faudes::ExecutorAn Executor is a timed generator that maintains a current state
faudes::Executor::TimedStateTypedef for timed state
faudes::GeneratorPoolA Generator pool maintains a global generator context
faudes::IndexSetSet of indices
faudes::LoggingExecutorExecutor with logging facilities
faudes::LoggingExecutor::TraceSampleBuffer data entry
faudes::NameSetSet of indices with symbolic names
faudes::OperationThis will become a runtime interface to libFAUDES operations
faudes::ParallelExecutorSynchronized parallel execution of tGenerators
faudes::ParallelExecutor::ParallelTimedStateTypedef for parallel timed state, incl token io
faudes::PartitionThis struct implements a coset (=equivalence class) as needed for the computation of the coarsest quasi-congruence on an automaton
faudes::ProposingExecutorExecuter that proposes which transition to execute
faudes::SampledDensityFunction
faudes::SampledDensityFunction::CountEntry
faudes::SimConditionAttributeAttribute for a simulation condition
faudes::SimConditionSetSet of simulation named conditions
faudes::SimEventAttributeAttribute for an event in the context of simulation
faudes::SimEventConditionAttributeDefining data of event based simulation condition
faudes::SimPriorityEventAttributeDefining data to prioritise events
faudes::SimStateConditionAttributeDefining data of state based simulation condition
faudes::SimStochasticEventAttributeDefining data of stochastic behaviour
faudes::SymbolSetSet of symbols
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::tGeneratorPool
faudes::TimeConstraintA TimeConstraint is a set of elementary clock constraints
faudes::TimedEventTypedef for external trace
faudes::TimeIntervalModel of a time interval
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::tpTimeType to represent time
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::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >Generator with timing extensions
faudes::TTransSet< Cmp >Set of Transitions
faudes::TypeBase class of all core libFAUDES data objects
faudes::vGeneratorVirtual version of a plain generator (ie no attributes)

Generated on Mon Nov 10 08:13:16 2008 for libFAUDES 2.11v by  doxygen 1.4.4