libFAUDES 2.16b

o*libFAUDES C++ API

o+Modules

o+Class List

|o*faudes::AttributeSignalActuator::Action

|o*faudes::AttributeCFlags

|o*faudes::AttributeColoredState

|o*faudes::AttributeDeviceEvent

|o*faudes::AttributeDiagnoserState

|o*faudes::AttributeFailureEvents

|o*faudes::AttributeFailureTypeMap

|o*faudes::AttributeFlags

|o*faudes::AttributeSignalActuator

|o*faudes::AttributeSignalEvent

|o*faudes::AttributeSignalSensor

|o*faudes::AttributeSimCondition

|o*faudes::AttributeSimplenetActuator

|o*faudes::AttributeSimplenetEvent

|o*faudes::AttributeSimplenetSensor

|o*faudes::AttributeTimedGlobal

|o*faudes::AttributeTimedState

|o*faudes::AttributeTimedTrans

|o*faudes::AttributeVoid

|o*faudes::Bisimulation

|o*faudes::Boolean

|o*faudes::nDevice::ClientState

|o*faudes::ClockSet

|o*faudes::ColorSet

|o*faudes::ConsoleOut

|o*faudes::SampledDensityFunction::CountEntry

|o*faudes::CoVerifierState

|o*faudes::DeviceExecutor

|o*faudes::DiagLabelSet

|o*faudes::DiscreteDensityFunction

|o*faudes::Documentation

|o*faudes::sDevice::Edges

|o*faudes::ElemConstraint

|o*faudes::vBaseVector::ElementRecord

|o*faudes::DiscreteDensityFunction::Entry

|o*faudes::EventRelabelMap

|o*faudes::TransSort::EvX1X2

|o*faudes::TransSort::EvX2X1

|o*faudes::Exception

|o*faudes::Executor

|o*faudes::Function

|o*faudes::FunctionDefinition

|o*faudes::FunctionRegistry

|o*faudes::HioEventFlags

|o*faudes::HioModule

|o*faudes::HioStateFlags

|o*faudes::IndexSet

|o*faudes::Integer

|o*faudes::TBaseSet< T, Cmp >::Iterator

|o*faudes::sDevice::Levels

|o*faudes::LoggingExecutor

|o*faudes::LuaFunction

|o*faudes::LuaFunctionDefinition

|o*faudes::NameSet

|o*faudes::nDevice

|o*faudes::ObjectCount

|o*faudes::OPSState

|o*faudes::OPState

|o*faudes::ParallelExecutor

|o*faudes::ParallelExecutor::ParallelTimedState

|o*faudes::Parameter

|o*faudes::Partition

|o*faudes::ProposingExecutor

|o*faudes::SampledDensityFunction

|o*faudes::SccFilter

|o*faudes::sDevice

|o*faudes::nDevice::ServerState

|o*faudes::Signature

|o*faudes::SimConditionSet

|o*faudes::SimEventAttribute

|o*faudes::SimEventCondition

|o*faudes::SimplenetAddress

|o*faudes::SimPriorityEventAttribute

|o*faudes::SimStateCondition

|o*faudes::SimStochasticEventAttribute

|o*faudes::String

|o*faudes::swig_cast_info

|o*faudes::swig_lua_userdata

|o*faudes::swig_type_info

|o*faudes::SymbolSet

|o*faudes::SymbolTable

|o*faudes::TaBaseSet< T, Attr, Cmp >

|o*faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::TaIndexSet< Attr >

|o*faudes::TaNameSet< Attr >

|o*faudes::TaTransSet< Attr >

|o*faudes::TBaseSet< T, Cmp >

|o*faudes::TBaseVector< T >

|o*faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::THioConstraint< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::THioController< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::THioEnvironment< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::THioPlant< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::TimeConstraint

|o*faudes::TimedEvent

|o*faudes::Executor::TimedState

|o*faudes::TimeInterval

|o*faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::Token

|o*faudes::TokenReader

