Class Hierarchy
This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 123456]
oCfaudes::AttributeSignalOutput::ActionTypedef for a single output action
oCfaudes::Token::AttributeValueAttribute value
oCfaudes::AutoRegisterType< T >Auto register faudes-type with specified type name
oCfaudes::AutoRegisterXElementTag< T >
oCfaudes::Bisimulation
oCfaudes::nDevice::ClientStateBackground: state of a connection to a client (shared)
oCfaudes::ConsoleOutConsole Out
oCfaudes::SampledDensityFunction::CountEntry
oCfaudes::DiscreteDensityFunctionDensity Function
|\Cfaudes::SampledDensityFunction
oCfaudes::sDevice::EdgesBackground: type def for edge detection
oCfaudes::ElemConstraintModel of an elementary clock constraint formula
oCfaudes::vBaseVector::ElementRecordInternal entry data type
oCfaudes::DiscreteDensityFunction::Entry
oCfaudes::TransSort::EvX1X2Binary predicate for sorting transitions in order Ev, X1, X2
oCfaudes::TransSort::EvX2X1Binary predicate for sorting transitions in order Ev, X2, X1
oCfaudes::ExceptionFaudes exception class
oCfaudes::graph_iterator_t< VLabel, ELabel >An iterators over the map of all nodes is interpreted as a state incl
oCfaudes::Hopcroft
oCfaudes::mbDevice::IoRangeModbus address ranges
oCfaudes::TBaseSet< T, Cmp >::IteratorIterator class for high-level api to TBaseSet
oCfaudes::sDevice::LevelsBackground: type def output values
oCLiteratureRecord
oCfaudes::TokenReader::LStateState on entry of respective level
oCfaudes::node_entry_t< VLabel, ELabel >A node-entry represents one edge
oCfaudes::node_iterator_t< VLabel, ELabel >An iterator over the set of edges related to one vertex is interpreted as a transition
oCfaudes::ObjectCountDebugging counter
oCfaudes::OPState
oCPageRecord
oCfaudes::ParameterStructure to model a parameter type within the Signature of a Function
oCfaudes::Pnode
oCfaudes::SccFilterFilter for strictly connected components (SCC) search/compute routines
oCfaudes::nDevice::ServerStateBackground: state of a connection to an event server (shared)
oCfaudes::SimEventConditionDefining data of event based simulation condition
oCfaudes::SimplenetAddressSimplenet node address
oCfaudes::SimPriorityEventAttributeDefining data to prioritise events
oCfaudes::SimStateConditionDefining data of state based simulation condition
oCfaudes::SimStochasticEventAttributeDefining data of stochastic behaviour
oCfaudes::Hopcroft::StateInternal representation of reverse transition relation with consecutive indexed states and events
oCfaudes::Bisimulation::State
 internal representation of transition relation with consecutive indexed states and events

Revision 20150724 tmoor — technically, re-indexing is equivalent to "pointers on source indicees" and buffers log-n searches [30sec -> 10sec for our testcases]

oCfaudes::TAttrMap< T, Attr, Cmp >Attribute interface for TBaseSet
oCfaudes::TAttrMap< Idx, Attr >
|oCfaudes::TaIndexSet< Attr >Set of indices with attributes
|\Cfaudes::TaNameSet< Attr >Set of indices with symbolic names and attributes
oCfaudes::TAttrMap< Idx, AttributeSimCondition >
|\Cfaudes::TaNameSet< AttributeSimCondition >
oCfaudes::TAttrMap< Transition, Attr, TransSort::X1EvX2 >
|\Cfaudes::TaTransSet< Attr >Set of Transitions with attributes
oCfaudes::TGraph< VLabel, ELabel >A graph is modelled as a map from vertex-labels to nodes
oCfaudes::TGraph< Idx, Idx >Specialisation of the graph template to provide convenience methods addressing the intended ussage
oCfaudes::TimeType to represent time
oCfaudes::TimeConstraintA TimeConstraint is a set of elementary clock constraints
oCfaudes::TimedEventGlobal Tyoedefs
oCfaudes::Executor::TimedStateTypedef for timed state
oCfaudes::TimeIntervalModel of a time interval
oCfaudes::TNode< VLabel, ELabel >A node represents the edges related to one individual vertex
oCfaudes::TokenTokens model atomic data for stream IO
oCfaudes::TokenReaderA TokenReader reads sequential tokens from a file or string
oCfaudes::TokenWriterA TokenWriter writes sequential tokens to a file, a string or stdout
oCfaudes::LoggingExecutor::TraceSampleBuffer data entry
oCfaudes::TransitionTriple (X1,Ev,X2) to represent current state, event and next state
oCfaudes::TransSortAlternative ordering of Transitions
oCfaudes::AttributeSignalInput::TriggerTypedef for a single input trigger
oCfaudes::TypeBase class of all libFAUDES objects that participate in the run-time interface
|oCfaudes::AttributeVoidMinimal Attribute
|oCfaudes::BooleanElementary type
|oCfaudes::DocumentationFaudes type implementation macros, overall
|oCfaudes::FunctionA faudes-function hosts parameter values of some faudes type and provides a method to perform an operation on the specified paramters, e.g
|oCfaudes::FunctionRegistryThe FunctionRegistry registers faudes-functions
|oCfaudes::IntegerElementary type
|oCfaudes::ParallelExecutorSynchronized parallel execution of TimedGenerators
|oCfaudes::ParallelExecutor::ParallelTimedStateTypedef for parallel timed state, incl token io
|oCfaudes::ProductCompositionMapRti-wrapper for composition maps
|oCfaudes::SignatureSignature of a Function
|oCfaudes::StringElementary type
|oCfaudes::SymbolTableA SymbolTable associates sybolic names with indices
|oCfaudes::TBaseSet< T, Cmp >STL style set template
|oCfaudes::TypeRegistryThe TypeRegistry registers faudes-types
|oCfaudes::vBaseVectorVector bass class
|oCfaudes::vDeviceVirtual base class to define the interface for event io
|oCfaudes::vGeneratorBase class of all FAUDES generators
|oCfaudes::TBaseSet< Idx >
|oCfaudes::TBaseSet< Idx, std::less< Idx > >
|oCfaudes::TBaseSet< std::string >
|oCfaudes::TBaseSet< Transition, Cmp >
|\Cfaudes::TBaseSet< Transition, TransSort::X1EvX2 >
oCfaudes::TransSort::X1EvX2Binary predicate for sorting transitions in order X1, Ev, X2
oCfaudes::TransSort::X1X2EvBinary predicate for sorting transitions in order X1, X2, Ev
oCfaudes::TransSort::X2EvX1Binary predicate for sorting transitions in order X2, Ev, X1
\Cfaudes::TransSort::X2X1EvBinary predicate for sorting transitions in order X2, X1, Ev

libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen