libFAUDES

Sections

Index

Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
faudes::AttributeSignalActuator::ActionTypedef for a single actuator action
faudes::AttributeCFlagsAttribute class to model event controllability properties
faudes::AttributeColoredStateState attributes for multitasking automata
faudes::AttributeDeviceEventAttribute for the configuration of a sensor or actuator 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::AttributeSignalActuatorConfiguration of a signal based actuator mapping
faudes::AttributeSignalEventConfiguration of a signal based sensor or actuator
faudes::AttributeSignalSensorConfiguration of a signal based sensor mapping
faudes::AttributeSimConditionAttribute for a simulation condition
faudes::AttributeSimplenetActuatorConfiguration of a network actuator mapping
faudes::AttributeSimplenetEventConfiguration of a networked sensor or actuator
faudes::AttributeSimplenetSensorConfiguration of a network sensor mapping
faudes::AttributeTimedGlobalGlobat attribute with clockset
faudes::AttributeTimedStateState attribute with invariant
faudes::AttributeTimedTransTransition Attribute with guard and resets
faudes::AttributeVoidMinimal Attribute
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::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::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::sDevice::LevelsBackground: type def actuator values
faudes::LoggingExecutorExecutor with logging facilities
faudes::LuaFunctionA LuaFunction is a faudes-function that executes a luafaudes script
faudes::LuaFunctionDefinitionA LuaFunctionDefinition is derived from FaunctionDefinition to defines a faudes-function to be a luafaudes script
faudes::NameSetSet of indices with symbolic names
faudes::nDeviceAn nDevice implements networked IO via a simple tcp/ip protocol
faudes::ObjectCountDebugging counter
faudes::OPSState
faudes::OPState
faudes::ParallelExecutorSynchronized parallel execution of tGenerators
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::ProposingExecutorExecuter that proposes which transition to execute
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::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 >Generator with controllability attributes
faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >Provides the structure and methods to build and handle diagnosers
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::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::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::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::AttributeSignalSensor::TriggerTypedef for a single sensor 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.16b --- 2010-9-8 --- c++ source docu by doxygen 1.6.3