|o*faudes::TokenWriter

|o*faudes::tpTime

|o*faudes::LoggingExecutor::TraceSample

|o*faudes::Transition

|o*faudes::TransSort

|o*faudes::AttributeSignalSensor::Trigger

|o*faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

|o*faudes::TTransSet< Cmp >

|o*faudes::Type

|o*faudes::TypeDefinition

|o*faudes::TypeRegistry

|o*faudes::vBaseVector

|o*faudes::vDevice

|o*faudes::VerifierState

|o*faudes::vGenerator

|o*faudes::TransSort::X1EvX2

|o*faudes::TransSort::X1X2Ev

|o*faudes::TransSort::X2EvX1

|o*faudes::TransSort::X2X1Ev

|\*faudes::xDevice

o+Class Hierarchy

|o*faudes::AttributeSignalActuator::Action

|o*faudes::Bisimulation

|o*faudes::nDevice::ClientState

|o*faudes::ConsoleOut

|o*faudes::SampledDensityFunction::CountEntry

|o*faudes::CoVerifierState

|o+faudes::DiscreteDensityFunction

|o*faudes::sDevice::Edges

|o*faudes::ElemConstraint

|o*faudes::vBaseVector::ElementRecord

|o*faudes::DiscreteDensityFunction::Entry

|o*faudes::TransSort::EvX1X2

|o*faudes::TransSort::EvX2X1

|o*faudes::Exception

|o*faudes::HioModule

|o*faudes::TBaseSet< T, Cmp >::Iterator

|o*faudes::sDevice::Levels

|o*faudes::ObjectCount

|o*faudes::OPSState

|o*faudes::OPState

|o*faudes::Parameter

|o*faudes::Partition

|o*faudes::SccFilter

|o*faudes::nDevice::ServerState

|o*faudes::SimEventCondition

|o*faudes::SimplenetAddress

|o*faudes::SimPriorityEventAttribute

|o*faudes::SimStateCondition

|o*faudes::SimStochasticEventAttribute

|o*faudes::swig_cast_info

|o*faudes::swig_lua_userdata

|o*faudes::swig_type_info

|o*faudes::TimeConstraint

|o*faudes::TimedEvent

|o*faudes::Executor::TimedState

|o*faudes::TimeInterval

|o*faudes::Token

|o*faudes::TokenReader

|o*faudes::TokenWriter

|o*faudes::tpTime

|o*faudes::LoggingExecutor::TraceSample

|o*faudes::Transition

|o*faudes::TransSort

|o*faudes::AttributeSignalSensor::Trigger

|o+faudes::Type

||o+faudes::AttributeVoid

||o*faudes::Boolean

||o+faudes::Documentation

||o*faudes::EventRelabelMap

||o+faudes::Function

||o*faudes::FunctionRegistry

||o*faudes::Integer

||o+faudes::ParallelExecutor

||o*faudes::ParallelExecutor::ParallelTimedState

||o*faudes::Signature

||o*faudes::String

||o*faudes::SymbolTable

||o+faudes::TBaseSet< T, Cmp >

||o*faudes::TypeRegistry

||o+faudes::vBaseVector

||o+faudes::vDevice

||o+faudes::vGenerator

||o+faudes::TBaseSet< Idx >

||o+faudes::TBaseSet< std::string >

||o+faudes::TBaseSet< Transition, Cmp >

||\*faudes::TBaseSet< Transition, TransSort::X1EvX2 >

|o*faudes::VerifierState

|o*faudes::TransSort::X1EvX2

|o*faudes::TransSort::X1X2Ev

|o*faudes::TransSort::X2EvX1

|\*faudes::TransSort::X2X1Ev

o*Class Members

o+Namespace List

o*Namespace Members

o+File List

|o*1_generator.cpp

|o*2_containers.cpp

|o*3_functions.cpp

|o*4_cgenerator.cpp

|o*5_attributes.cpp

|o*6_algorithm.cpp

