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.hClass TAttrMap
 cfl_baseset.cpp
 cfl_baseset.hClass TBaseSet
 cfl_basevector.cpp
 cfl_basevector.hClass 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.cppClasses IndexSet
 cfl_indexset.hClasses IndexSet, TaIndexSet
 cfl_localgen.cpp
 cfl_localgen.h
 cfl_nameset.cppClasses NameSet
 cfl_nameset.hClasses 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.cppClass SymbolSet
 cfl_symbolset.hClass SymbolSet, TaSymbolSet
 cfl_symboltable.cppClass SymbolTable
 cfl_symboltable.hClass SymbolTable
 cfl_token.cppClass Token
 cfl_token.hClass Token
 cfl_tokenreader.cppClass TokenReader
 cfl_tokenreader.hClass TokenReader
 cfl_tokenwriter.cppClass TokenWriter
 cfl_tokenwriter.hClass TokenWriter
 cfl_transset.cpp
 cfl_transset.hClasses 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