libFAUDES 2.23h

o*libFAUDES C++ API

o+Modules

o+Class List

|o*faudes::AttributeSignalOutput::Action

|o*faudes::adjlist

|o*faudes::AttributeCFlags

|o*faudes::AttributeColoredState

|o*faudes::AttributeDeviceEvent

|o*faudes::AttributeDiagnoserState

|o*faudes::AttributeFailureEvents

|o*faudes::AttributeFailureTypeMap

|o*faudes::AttributeFlags

|o*faudes::AttributeGotoState

|o*faudes::AttributeGotoTransition

|o*faudes::AttributeIosEvent

|o*faudes::AttributeIosState

|o*faudes::AttributePushdownGlobal

|o*faudes::AttributePushdownState

|o*faudes::AttributePushdownTransition

|o*faudes::AttributeSignalEvent

|o*faudes::AttributeSignalInput

|o*faudes::AttributeSignalOutput

|o*faudes::AttributeSimCondition

|o*faudes::AttributeSimplenetEvent

|o*faudes::AttributeSimplenetInput

|o*faudes::AttributeSimplenetOutput

|o*faudes::AttributeTimedGlobal

|o*faudes::AttributeTimedState

|o*faudes::AttributeTimedTrans

|o*faudes::Token::AttributeValue

|o*faudes::AttributeVoid

|o*faudes::AutoRegisterType< T >

|o*faudes::AutoRegisterXElementTag< T >

|o*faudes::Bisimulation

|o*faudes::Boolean

|o*faudes::nDevice::ClientState

|o*faudes::ClockSet

|o*faudes::ColorSet

|o*faudes::ConfigGsPairComparator

|o*faudes::ConfigSetComparator

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

|o*faudes::Grammar

|o*faudes::GrammarProduction

|o*faudes::GrammarSymbol

|o*faudes::graph_iterator_t< VLabel, ELabel >

|o*faudes::GsComparator

|o*faudes::GsVectorComparator

|o*faudes::HioEventFlags

|o*faudes::HioModule

|o*faudes::HioStateFlags

|o*faudes::IndexSet

|o*faudes::Integer

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

|o*faudes::LangK

|o*faudes::sDevice::Levels

|o*LiteratureRecord

|o*faudes::LoggingExecutor

|o*faudes::Lr1Configuration

|o*faudes::Lr1Parser

|o*faudes::Lr1ParserAction

|o*faudes::Lr1ParserActionElement

|o*faudes::LuaFunction

|o*faudes::LuaFunctionDefinition

|o*faudes::LuaState

|o*faudes::MCtrlPattern

|o*faudes::MergeAbstract

|o*faudes::MergeStateAnnotation

|o*faudes::MergeStateEvent

|o*faudes::MergeStates

|o*faudes::MergeStateSplit

|o*faudes::MergeTransition

|o*faudes::NameSet

|o*faudes::nDevice

|o*faudes::adjlist::node

|o*faudes::node_entry_t< VLabel, ELabel >

|o*faudes::node_iterator_t< VLabel, ELabel >

|o*faudes::Nonterminal

|o*faudes::ObjectCount

|o*faudes::OPSState

|o*faudes::OPState

|o*PageRecord

|o*faudes::ParallelExecutor

|o*faudes::ParallelExecutor::ParallelTimedState

|o*faudes::Parameter

|o*faudes::Partition

|o*faudes::ProductCompositionMap

|o*faudes::ProposingExecutor

|o*faudes::ReductionStateInfo

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

|o*faudes::StackSymbol

|o*faudes::StackSymbolSet

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

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

|o*faudes::TGraph< VLabel, ELabel >

|o*faudes::TGraph< Idx, Idx >

|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::TioGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

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

|o*faudes::TNode< VLabel, ELabel >

|o*faudes::Token

|o*faudes::TokenReader

|o*faudes::TokenWriter

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

|o*faudes::tpTime

|o*faudes::LoggingExecutor::TraceSample

|o*faudes::Transition

|o*faudes::TransSort

|o*faudes::AttributeSignalInput::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::AttributeSignalOutput::Action

|o*faudes::adjlist

|o*faudes::Token::AttributeValue

|o*faudes::AutoRegisterType< T >

|o*faudes::AutoRegisterXElementTag< T >

|o*faudes::Bisimulation

|o*faudes::nDevice::ClientState

|o*faudes::ConfigGsPairComparator

|o*faudes::ConfigSetComparator

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

|o*faudes::Grammar

|o*faudes::GrammarProduction

|o+faudes::GrammarSymbol

|o*faudes::graph_iterator_t< VLabel, ELabel >

|o*faudes::GsComparator

|o*faudes::GsVectorComparator

|o*faudes::HioModule

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

|o*faudes::LangK

|o*faudes::sDevice::Levels

|o*LiteratureRecord

|o*faudes::Lr1Configuration

|o*faudes::Lr1Parser

|o*faudes::Lr1ParserAction

|o*faudes::Lr1ParserActionElement

|o*faudes::LuaState

|o*faudes::MCtrlPattern

|o+faudes::MergeAbstract

|o*faudes::adjlist::node

|o*faudes::node_entry_t< VLabel, ELabel >

|o*faudes::node_iterator_t< VLabel, ELabel >