|o*7_interface.cpp

|o*cfl_abaseset.cpp

|o*cfl_abaseset.h

|o*cfl_agenerator.cpp

|o*cfl_agenerator.h

|o*cfl_attributes.cpp

|o*cfl_attributes.h

|o*cfl_baseset.cpp

|o*cfl_baseset.h

|o*cfl_basevector.cpp

|o*cfl_basevector.h

|o*cfl_cgenerator.cpp

|o*cfl_cgenerator.h

|o*cfl_definitions.h

|o*cfl_elementary.cpp

|o*cfl_elementary.h

|o*cfl_exception.cpp

|o*cfl_exception.h

|o*cfl_functions.cpp

|o*cfl_functions.h

|o*cfl_generator.cpp

|o*cfl_generator.h

|o*cfl_graphfncts.cpp

|o*cfl_graphfncts.h

|o*cfl_helper.cpp

|o*cfl_helper.h

|o*cfl_indexset.cpp

|o*cfl_indexset.h

|o*cfl_localgen.cpp

|o*cfl_localgen.h

|o*cfl_nameset.cpp

|o*cfl_nameset.h

|o*cfl_omega.cpp

|o*cfl_omega.h

|o*cfl_parallel.cpp

|o*cfl_parallel.h

|o*cfl_project.cpp

|o*cfl_project.h

|o*cfl_registry.cpp

|o*cfl_registry.h

|o*cfl_regular.cpp

|o*cfl_regular.h

|o*cfl_statemin.cpp

|o*cfl_statemin.h

|o*cfl_symbolset.cpp

|o*cfl_symbolset.h

|o*cfl_symboltable.cpp

|o*cfl_symboltable.h

|o*cfl_token.cpp

|o*cfl_token.h

|o*cfl_tokenreader.cpp

|o*cfl_tokenreader.h

|o*cfl_tokenwriter.cpp

|o*cfl_tokenwriter.h

|o*cfl_transset.cpp

|o*cfl_transset.h

|o*cfl_types.cpp

|o*cfl_types.h

|o*cfl_winextra.h

|o*corefaudes.h

|o*diag2dot.cpp

|o*diag_1_eventdiagnosis.cpp

|o*diag_2_languagediagnosis.cpp

|o*diag_3_modulardiagnosis.cpp

|o*diag_4_decentralizeddiagnosis.cpp

|o*diag_attrdiagstate.cpp

|o*diag_attrdiagstate.h

|o*diag_attrfailureevents.cpp

|o*diag_attrfailureevents.h

|o*diag_attrfailuretypes.cpp

|o*diag_attrfailuretypes.h

|o*diag_attrlabelset.cpp

|o*diag_attrlabelset.h

|o*diag_debug.h

|o*diag_decentralizeddiagnosis.cpp

|o*diag_decentralizeddiagnosis.h

|o*diag_eventdiagnosis.cpp

|o*diag_eventdiagnosis.h

|o*diag_generator.cpp

|o*diag_generator.h

|o*diag_include.h

|o*diag_languagediagnosis.cpp

|o*diag_languagediagnosis.h

|o*diag_modulardiagnosis.cpp

|o*diag_modulardiagnosis.h

|o*exefaudes.cpp

|o*gen2dot.cpp

|o*gen2dot.h

|o*hio_1_introduction.cpp

|o*hio_2_hiogenerators.cpp

|o*hio_3_hiofunctions.cpp

|o*hio_4_transport_unit.cpp

|o*hio_5_conveyor_belts.cpp

|o*hio_attributes.cpp

|o*hio_attributes.h

|o*hio_constraint.cpp

|o*hio_constraint.h

|o*hio_controller.cpp

|o*hio_controller.h

|o*hio_environment.cpp

|o*hio_environment.h

|o*hio_functions.cpp

|o*hio_functions.h

|o*hio_helper.cpp

|o*hio_helper.h

|o*hio_include.h

|o*hio_module.cpp

