| 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 |