libFAUDES 2.14g

o*libFAUDES C++ API

o+Modules

o+Class List

|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::AttributeSignalActuator::Action

|o*faudes::AttributeSignalEvent

|o*faudes::AttributeSignalSensor

|o*faudes::AttributeSignalSensor::Trigger

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

|o*faudes::ClockSet

|o*faudes::ColorSet

|o*faudes::CoVerifierState

|o*faudes::DeviceExecutor

|o*faudes::DiagLabelSet

|o*faudes::DiscreteDensityFunction

|o*faudes::DiscreteDensityFunction::Entry

|o*faudes::Documentation

|o*faudes::ElemConstraint

|o*faudes::EventRelabelMap

|o*faudes::Exception

|o*faudes::Executor

|o*faudes::Executor::TimedState

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

|o*faudes::LoggingExecutor::TraceSample

|o*faudes::NameSet

|o*faudes::nDevice

|o*faudes::nDevice::ClientState

|o*faudes::nDevice::ServerState

|o*faudes::ObjectCount

|o*faudes::OPState

|o*faudes::ParallelExecutor

|o*faudes::ParallelExecutor::ParallelTimedState

|o*faudes::Parameter

|o*faudes::Partition

|o*faudes::ProposingExecutor

|o*faudes::SampledDensityFunction

|o*faudes::SampledDensityFunction::CountEntry

|o*faudes::SccFilter

|o*faudes::sDevice

|o*faudes::sDevice::Edges

|o*faudes::Signature

|o*faudes::SimConditionAttribute

|o*faudes::SimConditionSet

|o*faudes::SimEventAttribute

|o*faudes::SimEventConditionAttribute

|o*faudes::SimplenetAddress

|o*faudes::SimPriorityEventAttribute

|o*faudes::SimStateConditionAttribute

|o*faudes::SimStochasticEventAttribute

|o*faudes::String

|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::TBaseSet< T, Cmp >::Iterator

|o*faudes::TBaseVector< T >

|o*faudes::TBaseVector< T >::Element

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

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

|o*faudes::TNestedFunction< FTYPE, CFNCT >

|o*faudes::Token

|o*faudes::TokenReader

|o*faudes::TokenWriter

|o*faudes::tpTime

|o*faudes::Transition

|o*faudes::TransSort

|o*faudes::TransSort::EvX1X2

|o*faudes::TransSort::EvX2X1

|o*faudes::TransSort::X1EvX2

|o*faudes::TransSort::X1X2Ev

|o*faudes::TransSort::X2EvX1

|o*faudes::TransSort::X2X1Ev

|o*faudes::TSimpleFunction1< FTYPE0, CFNCT >

|o*faudes::TSimpleFunction2< FTYPE0, FTYPE1, CFNCT >

|o*faudes::TSimpleFunction3< FTYPE0, FTYPE1, FTYPE2, CFNCT >

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

|o*faudes::TTransSet< Cmp >

|o*faudes::Type

|o*faudes::TypeDefinition

|o*faudes::TypeRegistry

|o*faudes::vDevice

|o*faudes::VerifierState

|o*faudes::vGenerator

|\*faudes::xDevice

o+Class Hierarchy

|o*faudes::AttributeSignalActuator::Action

|o*faudes::AttributeSignalSensor::Trigger

|o*faudes::Bisimulation

|o*faudes::CoVerifierState

|o+faudes::DiscreteDensityFunction

|o*faudes::DiscreteDensityFunction::Entry

|o*faudes::ElemConstraint

|o*faudes::Exception

|o*faudes::Executor::TimedState

|o*faudes::HioModule

|o*faudes::LoggingExecutor::TraceSample

|o*faudes::nDevice::ClientState

|o*faudes::nDevice::ServerState

|o*faudes::ObjectCount

|o*faudes::OPState

|o*faudes::Parameter

|o*faudes::Partition

|o*faudes::SampledDensityFunction::CountEntry

|o*faudes::SccFilter

|o*faudes::sDevice::Edges

|o*faudes::SimEventConditionAttribute

|o*faudes::SimplenetAddress

|o*faudes::SimPriorityEventAttribute

|o*faudes::SimStateConditionAttribute

|o*faudes::SimStochasticEventAttribute

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

|o*faudes::TBaseVector< T >::Element

|o*faudes::TimeConstraint

|o*faudes::TimedEvent

|o*faudes::TimeInterval

|o*faudes::Token

|o*faudes::TokenReader

|o*faudes::TokenWriter

|o*faudes::tpTime

|o*faudes::Transition

|o*faudes::TransSort

|o*faudes::TransSort::EvX1X2

|o*faudes::TransSort::EvX2X1

|o*faudes::TransSort::X1EvX2

|o*faudes::TransSort::X1X2Ev

|o*faudes::TransSort::X2EvX1

|o*faudes::TransSort::X2X1Ev

|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::TBaseVector< T >

||o*faudes::TypeRegistry

||o+faudes::vDevice

||o+faudes::vGenerator

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

||o*faudes::TBaseSet< long unsigned int >

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

|\*faudes::VerifierState

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*abaseset.cpp

|o*abaseset.h

|o*agenerator.cpp

|o*agenerator.h

|o*attributes.cpp

|o*attributes.h

|o*baseset.cpp

|o*baseset.h

|o*basevector.cpp

|o*basevector.h

|o*cgenerator.cpp

|o*cgenerator.h

|o*corefaudes.h

|o*definitions.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*exception.cpp

|o*exception.h

|o*exefaudes.cpp

|o*gen2dot.cpp

|o*gen2dot.h

|o*graphfncts.cpp

|o*graphfncts.h

|o*helper.cpp

|o*helper.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*indexset.cpp

|o*indexset.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_xdevice.cpp

|o*iop_xdevice.h

|o*lbp_include.h

|o*libfaudes.h

|o*libluafaudes.h

|o*localgen.cpp

|o*localgen.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*nameset.cpp

|o*nameset.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*parallel.cpp

|o*parallel.h

|o*pex_altaccess.cpp

|o*pex_altaccess.h

|o*pex_include.h

|o*pex_tutorial.cpp

|o*project.cpp

|o*project.h

|o*regular.cpp

|o*regular.h

|o*rti2code.cpp

|o*rti2html.cpp

|o*rtifncts.cpp

|o*rtifncts.h

|o*rtiregistry.cpp

|o*rtiregistry.h

|o*rtitypes.cpp

|o*rtitypes.h

|o*rtiwrapper.cpp

|o*rtiwrapper.h

|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*statemin.cpp

|o*statemin.h

|o*symbolset.cpp

|o*symbolset.h

|o*symboltable.cpp

|o*symboltable.h

|o*syn_1_simple.cpp

|o*syn_include.h

|o*syn_supcon.cpp

|o*syn_supcon.h

|o*syn_supnorm.cpp

|o*syn_supnorm.h

|o*token.cpp

|o*token.h

|o*tokenreader.cpp

|o*tokenreader.h

|o*tokenwriter.cpp

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

|o*tp_tparallel.h

|o*transset.cpp

|o*transset.h

|o*vgenerator.cpp

|o*vgenerator.h

|\*winextra.h

\*File Members