 faudes | LibFAUDES resides within the namespace faudes |
  TaBaseSet | Set with nontrivial attributes |
  TaGenerator | Generator with specified attribute types |
  AttributeVoid | Minimal Attribute |
  AttributeFlags | Boolean flags Attribute |
  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 |
  AttributeCFlags | Attribute class to model event controllability properties |
  TcGenerator | Generator with controllability attributes |
  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 |
  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 |
  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, debug version |
  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 |
  SNOState | |
  ReductionStateInfo | Data structure for identifying states in the same coset for supervisor reduction |
  MCtrlPattern | |
  OPSState | |
  Bisimulation | This class implements the algorithms needed for the computation of the coarsest quasi-congruence (=Bisimulation) of a given generator |
  EventRelabelMap | Rti convenience wrapper for relabeling maps |
  Partition | This struct implements a coset (=equivalence class) as needed for the computation of the coarsest quasi-congruence on an automaton |
  AttributeDiagnoserState | Implements state estimates for the current status of the generator |
  AttributeFailureEvents | Stores the failure and indicator events for a particular failure type |
  AttributeFailureTypeMap | Partitions the failure and indicator events |
  DiagLabelSet | Implements the label representation for state estimates |
  CoVerifierState | |
  TdiagGenerator | Provides the structure and methods to build and handle diagnosers |
  VerifierState | |
  HioEventFlags | Event attributes for hierarchical discrete event systems with inputs and outputs |
  HioStateFlags | State attributes for hierarchical discrete event systems with inputs and outputs |
  THioConstraint | Generator with I/O-constraint attributes |
  THioController | Generator with I/O-controller attributes |
  THioEnvironment | Generator with I/O-environment attributes |
  HioModule | Recurring structure in hierarchies designed according to the I/O based DES framework |
  THioPlant | Generator with I/O-plant attributes |
  AttributeIosEvent | Attributes for events in DES with in- and outputs |
  AttributeIosState | Attributes for states in DESs with in- and outputs |
  TioGenerator | Generator with I/O-system attributes |
  AttributeColoredState | State attributes for multitasking automata |
  ColorSet | Container for colors: this is a NameSet with its own static symboltable |
  TmtcGenerator | 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 |
  adjlist | |
   node | |
  AttributePushdownState | State attribute with substates |
  AttributePushdownTransition | |
  AttributePushdownGlobal | Global attribute with stack alphabet and stack bottom |
  StackSymbolSet | Container class to model a set of stack symbols |
  StackSymbol | Deprecated, do not use! |
  AttributeGotoTransition | Event attribute with grammar symbols |
  AttributeGotoState | State attribute with configuration set |
  GotoMachine | Simple generator for parsing with goto tables |
  TgotoGenerator | Generator for parsing with goto tables |
  GrammarSymbol | Grammar Symbol |
  Terminal | Terminal |
  Nonterminal | Nonterminals are constructed from two states and a stack symbol or one state and a stack symbol |
  GsVectorComparator | |
  GsComparator | |
  GrammarProduction | Grammar Production |
  Grammar | Grammar |
  LangK | This class is used to find all words that can be found when traversing a maximum of k transitions of a given generator |
  MergeAbstract | Abstract interface class for all kinds of items which can comprise a new state |
  MergeStates | Merge class which contains only states |
  MergeStateAnnotation | Merge class which contains one state and a string annotation |
  MergeStateEvent | Merge class which contains one state and one event |
  MergeStateSplit | Merge class which contains one state, one stack symbol and a string annotation |
  MergeTransition | Merge class which contains one transition |
  Lr1Configuration | Lr1 Configuration |
  ConfigSetComparator | |
  ConfigGsPairComparator | |
  Lr1ParserActionElement | Lr1ParserActionElement |
  Lr1ParserAction | Lr1ParserAction |
  Lr1Parser | Lr1Parser |
  TpdGenerator | Generator with push down extensions |
  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 |
  tpTime | Type to represent time |
  TimeInterval | Model of a time interval |
  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 |
  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 |
  swig_cast_info | |
  swig_type_info | |
  swig_lua_userdata | |
  LuaFunctionDefinition | A LuaFunctionDefinition is derived from FunctionDefinition to define a faudes-function by a Lua script |
  LuaState | Wrapper class to maintain a Lua state |
  LuaFunction | A LuaFunction is a faudes-function that executes a luafaudes script |
 LiteratureRecord | |
 PageRecord | |