Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
faudes::AttributeSignalOutput::ActionTypedef for a single output action
faudes::adjlist
faudes::AttributeCFlagsAttribute class to model event controllability properties
faudes::AttributeColoredStateState attributes for multitasking automata
faudes::AttributeDeviceEventAttribute for the configuration of a input or output mapping
faudes::AttributeDiagnoserStateImplements state estimates for the current status of the generator
faudes::AttributeFailureEventsStores the failure and indicator events for a particular failure type
faudes::AttributeFailureTypeMapPartitions the failure and indicator events
faudes::AttributeFlagsBoolean flags Attribute
faudes::AttributeGotoStateState attribute with configuration set
faudes::AttributeGotoTransitionEvent attribute with grammar symbols
faudes::AttributeIosEventAttributes for events in DES with in- and outputs
faudes::AttributeIosStateAttributes for states in DESs with in- and outputs
faudes::AttributePushdownGlobalGlobal attribute with stack alphabet and stack bottom
faudes::AttributePushdownStateState attribute with substates
faudes::AttributePushdownTransition
faudes::AttributeSignalEventConfiguration of a signal based input or output
faudes::AttributeSignalInputConfiguration of a signal based input mapping
faudes::AttributeSignalOutputConfiguration of a signal based output mapping
faudes::AttributeSimConditionAttribute for a simulation condition
faudes::AttributeSimplenetEventConfiguration of a networked input or output
faudes::AttributeSimplenetInputConfiguration of a network input mapping
faudes::AttributeSimplenetOutputConfiguration of a network output mapping
faudes::AttributeTimedGlobalGlobat attribute with clockset
faudes::AttributeTimedStateState attribute with invariant
faudes::AttributeTimedTransTransition Attribute with guard and resets
faudes::Token::AttributeValueAttribute value
faudes::AttributeVoidMinimal Attribute
faudes::AutoRegisterType< T >Auto register faudes-type with specified type name
faudes::AutoRegisterXElementTag< T >
faudes::BisimulationThis class implements the algorithms needed for the computation of the coarsest quasi-congruence (=Bisimulation) of a given generator
faudes::BooleanElementary type
faudes::nDevice::ClientStateBackground: state of a connection to a client (shared)
faudes::ClockSetContainer class to model a set of clocks
faudes::ColorSetContainer for colors: this is a NameSet with its own static symboltable
faudes::ConfigGsPairComparator
faudes::ConfigSetComparator
faudes::ConsoleOutConsole Out
faudes::SampledDensityFunction::CountEntry
faudes::CoVerifierState
faudes::DeviceExecutorExecuter with IO device to handle external/physical events
faudes::DiagLabelSetImplements the label representation for state estimates
faudes::DiscreteDensityFunctionDensity Function
faudes::DocumentationFaudes type implementation macros, overall, debug version
faudes::sDevice::EdgesBackground: type def for edge detection
faudes::ElemConstraintModel of an elementary clock constraint formula
faudes::vBaseVector::ElementRecordInternal entry data type
faudes::DiscreteDensityFunction::Entry
faudes::EventRelabelMapRti convenience wrapper for relabeling maps
faudes::TransSort::EvX1X2Binary predicate for sorting transitions in order Ev, X1, X2
faudes::TransSort::EvX2X1Binary predicate for sorting transitions in order Ev, X2, X1
faudes::ExceptionFaudes exception class
faudes::ExecutorAn Executor is a timed generator that maintains a current state
faudes::FunctionA faudes-function hosts parameter values of some faudes type and provides a method to perform an operation on the specified paramters, e.g
faudes::FunctionDefinitionA FunctionDefinition defines the interface to a faudes-function
faudes::FunctionRegistryThe FunctionRegistry registers faudes-functions
faudes::GotoMachineSimple generator for parsing with goto tables
faudes::GrammarGrammar
faudes::GrammarProductionGrammar Production
faudes::GrammarSymbolGrammar 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::HioEventFlagsEvent attributes for hierarchical discrete event systems with inputs and outputs
faudes::HioModuleRecurring structure in hierarchies designed according to the I/O based DES framework
faudes::HioStateFlagsState attributes for hierarchical discrete event systems with inputs and outputs
faudes::IndexSetSet of indices
faudes::IntegerElementary type
faudes::TBaseSet< T, Cmp >::IteratorIterator class for high-level api to TBaseSet
faudes::LangKThis class is used to find all words that can be found when traversing a maximum of k transitions of a given generator
faudes::sDevice::LevelsBackground: type def output values
LiteratureRecord
faudes::LoggingExecutorExecutor with logging facilities
faudes::Lr1ConfigurationLr1 Configuration
faudes::Lr1ParserLr1Parser
faudes::Lr1ParserActionLr1ParserAction
faudes::Lr1ParserActionElementLr1ParserActionElement
faudes::LuaFunctionA LuaFunction is a faudes-function that executes a luafaudes script
faudes::LuaFunctionDefinitionA LuaFunctionDefinition is derived from FunctionDefinition to define a faudes-function by a Lua script
faudes::LuaStateWrapper class to maintain a Lua state
faudes::MCtrlPattern
faudes::MergeAbstractAbstract interface class for all kinds of items which can comprise a new state
faudes::MergeStateAnnotationMerge class which contains one state and a string annotation
faudes::MergeStateEventMerge class which contains one state and one event
faudes::MergeStatesMerge class which contains only states
faudes::MergeStateSplitMerge class which contains one state, one stack symbol and a string annotation
faudes::MergeTransitionMerge class which contains one transition
faudes::NameSetSet of indices with symbolic names
faudes::nDeviceAn 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::NonterminalNonterminals are constructed from two states and a stack symbol or one state and a stack symbol
faudes::ObjectCountDebugging counter
faudes::OPSState
faudes::OPState
PageRecord
faudes::ParallelExecutorSynchronized parallel execution of TimedGenerators
faudes::ParallelExecutor::ParallelTimedStateTypedef for parallel timed state, incl token io
faudes::ParameterStructure to model a parameter type within the Signature of a Function
faudes::PartitionThis struct implements a coset (=equivalence class) as needed for the computation of the coarsest quasi-congruence on an automaton
faudes::ProductCompositionMapRti-wrapper for composition maps
faudes::ProposingExecutorExecuter that proposes which transition to execute
faudes::ReductionStateInfoData structure for identifying states in the same coset for supervisor reduction
faudes::SampledDensityFunction
faudes::SccFilterFilter for strictly connected components (SCC) search/compute routines
faudes::sDeviceAn sDevice implements signal based semantics for faudes events
faudes::nDevice::ServerStateBackground: state of a connection to an event server (shared)
faudes::SignatureSignature of a Function
faudes::SimConditionSetSet of simulation named conditions
faudes::SimEventAttributeAttribute for an event in the context of simulation
faudes::SimEventConditionDefining data of event based simulation condition
faudes::SimplenetAddressSimplenet node address
faudes::SimPriorityEventAttributeDefining data to prioritise events
faudes::SimStateConditionDefining data of state based simulation condition
faudes::SimStochasticEventAttributeDefining data of stochastic behaviour
faudes::SNOState
faudes::StackSymbolDeprecated, do not use!
faudes::StackSymbolSetContainer class to model a set of stack symbols
faudes::StringElementary type
faudes::swig_cast_info
faudes::swig_lua_userdata
faudes::swig_type_info
faudes::SymbolSetSet of symbols
faudes::SymbolTableA 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::TerminalTerminal
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::TimeConstraintA TimeConstraint is a set of elementary clock constraints
faudes::TimedEventGlobal Tyoedefs
faudes::Executor::TimedStateTypedef for timed state
faudes::TimeIntervalModel 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::TokenTokens model atomic data for stream IO
faudes::TokenReaderA TokenReader reads sequential tokens from a file or string
faudes::TokenWriterA TokenWriter writes sequential tokens to a file, a string or stdout
faudes::TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >Generator with push down extensions
faudes::tpTimeType to represent time
faudes::LoggingExecutor::TraceSampleBuffer data entry
faudes::TransitionTriple (X1,Ev,X2) to represent current state, event and next state
faudes::TransSortAlternative ordering of Transitions
faudes::AttributeSignalInput::TriggerTypedef for a single input trigger
faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >Generator with timing extensions
faudes::TTransSet< Cmp >Set of Transitions
faudes::TypeBase class of all libFAUDES objects that participate in the run-time interface
faudes::TypeDefinitionA 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::TypeRegistryThe TypeRegistry registers faudes-types
faudes::vBaseVectorVector bass class
faudes::vDeviceVirtual base class to define the interface for event io
faudes::VerifierState
faudes::vGeneratorBase class of all FAUDES generators
faudes::TransSort::X1EvX2Binary predicate for sorting transitions in order X1, Ev, X2
faudes::TransSort::X1X2EvBinary predicate for sorting transitions in order X1, X2, Ev
faudes::TransSort::X2EvX1Binary predicate for sorting transitions in order X2, Ev, X1
faudes::TransSort::X2X1EvBinary predicate for sorting transitions in order X2, X1, Ev
faudes::xDeviceContainer of devices

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen