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