 faudes::AttributeSignalOutput::Action | Typedef for a single output action |
 faudes::Token::AttributeValue | Attribute value |
 faudes::AutoRegisterType< T > | Auto register faudes-type with specified type name |
 faudes::AutoRegisterXElementTag< T > | |
 faudes::Bisimulation | |
 faudes::nDevice::ClientState | Background: state of a connection to a client (shared) |
 faudes::ConsoleOut | Console Out |
 faudes::SampledDensityFunction::CountEntry | |
 faudes::DiscreteDensityFunction | Density Function |
  faudes::SampledDensityFunction | |
 faudes::sDevice::Edges | Background: type def for edge detection |
 faudes::ElemConstraint | Model of an elementary clock constraint formula |
 faudes::vBaseVector::ElementRecord | Internal entry data type |
 faudes::DiscreteDensityFunction::Entry | |
 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::Exception | Faudes exception class |
 faudes::graph_iterator_t< VLabel, ELabel > | An iterators over the map of all nodes is interpreted as a state incl |
 faudes::Hopcroft | |
 faudes::mbDevice::IoRange | Modbus address ranges |
 faudes::TBaseSet< T, Cmp >::Iterator | Iterator class for high-level api to TBaseSet |
 faudes::sDevice::Levels | Background: type def output values |
 LiteratureRecord | |
 faudes::TokenReader::LState | State on entry of respective level |
 faudes::node_entry_t< VLabel, ELabel > | A node-entry represents one edge |
 faudes::node_iterator_t< VLabel, ELabel > | An iterator over the set of edges related to one vertex is interpreted as a transition |
 faudes::ObjectCount | Debugging counter |
 faudes::OPState | |
 PageRecord | |
 faudes::Parameter | Structure to model a parameter type within the Signature of a Function |
 faudes::Pnode | |
 faudes::SccFilter | Filter for strictly connected components (SCC) search/compute routines |
 faudes::nDevice::ServerState | Background: state of a connection to an event server (shared) |
 faudes::SimEventCondition | Defining data of event based simulation condition |
 faudes::SimplenetAddress | Simplenet node address |
 faudes::SimPriorityEventAttribute | Defining data to prioritise events |
 faudes::SimStateCondition | Defining data of state based simulation condition |
 faudes::SimStochasticEventAttribute | Defining data of stochastic behaviour |
 faudes::Hopcroft::State | Internal representation of reverse transition relation with consecutive indexed states and events |
 faudes::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] |
 faudes::TAttrMap< T, Attr, Cmp > | Attribute interface for TBaseSet |
 faudes::TAttrMap< Idx, Attr > | |
  faudes::TaIndexSet< Attr > | Set of indices with attributes |
  faudes::TaNameSet< Attr > | Set of indices with symbolic names and attributes |
 faudes::TAttrMap< Idx, AttributeSimCondition > | |
  faudes::TaNameSet< AttributeSimCondition > | |
   faudes::SimConditionSet | Set of simulation named conditions |
 faudes::TAttrMap< Transition, Attr, TransSort::X1EvX2 > | |
  faudes::TaTransSet< Attr > | Set of Transitions with attributes |
 faudes::TGraph< VLabel, ELabel > | A graph is modelled as a map from vertex-labels to nodes |
 faudes::TGraph< Idx, Idx > | Specialisation of the graph template to provide convenience methods addressing the intended ussage |
 faudes::Time | Type to represent time |
 faudes::TimeConstraint | A TimeConstraint is a set of elementary clock constraints |
 faudes::TimedEvent | Global Tyoedefs |
 faudes::Executor::TimedState | Typedef for timed state |
 faudes::TimeInterval | Model of a time interval |
 faudes::TNode< VLabel, ELabel > | A node represents the edges related to one individual vertex |
 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::LoggingExecutor::TraceSample | Buffer data entry |
 faudes::Transition | Triple (X1,Ev,X2) to represent current state, event and next state |
 faudes::TransSort | Alternative ordering of Transitions |
 faudes::AttributeSignalInput::Trigger | Typedef for a single input trigger |
 faudes::Type | Base class of all libFAUDES objects that participate in the run-time interface |
  faudes::AttributeVoid | Minimal Attribute |
   faudes::AttributeDeviceEvent | Attribute for the configuration of a input or output mapping |
    faudes::AttributeSignalEvent | Configuration of a signal based input or output |
    faudes::AttributeSimplenetEvent | Configuration of a networked input or output |
   faudes::AttributeFlags | Boolean flags Attribute |
    faudes::AttributeCFlags | Attribute class to model event controllability properties |
     faudes::SimEventAttribute | Attribute for an event in the context of simulation |
    faudes::AttributeSimCondition | Attribute for a simulation condition |
    faudes::AttributeTimedState | State attribute with invariant |
    faudes::AttributeTimedTrans | Transition Attribute with guard and resets |
   faudes::AttributeSignalInput | Configuration of a signal based input mapping |
   faudes::AttributeSignalOutput | Configuration of a signal based output mapping |
   faudes::AttributeSimplenetInput | Configuration of a network input mapping |
   faudes::AttributeSimplenetOutput | Configuration of a network output mapping |
   faudes::AttributeTimedGlobal | Globat attribute with clockset |
  faudes::Boolean | Elementary type |
  faudes::Documentation | Faudes type implementation macros, overall |
   faudes::FunctionDefinition | A FunctionDefinition defines the interface to a faudes-function |
   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::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::FunctionRegistry | The FunctionRegistry registers faudes-functions |
  faudes::Integer | Elementary type |
  faudes::ParallelExecutor | Synchronized parallel execution of TimedGenerators |
   faudes::LoggingExecutor | Executor with logging facilities |
    faudes::ProposingExecutor | Executer that proposes which transition to execute |
     faudes::DeviceExecutor | Executer with IO device to handle external/physical events |
  faudes::ParallelExecutor::ParallelTimedState | Typedef for parallel timed state, incl token io |
  faudes::ProductCompositionMap | Rti-wrapper for composition maps |
  faudes::Signature | Signature of a Function |
  faudes::String | Elementary type |
  faudes::SymbolTable | A SymbolTable associates sybolic names with indices |
  faudes::TBaseSet< T, Cmp > | STL style set template |
  faudes::TypeRegistry | The TypeRegistry registers faudes-types |
  faudes::vBaseVector | Vector bass class |
   faudes::TBaseVector< T > | Vector template |
  faudes::vDevice | Virtual base class to define the interface for event io |
   faudes::nDevice | An nDevice implements networked IO via a simple TCP/IP protocol |
   faudes::sDevice | An sDevice implements signal based semantics for faudes events |
    faudes::mbDevice | Processimage synchronisation via Modbus/TCP |
   faudes::xDevice | Container of devices |
  faudes::vGenerator | Base class of all FAUDES generators |
   faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with specified attribute types |
    faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Compatibility: pre 2.20b used cEventSet as C++ class name |
     faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with timing extensions |
      faudes::Executor | An Executor is a timed generator that maintains a current state |
  faudes::TBaseSet< Idx > | |
   faudes::IndexSet | Set of indices |
    faudes::TaIndexSet< Attr > | Set of indices with attributes |
   faudes::NameSet | Set of indices with symbolic names |
    faudes::ClockSet | Container class to model a set of clocks |
    faudes::TaNameSet< Attr > | Set of indices with symbolic names and attributes |
    faudes::TaNameSet< AttributeSimCondition > | |
  faudes::TBaseSet< Idx, std::less< Idx > > | |
  faudes::TBaseSet< std::string > | |
   faudes::SymbolSet | Set of symbols |
  faudes::TBaseSet< Transition, Cmp > | |
   faudes::TTransSet< Cmp > | Set of Transitions |
    faudes::TaTransSet< Attr > | Set of Transitions with attributes |
  faudes::TBaseSet< Transition, TransSort::X1EvX2 > | |
 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 |