►Nfaudes | LibFAUDES resides within the namespace faudes |
CTaGenerator | Generator with specified attribute types |
CAttributeVoid | Minimal Attribute |
CAttributeFlags | Boolean flags Attribute |
CTAttrMap | Attribute interface for TBaseSet |
►CTBaseSet | STL style set template |
CIterator | Iterator class for high-level api to TBaseSet |
►CvBaseVector | Vector bass class |
CElementRecord | Internal entry data type |
CTBaseVector | Vector template |
►CBisimulationCTA | The Bisimulation class The following class implements a basic normal bisimulation partition algorithms and derives a class for partitioning w.r.t. delayed bisimulation and weak bisimulation . All these algorithms are introduced in "Computing Maximal Weak and Other Bisimulations" from Alexandre Boulgakov et. al. (2016). The utilised normal bisimulation algorithm originates from the "change tracking algorithm" from Stefan Blom and Simona Orzan (see ref. of cited paper). Besides, the current paper uses topological sorted states to avoid computing saturated transitions explicitly when computing delayed and weak bisimulation |
CState | |
CAbstractBisimulationCTA | The DelayedBisimulation class Derived from Bisimulation class. We implement the "two-pass change-tracking" algorithm from the cited paper |
►CTopoSort | The TopoSort class perform a topological sort on states of a given automaton. if s1 is before s2 in the sort then there is no path from s2 to s1. The algorithm can be found in https://en.wikipedia.org/wiki/Topological_sorting under depth-first search, which is considered as first invented by R. Tarjan in 1976 |
CState | |
CPnode | |
►CBisimulation | |
CState | |
CAttributeCFlags | Attribute class to model event controllability properties |
CTcGenerator | Generator with controllability attributes |
CInteger | Elementary type |
CString | Elementary type |
CBoolean | Elementary type |
CException | Faudes exception class |
CParameter | Structure to model a parameter type within the Signature of a Function |
CSignature | Signature of a Function |
CFunctionDefinition | A FunctionDefinition defines the interface to a faudes-function |
CFunction | A faudes-function hosts parameter values of some faudes type and provides a method to perform an operation on the specified paramters, e.g |
CvGenerator | Base class of all FAUDES generators |
CSccFilter | Filter for strictly connected components (SCC) search/compute routines |
CTaIndexSet | Set of indices with attributes |
CIndexSet | Set of indices |
CTaNameSet | Set of indices with symbolic names and attributes |
CNameSet | Set of indices with symbolic names |
COPState | |
CProductCompositionMap | Rti-wrapper for composition maps |
CTGraph | Graph data structure for transitionrelation – EXPERIMENTAL |
CTNode | A node represents the edges related to one individual vertex |
Cgraph_iterator_t | An iterator over the map of all nodes is interpreted as a state incl |
Cnode_iterator_t | An iterator over the set of edges related to one vertex is interpreted as a transition |
Cnode_entry_t | A node-entry represents one edge |
CTGraph< Idx, Idx > | Specialisation of the graph template to provide convenience methods addressing the intended ussage |
CTypeRegistry | The TypeRegistry registers faudes-types |
CAutoRegisterType | Auto register faudes-type with specified type name |
CAutoRegisterXElementTag | |
CFunctionRegistry | The FunctionRegistry registers faudes-functions |
►CHopcroft | |
CState | Internal representation of reverse transition relation with consecutive indexed states and events |
CSymbolSet | Set of symbols |
CSymbolTable | A SymbolTable associates sybolic names with indices |
►CToken | Tokens model atomic data for stream IO |
CAttributeValue | Attribute value |
►CTokenReader | A TokenReader reads sequential tokens from a file or string |
CLState | State on entry of respective level |
CTokenWriter | A TokenWriter writes sequential tokens to a file, a string or stdout |
CTransition | Triple (X1,Ev,X2) to represent current state, event and next state |
►CTransSort | Alternative ordering of Transitions |
CEvX1X2 | Binary predicate for sorting transitions in order Ev, X1, X2 |
CEvX2X1 | Binary predicate for sorting transitions in order Ev, X2, X1 |
CX1EvX2 | Binary predicate for sorting transitions in order X1, Ev, X2 |
CX1X2Ev | Binary predicate for sorting transitions in order X1, X2, Ev |
CX2EvX1 | Binary predicate for sorting transitions in order X2, Ev, X1 |
CX2X1Ev | Binary predicate for sorting transitions in order X2, X1, Ev |
CTTransSet | Set of Transitions |
CTaTransSet | Set of Transitions with attributes |
CType | Base class of all libFAUDES objects that participate in the run-time interface |
CDocumentation | Faudes type implementation macros, overall |
CTypeDefinition | 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 |
CConsoleOut | Console Out |
CObjectCount | Debugging counter |
CComSyn | |
CSmallSize | |
CSNOState | |
CReductionStateInfo | Data structure for identifying states in the same coset for supervisor reduction |
►CSOE | |
CRelation | Relation according to SOE in one block |
CState | Internal representation of transition relation with consecutive indexed states and events |
CMCtrlPattern | |
COPSState | |
CEventRelabelMap | Rti convenience wrapper for relabeling maps |
CAttributeDiagnoserState | Implements state estimates for the current status of the generator |
CAttributeFailureEvents | Stores the failure and indicator events for a particular failure type |
CAttributeFailureTypeMap | Partitions the failure and indicator events |
CDiagLabelSet | Implements the label representation for state estimates |
CCoVerifierState | |
CTdiagGenerator | Provides the structure and methods to build and handle diagnosers |
CVerifierState | |
CHioEventFlags | Event attributes for hierarchical discrete event systems with inputs and outputs |
CHioStateFlags | State attributes for hierarchical discrete event systems with inputs and outputs |
CTHioConstraint | Generator with I/O-constraint attributes |
CTHioController | Generator with I/O-controller attributes |
CTHioEnvironment | Generator with I/O-environment attributes |
CHioModule | Recurring structure in hierarchies designed according to the I/O based DES framework |
CTHioPlant | Generator with I/O-plant attributes |
CAttributeIosEvent | Attributes for events in DES with in- and outputs |
CAttributeIosState | Attributes for states in DESs with in- and outputs |
CTioGenerator | Generator with I/O-system attributes |
CAttributeColoredState | State attributes for multitasking automata |
CColorSet | Container for colors: this is a NameSet with its own static symboltable |
CTmtcGenerator | 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 |
►Cadjlist | |
Cnode | |
CAttributeTimedTrans | Transition Attribute with guard and resets |
CAttributeTimedState | State attribute with invariant |
CAttributeTimedGlobal | Globat attribute with clockset |
CTtGenerator | Generator with timing extensions |
CClockSet | Container class to model a set of clocks |
CElemConstraint | Model of an elementary clock constraint formula |
CTimeConstraint | A TimeConstraint is a set of elementary clock constraints |
CTime | Type to represent time |
CTimeInterval | Model of a time interval |
►CDiscreteDensityFunction | Density Function |
CEntry | |
►CSampledDensityFunction | |
CCountEntry | |
CDeviceExecutor | Executer with IO device to handle external/physical events |
CTimedEvent | Global Tyoedefs |
►CExecutor | An Executor is a timed generator that maintains a current state |
CTimedState | Typedef for timed state |
►CLoggingExecutor | Executor with logging facilities |
CTraceSample | Buffer data entry |
►CParallelExecutor | Synchronized parallel execution of TimedGenerators |
CParallelTimedState | Typedef for parallel timed state, incl token io |
CProposingExecutor | Executer that proposes which transition to execute |
CSimEventCondition | Defining data of event based simulation condition |
CSimStateCondition | Defining data of state based simulation condition |
CAttributeSimCondition | Attribute for a simulation condition |
CSimConditionSet | Set of simulation named conditions |
CSimPriorityEventAttribute | Defining data to prioritise events |
CSimStochasticEventAttribute | Defining data of stochastic behaviour |
CSimEventAttribute | Attribute for an event in the context of simulation |
►CmbDevice | Processimage synchronisation via Modbus/TCP |
CIoRange | Modbus address ranges |
►CAttributeSignalOutput | Configuration of a signal based output mapping |
CAction | Typedef for a single output action |
►CAttributeSignalInput | Configuration of a signal based input mapping |
CTrigger | Typedef for a single input trigger |
CAttributeSignalEvent | Configuration of a signal based input or output |
►CsDevice | An sDevice implements signal based semantics for faudes events |
CEdges | Background: type def for edge detection
|
CLevels | Background: type def output values
|
CSimplenetAddress | Simplenet node address |
CAttributeSimplenetOutput | Configuration of a network output mapping |
CAttributeSimplenetInput | Configuration of a network input mapping |
CAttributeSimplenetEvent | Configuration of a networked input or output |
►CnDevice | An nDevice implements networked IO via a simple TCP/IP protocol |
CClientState | Background: state of a connection to a client (shared) |
CServerState | Background: state of a connection to an event server (shared) |
CAttributeDeviceEvent | Attribute for the configuration of a input or output mapping |
CvDevice | Virtual base class to define the interface for event io |
CxDevice | Container of devices |
Cswig_cast_info | |
Cswig_type_info | |
Cswig_lua_userdata | |
CLuaFunctionDefinition | A LuaFunctionDefinition is derived from FunctionDefinition to define a faudes-function by a Lua script |
CLuaState | Wrapper class to maintain a Lua state |
CLuaFunction | A LuaFunction is a faudes-function that executes a luafaudes script |