faudes::AttributeSignalOutput::Action | Typedef for a single output action |
faudes::adjlist | |
faudes::AttributeCFlags | Attribute class to model event controllability properties |
faudes::AttributeColoredState | State attributes for multitasking automata |
faudes::AttributeDeviceEvent | Attribute for the configuration of a input or output mapping |
faudes::AttributeDiagnoserState | Implements state estimates for the current status of the generator |
faudes::AttributeFailureEvents | Stores the failure and indicator events for a particular failure type |
faudes::AttributeFailureTypeMap | Partitions the failure and indicator events |
faudes::AttributeFlags | Boolean flags Attribute |
faudes::AttributeGotoState | State attribute with configuration set |
faudes::AttributeGotoTransition | Event attribute with grammar symbols |
faudes::AttributeIosEvent | Attributes for events in DES with in- and outputs |
faudes::AttributeIosState | Attributes for states in DESs with in- and outputs |
faudes::AttributePushdownGlobal | Global attribute with stack alphabet and stack bottom |
faudes::AttributePushdownState | State attribute with substates |
faudes::AttributePushdownTransition | |
faudes::AttributeSignalEvent | Configuration of a signal based input or output |
faudes::AttributeSignalInput | Configuration of a signal based input mapping |
faudes::AttributeSignalOutput | Configuration of a signal based output mapping |
faudes::AttributeSimCondition | Attribute for a simulation condition |
faudes::AttributeSimplenetEvent | Configuration of a networked input or output |
faudes::AttributeSimplenetInput | Configuration of a network input mapping |
faudes::AttributeSimplenetOutput | Configuration of a network output mapping |
faudes::AttributeTimedGlobal | Globat attribute with clockset |
faudes::AttributeTimedState | State attribute with invariant |
faudes::AttributeTimedTrans | Transition Attribute with guard and resets |
faudes::Token::AttributeValue | Attribute value |
faudes::AttributeVoid | Minimal Attribute |
faudes::AutoRegisterType< T > | Auto register faudes-type with specified type name |
faudes::AutoRegisterXElementTag< T > | |
faudes::Bisimulation | This class implements the algorithms needed for the computation of the coarsest quasi-congruence (=Bisimulation) of a given generator |
faudes::Boolean | Elementary type |
faudes::nDevice::ClientState | Background: state of a connection to a client (shared) |
faudes::ClockSet | Container class to model a set of clocks |
faudes::ColorSet | Container for colors: this is a NameSet with its own static symboltable |
faudes::ConfigGsPairComparator | |
faudes::ConfigSetComparator | |
faudes::ConsoleOut | Console Out |
faudes::SampledDensityFunction::CountEntry | |
faudes::CoVerifierState | |
faudes::DeviceExecutor | Executer with IO device to handle external/physical events |
faudes::DiagLabelSet | Implements the label representation for state estimates |
faudes::DiscreteDensityFunction | Density Function |
faudes::Documentation | Faudes type implementation macros, overall, debug version |
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::EventRelabelMap | Rti convenience wrapper for relabeling maps |
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::Executor | An Executor is a timed generator that maintains a current state |
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::FunctionDefinition | A FunctionDefinition defines the interface to a faudes-function |
faudes::FunctionRegistry | The FunctionRegistry registers faudes-functions |
faudes::GotoMachine | Simple generator for parsing with goto tables |
faudes::Grammar | Grammar |
faudes::GrammarProduction | Grammar Production |
faudes::GrammarSymbol | Grammar Symbol |
faudes::graph_iterator_t< VLabel, ELabel > | An iterators over the map of all nodes is interpreted as a state incl |
faudes::GsComparator | |
faudes::GsVectorComparator | |
faudes::HioEventFlags | Event attributes for hierarchical discrete event systems with inputs and outputs |
faudes::HioModule | Recurring structure in hierarchies designed according to the I/O based DES framework |
faudes::HioStateFlags | State attributes for hierarchical discrete event systems with inputs and outputs |
faudes::IndexSet | Set of indices |
faudes::Integer | Elementary type |
faudes::TBaseSet< T, Cmp >::Iterator | Iterator class for high-level api to TBaseSet |
faudes::LangK | This class is used to find all words that can be found when traversing a maximum of k transitions of a given generator |
faudes::sDevice::Levels | Background: type def output values |
LiteratureRecord | |
faudes::LoggingExecutor | Executor with logging facilities |
faudes::Lr1Configuration | Lr1 Configuration |
faudes::Lr1Parser | Lr1Parser |
faudes::Lr1ParserAction | Lr1ParserAction |
faudes::Lr1ParserActionElement | Lr1ParserActionElement |
faudes::LuaFunction | A LuaFunction is a faudes-function that executes a luafaudes script |
faudes::LuaFunctionDefinition | A LuaFunctionDefinition is derived from FunctionDefinition to define a faudes-function by a Lua script |
faudes::LuaState | Wrapper class to maintain a Lua state |
faudes::MCtrlPattern | |
faudes::MergeAbstract | Abstract interface class for all kinds of items which can comprise a new state |
faudes::MergeStateAnnotation | Merge class which contains one state and a string annotation |
faudes::MergeStateEvent | Merge class which contains one state and one event |
faudes::MergeStates | Merge class which contains only states |
faudes::MergeStateSplit | Merge class which contains one state, one stack symbol and a string annotation |
faudes::MergeTransition | Merge class which contains one transition |
faudes::NameSet | Set of indices with symbolic names |
faudes::nDevice | An nDevice implements networked IO via a simple TCP/IP protocol |
faudes::adjlist::node | |
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::Nonterminal | Nonterminals are constructed from two states and a stack symbol or one state and a stack symbol |
faudes::ObjectCount | Debugging counter |
faudes::OPSState | |
faudes::OPState | |
PageRecord | |
faudes::ParallelExecutor | Synchronized parallel execution of TimedGenerators |
faudes::ParallelExecutor::ParallelTimedState | Typedef for parallel timed state, incl token io |
faudes::Parameter | Structure to model a parameter type within the Signature of a Function |
faudes::Partition | This struct implements a coset (=equivalence class) as needed for the computation of the coarsest quasi-congruence on an automaton |
faudes::ProductCompositionMap | Rti-wrapper for composition maps |
faudes::ProposingExecutor | Executer that proposes which transition to execute |
faudes::ReductionStateInfo | Data structure for identifying states in the same coset for supervisor reduction |
faudes::SampledDensityFunction | |
faudes::SccFilter | Filter for strictly connected components (SCC) search/compute routines |
faudes::sDevice | An sDevice implements signal based semantics for faudes events |
faudes::nDevice::ServerState | Background: state of a connection to an event server (shared) |
faudes::Signature | Signature of a Function |
faudes::SimConditionSet | Set of simulation named conditions |
faudes::SimEventAttribute | Attribute for an event in the context of simulation |
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::SNOState | |
faudes::StackSymbol | Deprecated, do not use! |
faudes::StackSymbolSet | Container class to model a set of stack symbols |
faudes::String | Elementary type |
faudes::swig_cast_info | |
faudes::swig_lua_userdata | |
faudes::swig_type_info | |
faudes::SymbolSet | Set of symbols |
faudes::SymbolTable | A SymbolTable associates sybolic names with indices |
faudes::TaBaseSet< T, Attr, Cmp > | Set with nontrivial attributes |
faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with specified attribute types |
faudes::TaIndexSet< Attr > | Set of indices with attributes |
faudes::TaNameSet< Attr > | Set of indices with symbolic names and attributes |
faudes::TaTransSet< Attr > | Set of Transitions with attributes |
faudes::TBaseSet< T, Cmp > | STL style set template |
faudes::TBaseVector< T > | Vector template |
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Compatibility: pre 2.20b used cEventSet as C++ class name |
faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Provides the structure and methods to build and handle diagnosers |
faudes::Terminal | Terminal |
faudes::TgotoGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator for parsing with goto tables |
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::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with I/O-constraint attributes |
faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with I/O-controller attributes |
faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with I/O-environment attributes |
faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with I/O-plant attributes |
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::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with I/O-system attributes |
faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | 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 |
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::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with push down extensions |
faudes::tpTime | Type to represent time |
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::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > | Generator with timing extensions |
faudes::TTransSet< Cmp > | Set of Transitions |
faudes::Type | Base class of all libFAUDES objects that participate in the run-time interface |
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::TypeRegistry | The TypeRegistry registers faudes-types |
faudes::vBaseVector | Vector bass class |
faudes::vDevice | Virtual base class to define the interface for event io |
faudes::VerifierState | |
faudes::vGenerator | Base class of all FAUDES generators |
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 |
faudes::xDevice | Container of devices |