|o*faudes::ObjectCount

|o*faudes::OPSState

|o*faudes::OPState

|o*PageRecord

|o*faudes::Parameter

|o*faudes::Partition

|o*faudes::ReductionStateInfo

|o*faudes::SccFilter

|o*faudes::nDevice::ServerState

|o*faudes::SimEventCondition

|o*faudes::SimplenetAddress

|o*faudes::SimPriorityEventAttribute

|o*faudes::SimStateCondition

|o*faudes::SimStochasticEventAttribute

|o*faudes::SNOState

|o*faudes::StackSymbol

|o*faudes::swig_cast_info

|o*faudes::swig_lua_userdata

|o*faudes::swig_type_info

|o*faudes::TGraph< VLabel, ELabel >

|o*faudes::TGraph< Idx, Idx >

|o*faudes::TimeConstraint

|o*faudes::TimedEvent

|o*faudes::Executor::TimedState

|o*faudes::TimeInterval

|o*faudes::TNode< VLabel, ELabel >

|o*faudes::Token

|o*faudes::TokenReader

|o*faudes::TokenWriter

|o*faudes::tpTime

|o*faudes::LoggingExecutor::TraceSample

|o*faudes::Transition

|o*faudes::TransSort

|o*faudes::AttributeSignalInput::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::ProductCompositionMap

||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_determin.cpp

|o*cfl_determin.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_platform.cpp

|o*cfl_platform.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*con_1_simple.cpp

|o*con_2_simple.cpp

|o*con_cctrim.cpp

|o*con_cctrim.h

|o*con_closed.cpp

|o*con_closed.h

|o*con_controllability.cpp

|o*con_controllability.h

|o*con_decomposability.cpp

|o*con_decomposability.h

|o*con_decomposability_extension.cpp

|o*con_decomposability_extension.h

|o*con_include.h

|o*con_supcc.cpp

|o*con_supcc.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*flxinstall.cpp

|o*fts2ftx.cpp

|o*fts2ftx.h

|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_d3ripDART.cpp

|o*iop_d3ripDART.h

|o*iop_d3ripURT.cpp

|o*iop_d3ripURT.h

|o*iop_include.h

|o*iop_modbus.cpp

|o*iop_modbus.h

|o*iop_sdevice.cpp

|o*iop_sdevice.h

|o*iop_serial.cpp

|o*iop_serial.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*ios_1_system.cpp

|o*ios_2_synthesis.cpp

|o*ios_algorithms.cpp

|o*ios_algorithms.h

|o*ios_attributes.cpp

|o*ios_attributes.h

|o*ios_include.h

|o*ios_system.cpp

|o*ios_system.h

|o*lbp_1_extension.cpp

|o*lbp_completion.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*obs_1_simple.cpp

|o*obs_include.h

|o*obs_local_observation_consistency.cpp

|o*obs_local_observation_consistency.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*pd_alg_cc.cpp

|o*pd_alg_cc.h

|o*pd_alg_cc_test.cpp

|o*pd_alg_cc_test.h

|o*pd_alg_first.cpp

|o*pd_alg_first.h

|o*pd_alg_first_test.cpp

|o*pd_alg_first_test.h

|o*pd_alg_lrm.cpp

|o*pd_alg_lrm.h

|o*pd_alg_lrm_test.cpp

|o*pd_alg_lrm_test.h

|o*pd_alg_lrp.cpp

|o*pd_alg_lrp.h

|o*pd_alg_lrp_test.cpp

|o*pd_alg_lrp_test.h

|o*pd_alg_nb_sub_a.cpp

|o*pd_alg_nb_sub_a.h

|o*pd_alg_nb_sub_a_test.cpp

|o*pd_alg_nb_sub_a_test.h

|o*pd_alg_nb_sub_b.cpp

|o*pd_alg_nb_sub_b.h

|o*pd_alg_nb_sub_b_test.cpp

|o*pd_alg_nb_sub_b_test.h

|o*pd_alg_opt.cpp

|o*pd_alg_opt.h

|o*pd_alg_opt_test.cpp

|o*pd_alg_opt_test.h

|o*pd_algo_test.cpp

|o*pd_attributes.cpp

|o*pd_attributes.h

|o*pd_basics.cpp

|o*pd_basics.h

|o*pd_counterexample_griffin.cpp

|o*pd_example_WODES14_nonblock.cpp

|o*pd_gotoattributes.cpp

|o*pd_gotoattributes.h

|o*pd_gotogenerator.cpp

|o*pd_gotogenerator.h

|o*pd_grammar.cpp

|o*pd_grammar.h

|o*pd_include.h

|o*pd_lang_k.cpp

|o*pd_lang_k.h

|o*pd_merge.cpp

|o*pd_merge.h

|o*pd_parser.cpp

|o*pd_parser.h

|o*pd_pdgenerator.cpp

|o*pd_pdgenerator.h

|o*pd_test.cpp

|o*pd_test.h

|o*pd_test_util.cpp

|o*pd_test_util.h

|o*pd_tutorial.cpp

|o*ref2html.cpp

|o*rti2code.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_3_reduction.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_supreduce.cpp

|o*syn_supreduce.h

|o*syn_tsupcon.cpp

|o*syn_tsupcon.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