|o*hio_module.h

|o*hio_plant.cpp

|o*hio_plant.h

|o*iobridge.cpp

|o*iomonitor.cpp

|o*iop_comedi.cpp

|o*iop_comedi.h

|o*iop_include.h

|o*iop_sdevice.cpp

|o*iop_sdevice.h

|o*iop_simplenet.cpp

|o*iop_simplenet.h

|o*iop_vdevice.cpp

|o*iop_vdevice.h

|o*iop_wago.cpp

|o*iop_wago.h

|o*iop_xdevice.cpp

|o*iop_xdevice.h

|o*lbp_1_extension.cpp

|o*lbp_function.cpp

|o*lbp_function.h

|o*lbp_include.h

|o*libfaudes.h

|o*libluafaudes.h

|o*luafaudes.cpp

|o*mtc2dot.cpp

|o*mtc_attributes.cpp

|o*mtc_attributes.h

|o*mtc_colorset.cpp

|o*mtc_colorset.h

|o*mtc_generator.cpp

|o*mtc_generator.h

|o*mtc_include.h

|o*mtc_observercomputation.cpp

|o*mtc_observercomputation.h

|o*mtc_obserververification.cpp

|o*mtc_obserververification.h

|o*mtc_parallel.cpp

|o*mtc_parallel.h

|o*mtc_project.cpp

|o*mtc_project.h

|o*mtc_redundantcolors.cpp

|o*mtc_redundantcolors.h

|o*mtc_statemin.cpp

|o*mtc_statemin.h

|o*mtc_supcon.cpp

|o*mtc_supcon.h

|o*op_bisimulation.cpp

|o*op_bisimulation.h

|o*op_debug.h

|o*op_ex_bisim.cpp

|o*op_ex_mc.cpp

|o*op_ex_synthesis.cpp

|o*op_ex_verification.cpp

|o*op_include.h

|o*op_mc.cpp

|o*op_mc.h

|o*op_observercomputation.cpp

|o*op_observercomputation.h

|o*op_obserververification.cpp

|o*op_obserververification.h

|o*op_partition.cpp

|o*op_partition.h

|o*pex_altaccess.cpp

|o*pex_altaccess.h

|o*pex_include.h

|o*pex_tutorial.cpp

|o*rti2code.cpp

|o*rti2html.cpp

|o*simfaudes.cpp

|o*sp_densityfnct.cpp

|o*sp_densityfnct.h

|o*sp_dplpexecutor.cpp

|o*sp_dplpexecutor.h

|o*sp_executor.cpp

|o*sp_executor.h

|o*sp_include.h

|o*sp_lpexecutor.cpp

|o*sp_lpexecutor.h

|o*sp_pexecutor.cpp

|o*sp_pexecutor.h

|o*sp_plpexecutor.cpp

|o*sp_plpexecutor.h

|o*sp_random.cpp

|o*sp_random.h

|o*sp_simconditionset.cpp

|o*sp_simconditionset.h

|o*sp_simeventset.cpp

|o*sp_simeventset.h

|o*syn_1_simple.cpp

|o*syn_2_omega.cpp

|o*syn_functions.cpp

|o*syn_functions.h

|o*syn_include.h

|o*syn_supcon.cpp

|o*syn_supcon.h

|o*syn_supnorm.cpp

|o*syn_supnorm.h

|o*syn_wsupcon.cpp

|o*syn_wsupcon.h

|o*tp_1_tgenerator.cpp

|o*tp_2_constraints.cpp

|o*tp_3_parallel.cpp

|o*tp_attributes.cpp

|o*tp_attributes.h

|o*tp_include.h

|o*tp_tgenerator.cpp

|o*tp_tgenerator.h

|o*tp_timeconstraint.cpp

|o*tp_timeconstraint.h

|o*tp_timeinterval.cpp

|o*tp_timeinterval.h

|o*tp_tparallel.cpp

|\*tp_tparallel.h

\*File Members