FG DES
libFAUDES
DESTool
LRT >>
EEI >>
About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES
C++ API
Sections
Sets
Generators
Functions
PlugIns
Tutorials
Index
Classes
Files
File List
Here is a list of all files with brief descriptions:
1_generator.cpp
2_containers.cpp
3_functions.cpp
4_cgenerator.cpp
5_attributes.cpp
6_algorithm.cpp
7_interface.cpp
cfl_agenerator.cpp
cfl_agenerator.h
cfl_attributes.cpp
cfl_attributes.h
cfl_attrmap.cpp
cfl_attrmap.h
Class TAttrMap
cfl_baseset.cpp
cfl_baseset.h
Class TBaseSet
cfl_basevector.cpp
cfl_basevector.h
Class TBaseVector
cfl_bisimcta.cpp
cfl_bisimcta.h
cfl_bisimulation.cpp
cfl_bisimulation.h
cfl_cgenerator.cpp
cfl_cgenerator.h
cfl_conflequiv.cpp
cfl_conflequiv.h
cfl_definitions.h
cfl_determin.cpp
cfl_determin.h
cfl_elementary.cpp
cfl_elementary.h
cfl_exception.cpp
cfl_exception.h
cfl_functions.cpp
cfl_functions.h
cfl_generator.cpp
cfl_generator.h
cfl_graphfncts.cpp
cfl_graphfncts.h
cfl_indexset.cpp
Classes IndexSet
cfl_indexset.h
Classes IndexSet, TaIndexSet
cfl_localgen.cpp
cfl_localgen.h
cfl_nameset.cpp
Classes NameSet
cfl_nameset.h
Classes NameSet, TaNameSet
cfl_omega.cpp
cfl_omega.h
cfl_parallel.cpp
cfl_parallel.h
cfl_platform.cpp
cfl_platform.h
cfl_project.cpp
cfl_project.h
cfl_registry.cpp
cfl_registry.h
cfl_regular.cpp
cfl_regular.h
cfl_statemin.cpp
cfl_statemin.h
cfl_symbolset.cpp
Class SymbolSet
cfl_symbolset.h
Class SymbolSet, TaSymbolSet
cfl_symboltable.cpp
Class SymbolTable
cfl_symboltable.h
Class SymbolTable
cfl_token.cpp
Class Token
cfl_token.h
Class Token
cfl_tokenreader.cpp
Class TokenReader
cfl_tokenreader.h
Class TokenReader
cfl_tokenwriter.cpp
Class TokenWriter
cfl_tokenwriter.h
Class TokenWriter
cfl_transset.cpp
cfl_transset.h
Classes Transition, TTransSet and TaTransSet
cfl_types.cpp
cfl_types.h
cfl_utils.cpp
cfl_utils.h
con_1_simple.cpp
con_2_simple.cpp
con_cctrim.cpp
con_cctrim.h
con_closed.cpp
con_closed.h
con_controllability.cpp
con_controllability.h
con_decomposability.cpp
con_decomposability.h
con_decomposability_extension.cpp
con_decomposability_extension.h
con_include.h
con_supcc.cpp
con_supcc.h
corefaudes.h
diag2dot.cpp
diag_1_eventdiagnosis.cpp
diag_2_languagediagnosis.cpp
diag_3_modulardiagnosis.cpp
diag_4_decentralizeddiagnosis.cpp
diag_attrdiagstate.cpp
diag_attrdiagstate.h
diag_attrfailureevents.cpp
diag_attrfailureevents.h
diag_attrfailuretypes.cpp
diag_attrfailuretypes.h
diag_attrlabelset.cpp
diag_attrlabelset.h
diag_debug.h
diag_decentralizeddiagnosis.cpp
diag_decentralizeddiagnosis.h
diag_eventdiagnosis.cpp
diag_eventdiagnosis.h
diag_generator.cpp
diag_generator.h
diag_include.h
diag_languagediagnosis.cpp
diag_languagediagnosis.h
diag_modulardiagnosis.cpp
diag_modulardiagnosis.h
doxygen_groups.h
exefaudes.cpp
flxinstall.cpp
fts2ftx.cpp
gen2dot.cpp
hio_1_introduction.cpp
hio_2_hiogenerators.cpp
hio_3_hiofunctions.cpp
hio_4_transport_unit.cpp
hio_5_conveyor_belts.cpp
hio_attributes.cpp
hio_attributes.h
hio_constraint.cpp
hio_constraint.h
hio_controller.cpp
hio_controller.h
hio_environment.cpp
hio_environment.h
hio_functions.cpp
hio_functions.h
hio_include.h
hio_module.cpp
hio_module.h
hio_plant.cpp
hio_plant.h
hyb_1_hautomata.cpp
hyb_2_reachability.cpp
hyb_3_abstraction.cpp
hyb_4_controlA.cpp
hyb_5_controlB.cpp
hyb_6_robotex.cpp
hyb_abstraction.cpp
hyb_abstraction.h
hyb_attributes.cpp
hyb_attributes.h
hyb_compute.cpp
hyb_compute.h
hyb_experiment.cpp
hyb_experiment.h
hyb_hgenerator.cpp
hyb_hgenerator.h
hyb_include.h
hyb_parameter.cpp
hyb_parameter.h
hyb_reachability.cpp
hyb_reachability.h
iobridge.cpp
iomonitor.cpp
iop_comedi.cpp
iop_comedi.h
iop_d3ripDART.cpp
iop_d3ripDART.h
iop_d3ripURT.cpp
iop_d3ripURT.h
iop_include.h
iop_modbus.cpp
iop_modbus.h
iop_sdevice.cpp
iop_sdevice.h
iop_serial.cpp
iop_serial.h
iop_simplenet.cpp
iop_simplenet.h
iop_vdevice.cpp
iop_vdevice.h
iop_wago.cpp
iop_wago.h
iop_xdevice.cpp
iop_xdevice.h
ios_1_system.cpp
ios_2_synthesis.cpp
ios_algorithms.cpp
ios_algorithms.h
ios_attributes.cpp
ios_attributes.h
ios_include.h
ios_system.cpp
ios_system.h
lbp_1_extension.cpp
lbp_addons.cpp
lbp_addons.h
lbp_completion.cpp
lbp_function.cpp
lbp_function.h
lbp_include.h
libfaudes.h
luafaudes.cpp
mtc2dot.cpp
mtc_1_generators.cpp
mtc_2_functions.cpp
mtc_3_observer.cpp
mtc_attributes.cpp
mtc_attributes.h
mtc_colorset.cpp
mtc_colorset.h
mtc_generator.cpp
mtc_generator.h
mtc_include.h
mtc_observercomputation.cpp
mtc_observercomputation.h
mtc_obserververification.cpp
mtc_obserververification.h
mtc_parallel.cpp
mtc_parallel.h
mtc_project.cpp
mtc_project.h
mtc_redundantcolors.cpp
mtc_redundantcolors.h
mtc_statemin.cpp
mtc_statemin.h
mtc_supcon.cpp
mtc_supcon.h
obs_1_simple.cpp
obs_include.h
obs_local_observation_consistency.cpp
obs_local_observation_consistency.h
op_debug.h
op_ex_bisim.cpp
op_ex_mc.cpp
op_ex_synthesis.cpp
op_ex_verification.cpp
op_include.h
op_mc.cpp
op_mc.h
op_observercomputation.cpp
op_observercomputation.h
op_obserververification.cpp
op_obserververification.h
pbp_include.h
perfloop.cpp
pev_1_priorities.cpp
pev_2_verify.cpp
pev_3_verfair.cpp
pev_abstraction.cpp
pev_abstraction.h
pev_include.h
pev_pgenerator.cpp
pev_pgenerator.h
pev_priorities.cpp
pev_priorities.h
pev_sparallel.cpp
pev_sparallel.h
pev_verify.cpp
pev_verify.h
pex_altaccess.cpp
pex_altaccess.h
pex_include.h
pex_tutorial.cpp
ref2html.cpp
rti2code.cpp
simfaudes.cpp
sp_densityfnct.cpp
sp_densityfnct.h
sp_dplpexecutor.cpp
sp_dplpexecutor.h
sp_executor.cpp
sp_executor.h
sp_include.h
sp_lpexecutor.cpp
sp_lpexecutor.h
sp_pexecutor.cpp
sp_pexecutor.h
sp_plpexecutor.cpp
sp_plpexecutor.h
sp_random.cpp
sp_random.h
sp_simconditionset.cpp
sp_simconditionset.h
sp_simeventset.cpp
sp_simeventset.h
syn_1_simple.cpp
syn_2_omega.cpp
syn_3_reduction.cpp
syn_6_compsynth.cpp
syn_7_compsynth.cpp
syn_compsyn.cpp
syn_compsyn.h
syn_functions.cpp
syn_functions.h
syn_include.h
syn_sscon.cpp
syn_sscon.h
syn_supcon.cpp
syn_supcon.h
syn_supnorm.cpp
syn_supnorm.h
syn_supreduce.cpp
syn_supreduce.h
syn_synthequiv.cpp
syn_synthequiv.h
syn_tsupcon.cpp
syn_tsupcon.h
syn_wsupcon.cpp
syn_wsupcon.h
tp_1_tgenerator.cpp
tp_2_constraints.cpp
tp_3_parallel.cpp
tp_attributes.cpp
tp_attributes.h
tp_include.h
tp_tgenerator.cpp
tp_tgenerator.h
tp_timeconstraint.cpp
tp_timeconstraint.h
tp_timeinterval.cpp
tp_timeinterval.h
tp_tparallel.cpp
tp_tparallel.h
libFAUDES 2.33b
--- 2025.05.07 --- c++ api documentaion by
doxygen
>>
C++ API
Introduction
Sets
Generators
Functions
PlugIns
Tutorials
Classes
Files
Top of Page