File List

Here is a list of all files with brief descriptions:
1_generator.cpp [code]Tutorial, Generator methods
2_containers.cpp [code]Tutorial, container classes
3_functions.cpp [code]Tutorial, operations on genarators
4_cgenerator.cpp [code]Tutorial, generator with controllability attributes
5_attributes.cpp [code]Tutorial, attributes
6_algorithm.cpp [code]Tutorial, implementing generator algorithms
7_interface.cpp [code]Tutorial, runtime interface
cfl_abaseset.cpp [code]
cfl_abaseset.h [code]Class TaBaseSet
cfl_agenerator.cpp [code]Generator class with attributes
cfl_agenerator.h [code]Attributed generator class TaGenerator
cfl_attributes.cpp [code]Classes AttributeVoid and AttributeFlags
cfl_attributes.h [code]Classes AttributeVoid and AttributeFlags
cfl_baseset.cpp [code]
cfl_baseset.h [code]Class TBaseSet
cfl_basevector.cpp [code]
cfl_basevector.h [code]Class TBaseVector
cfl_cgenerator.cpp [code]Classes TcGenerator, System and AttributeCFlags
cfl_cgenerator.h [code]Classes TcGenerator, System and AttributeCFlags
cfl_definitions.h [code]Compiletime options
cfl_determin.cpp [code]Powerset construction
cfl_determin.h [code]Powersetset construction
cfl_elementary.cpp [code]Runtime interface, elementary types
cfl_elementary.h [code]Runtime interface, elementary types
cfl_exception.cpp [code]Class Exception
cfl_exception.h [code]Class Exception
cfl_functions.cpp [code]Runtime interface, operations on faudes types
cfl_functions.h [code]Runtime interface, operations on faudes types
cfl_generator.cpp [code]Class vGenerator
cfl_generator.h [code]Class vGenerator
cfl_graphfncts.cpp [code]Operations on (directed) graphs
cfl_graphfncts.h [code]Operations on (directed) graphs
cfl_helper.cpp [code]Helper functions
cfl_helper.h [code]Helper functions
cfl_indexset.cpp [code]Classes IndexSet
cfl_indexset.h [code]Classes IndexSet, TaIndexSet
cfl_localgen.cpp [code]Helper functions for projected generators
cfl_localgen.h [code]Helper functions for projected generators
cfl_nameset.cpp [code]Classes NameSet
cfl_nameset.h [code]Classes NameSet, TaNameSet
cfl_omega.cpp [code]Operations regarding omega languages
cfl_omega.h [code]Operations on omega languages
cfl_parallel.cpp [code]Parallel composition
cfl_parallel.h [code]Parallel composition
cfl_platform.cpp [code]Platform dependant wrappers
cfl_platform.h [code]Platform dependant wrappers
cfl_project.cpp [code]Projection and subset construction
cfl_project.h [code]Language projection
cfl_registry.cpp [code]Runtime interface, registry for faudes types and functions
cfl_registry.h [code]Runtime interface, registry for faudes-types and functions
cfl_regular.cpp [code]Operations on regular languages
cfl_regular.h [code]Operations on regular languages
cfl_statemin.cpp [code]State space minimization
cfl_statemin.h [code]State space minimization
cfl_symbolset.cpp [code]Class SymbolSet
cfl_symbolset.h [code]Class SymbolSet, TaSymbolSet
cfl_symboltable.cpp [code]Class SymbolTable
cfl_symboltable.h [code]Class SymbolTable
cfl_token.cpp [code]Class Token
cfl_token.h [code]Class Token
cfl_tokenreader.cpp [code]Class TokenReader
cfl_tokenreader.h [code]Class TokenReader
cfl_tokenwriter.cpp [code]Class TokenWriter
cfl_tokenwriter.h [code]Class TokenWriter
cfl_transset.cpp [code]
cfl_transset.h [code]Classes Transition, TTransSet and TaTransSet
cfl_types.cpp [code]Runtime interface, faudes types
cfl_types.h [code]Runtime interface, faudes types
con_1_simple.cpp [code]Tutorial, coordination control
con_2_simple.cpp [code]Tutorial, coordination control for prefix-closed languages
con_cctrim.cpp [code]More efficient Trim() operation
con_cctrim.h [code]More efficient Trim() operation
con_closed.cpp [code]Conditionalclosedness
con_closed.h [code]Conditional Closedness
con_controllability.cpp [code]Conditionalcontrollability
con_controllability.h [code]Conditional Controllability
con_decomposability.cpp [code]Conditionaldecomposability
con_decomposability.h [code]Conditional Decomposability
con_decomposability_extension.cpp [code]Conditionaldecomposability
con_decomposability_extension.h [code]Conditionaldecomposability
con_include.h [code]Includes all header files of the coordinationcontrol plug-in
con_supcc.cpp [code]
con_supcc.h [code]
corefaudes.h [code]Includes all libFAUDES headers, no plugins
diag2dot.cpp [code]
diag_1_eventdiagnosis.cpp [code]Demonstrate diagnoser structure and methods for std event diagnosability
diag_2_languagediagnosis.cpp [code]Illustrate diagnosability with respect to a specification language
diag_3_modulardiagnosis.cpp [code]Illustrate modular diagnosability test and synthesis
diag_4_decentralizeddiagnosis.cpp [code]Illustrate decentralized diagnosability test and synthesis
diag_attrdiagstate.cpp [code]Implements state estimates for the current status of the generator (as state attributes)
diag_attrdiagstate.h [code]State estimates for the current status of the generator (as state attributes)
diag_attrfailureevents.cpp [code]Implements failure and indicator events belonging to a common partition
diag_attrfailureevents.h [code]Failure and indicator events for a common failure type
diag_attrfailuretypes.cpp [code]Failure and indicator partition for a system (used as global attribute)
diag_attrfailuretypes.h [code]Contains the failure and indicator partition for a system (used as global attribute)
diag_attrlabelset.cpp [code]Implements the label representation for state estimates
diag_attrlabelset.h [code]Label representation for state estimates
diag_debug.h [code]Includes debugging to diagnosis plug-in
diag_decentralizeddiagnosis.cpp [code]Functions to test decentralized diagnosability and compute diagnosers
diag_decentralizeddiagnosis.h [code]Functions to check a system's decentralized diagnosability
diag_eventdiagnosis.cpp [code]Functions to check a system's event-diagnosability and computation of an event-diagnoser
diag_eventdiagnosis.h [code]Functions to check a system's diagnosability with respect to failure events (diagnosability and I-diagnosability) and computation of an event-diagnoser
diag_generator.cpp [code]Structure of diagnosers and methods to handle them
diag_generator.h [code]Structure of diagnosers and methods to handle them
diag_include.h [code]Includes all header files of the diagnosis plug-in
diag_languagediagnosis.cpp [code]Functions to check a system's language-diagnosability and compute a language-diagnoser
diag_languagediagnosis.h [code]Functions to check a system's diagnosability with respect to a specification automaton and compute a language-diagnoser
diag_modulardiagnosis.cpp [code]Functions to test modular diagnosability and compute modular diagnosers
diag_modulardiagnosis.h [code]Functions to check a system's decentralized diagnosability
exefaudes.cpp [code]Example application for executor class
flxinstall.cpp [code]
fts2ftx.cpp [code]
fts2ftx.h [code]
gen2dot.cpp [code]
gen2dot.h [code]
hio_1_introduction.cpp [code]Tutorial, simple i/o-based controller synthesis
hio_2_hiogenerators.cpp [code]Tutorial, i/o system generator classes
hio_3_hiofunctions.cpp [code]Tutorial, functions provided by hiosys plugin
hio_4_transport_unit.cpp [code]Tutorial, transport chain example for hiosys plugin
hio_5_conveyor_belts.cpp [code]Tutorial, conveyor belt chain example for hiosys plugin
hio_attributes.cpp [code]Event and state attributes for hierarchical I/O systems
hio_attributes.h [code]Event and state attributes for hierarchical I/O systems
hio_constraint.cpp [code]Generator with I/O-constraint attributes
hio_constraint.h [code]Generator with I/O-constraint attributes
hio_controller.cpp [code]Generator with I/O-controller attributes
hio_controller.h [code]Generator with I/O-controller attributes
hio_environment.cpp [code]Generator with I/O-environment attributes
hio_environment.h [code]Generator with I/O-environment attributes
hio_functions.cpp [code]Algorithms for hierarchical discrete event systems with inputs and outputs
hio_functions.h [code]Algorithms for hierarchical discrete event systems with inputs and outputs
hio_helper.cpp [code]Helpers for the hiosys plugin
hio_helper.h [code]Helpers for the hiosys plugin
hio_include.h [code]Include hiosys plugin headers
hio_module.cpp [code]Class describing the I/O based hierarchy
hio_module.h [code]Class describing the I/O based hierarchy
hio_plant.cpp [code]Generator with I/O-plant attributes
hio_plant.h [code]Generator with I/O-plant attributes
iobridge.cpp [code]Test utility for IO devices
iomonitor.cpp [code]Test utility for IO devices
iop_comedi.cpp [code]Low-level access to physical device over comedi-driver
iop_comedi.h [code]Hardware access via comedi
iop_d3ripDART.cpp [code]D3ripDART protocol and friends
iop_d3ripDART.h [code]Iodevice for d3ripDART protocol and friends
iop_d3ripURT.cpp [code]D3ripURT protocol and friends
iop_d3ripURT.h [code]Iodevice for d3ripURT protocol and friends
iop_include.h [code]Includes all io device headers
iop_modbus.cpp [code]Process image via modbus/tcp
iop_modbus.h [code]Process image via modbus/tcp
iop_sdevice.cpp [code]Virtual device for interface definition
iop_sdevice.h [code]Virtual device for signal based io
iop_serial.cpp [code]
iop_serial.h [code]Process image via serial line
iop_simplenet.cpp [code]Simple networked events via tcp/ip
iop_simplenet.h [code]Simple networked events via TCP/IP
iop_vdevice.cpp [code]Virtual device for interface definition
iop_vdevice.h [code]Virtual device for interface definition
iop_wago.cpp [code]Access to wago-kbus
iop_wago.h [code]Hardware access via comedi
iop_xdevice.cpp [code]Device container with vDevice interface
iop_xdevice.h [code]Virtual device for interface definition
ios_1_system.cpp [code]Tutorial, I/O systems
ios_2_synthesis.cpp [code]Tutorial, I/O system synthesis
ios_algorithms.cpp [code]
ios_algorithms.h [code]Algorithms addressing I/O-systems
ios_attributes.cpp [code]I/O-system attributes
ios_attributes.h [code]I/O-system attributes
ios_include.h [code]Include iosystem plugin headers
ios_system.cpp [code]
ios_system.h [code]Generator with I/O-system attributes
lbp_1_extension.cpp [code]Registering a lua script with the libFAUDES run-time interface
lbp_completion.cpp [code]
lbp_function.cpp [code]Luafaudes class to run scripts as rti functions
lbp_function.h [code]Luafaudes class to run scripts as rti functions
lbp_include.h [code]Includes all luabindings plug-in headers
libfaudes.h [code]Includes all libFAUDES headers, incl plugings
libluafaudes.h [code]Includes all libluafaudes headers, incl lua
luafaudes.cpp [code]Simple Lua stand-alone interpreter for lua/faudes
mtc2dot.cpp [code]
mtc_attributes.cpp [code]Implements the color representation for single states in multitasking automata as state attributes
mtc_attributes.h [code]Implements the color representation for single states in multitasking automata as state attributes
mtc_colorset.cpp [code]Implements color sets for multitasking automata
mtc_colorset.h [code]Implements color sets for multitasking automata
mtc_generator.cpp [code]Methods for handling multitasking generators
mtc_generator.h [code]Methods for handling multitasking generators
mtc_include.h [code]Includes all multitasking plug-in headers
mtc_observercomputation.cpp [code]Methods to compute natural projections that exhibit the obsrver property
mtc_observercomputation.h [code]
mtc_obserververification.cpp [code]Methods to verify the obsrver condition for natural projections
mtc_obserververification.h [code]Methods to verify the obsrver condition for natural projections
mtc_parallel.cpp [code]Methods for parallel composition of multitasking generators
mtc_parallel.h [code]Methods for parallel composition of multitasking generators
mtc_project.cpp [code]Methods for computing the natural projection of multitasking generators
mtc_project.h [code]Methods for computing the natural projection of multitasking generators
mtc_redundantcolors.cpp [code]Methods for removing redundant colors for the supervisor synthesis from MtcSystems
mtc_redundantcolors.h [code]Methods for removing redundant colors for the supervisor synthesis from MtcSystems
mtc_statemin.cpp [code]State space minimization
mtc_statemin.h [code]State space minimization
mtc_supcon.cpp [code]Supremal controllable sublanguage and controllablity
mtc_supcon.h [code]Supremal controllable sublanguage and controllablity
obs_1_simple.cpp [code]
obs_include.h [code]Includes all header files of the observability plug-in
obs_local_observation_consistency.cpp [code]
obs_local_observation_consistency.h [code]Local Observation Consistency
op_bisimulation.cpp [code]Methods to compute bisimulations on dynamic systems (represented by a finite automaton)
op_bisimulation.h [code]Methods to compute bisimulations on dynamic systems (represented by a finite automaton)
op_debug.h [code]
op_ex_bisim.cpp [code]Tutorial, computation of the coarsest quasi-congruence
op_ex_mc.cpp [code]This tutorial demonstrates methods for verifying the mutual controllability condition of two given automata
op_ex_synthesis.cpp [code]Tutorial, synthesis of natural projections with certain properties
op_ex_verification.cpp [code]Tutorial, verification of properties of natural projections
op_include.h [code]Includes all observer plugin headers
op_mc.cpp [code]Method to verify mutual controllability for two given generators
op_mc.h [code]Method to verify mutual controllability for two given generators
op_observercomputation.cpp [code]Methods to compute natural projections that exhibit the obsrver property
op_observercomputation.h [code]Methods to compute natural projections that exhibit the observer property
op_obserververification.cpp [code]Methods to verify the obsrver condition for natural projections
op_obserververification.h [code]Methods to verify the obsrver condition for natural projections
op_partition.cpp [code]Data structure that implements an equivalence class in the bisimulation algorithm
op_partition.h [code]Data structure that implements an equivalence class in the bisimulation algorithm
pd_alg_cc.cpp [code]Top-level functions
pd_alg_cc.h [code]Top-Level functions
pd_alg_cc_test.cpp [code]Unit Tests
pd_alg_cc_test.h [code]Unit Tests
pd_alg_first.cpp [code]Functions related to the first function
pd_alg_first.h [code]Functions related to the first function
pd_alg_first_test.cpp [code]Unit Tests
pd_alg_first_test.h [code]Unit Tests
pd_alg_lrm.cpp [code]Functions related to LR machines
pd_alg_lrm.h [code]Functions related to LR machines
pd_alg_lrm_test.cpp [code]Unit Tests
pd_alg_lrm_test.h [code]Unit Tests
pd_alg_lrp.cpp [code]Functions related to parsers
pd_alg_lrp.h [code]Functions related to parsers
pd_alg_lrp_test.cpp [code]Unit Tests
pd_alg_lrp_test.h [code]Unit Tests
pd_alg_nb_sub_a.cpp [code]Nonblock subfunctions, part A
pd_alg_nb_sub_a.h [code]Nonblock subfunctions, part A
pd_alg_nb_sub_a_test.cpp [code]Unit Tests
pd_alg_nb_sub_a_test.h [code]Unit Tests
pd_alg_nb_sub_b.cpp [code]Nonblock subfunctions, part B
pd_alg_nb_sub_b.h [code]Nonblock subfunctions, part B
pd_alg_nb_sub_b_test.cpp [code]Unit Tests
pd_alg_nb_sub_b_test.h [code]Unit Tests
pd_alg_opt.cpp [code]Functions for optimizations
pd_alg_opt.h [code]Functions for optimizations
pd_alg_opt_test.cpp [code]Unit Tests
pd_alg_opt_test.h [code]Unit Tests
pd_algo_test.cpp [code]Test, pushdown plugin
pd_attributes.cpp [code]Attributes for pushdown automata
pd_attributes.h [code]Attributes for pushdown automata
pd_basics.cpp [code]Attributes for pushdown automata
pd_basics.h [code]Attributes for pushdown automata
pd_counterexample_griffin.cpp [code]Synthesizes the minimal restrictive supervisor for a combination of plant and specification presented in the appendix of the technical report by Schneider and Schmuck (referenced at the webpage of this plugin)
pd_example_WODES14_nonblock.cpp [code]
pd_gotoattributes.cpp [code]Attributes for LR machines
pd_gotoattributes.h [code]Attributes for LR machines
pd_gotogenerator.cpp [code]
pd_gotogenerator.h [code]LR machine
pd_grammar.cpp [code]
pd_grammar.h [code]
pd_include.h [code]Include pushdown plugin headers
pd_lang_k.cpp [code]Test class to derive strings from pushdown automata
pd_lang_k.h [code]Test class to derive strings from pushdown automata
pd_merge.cpp [code]Grammar data structure
pd_merge.h [code]Grammar data structure
pd_parser.cpp [code]Parser data structure
pd_parser.h [code]Parser data structure
pd_pdgenerator.cpp [code]-- pushdown automata
pd_pdgenerator.h [code]Pushdown generator class TpdGenerator
pd_test.cpp [code]Example plugin
pd_test.h [code]Example plugin
pd_test_util.cpp [code]Creation of test classes
pd_test_util.h [code]Creation of test classes
pd_tutorial.cpp [code]Tutorial, pushdown plugin
ref2html.cpp [code]
rti2code.cpp [code]
simfaudes.cpp [code]Simple simulator application for faudes generators
sp_densityfnct.cpp [code]Discrete density function approximation
sp_densityfnct.h [code]Discrete density function approximation
sp_dplpexecutor.cpp [code]Executor with IO device
sp_dplpexecutor.h [code]Executor with IO device
sp_executor.cpp [code]Execute transitions in a timed generator
sp_executor.h [code]Execute transitions in a timed generator
sp_include.h [code]Includes all simulator plugin headers
sp_lpexecutor.cpp [code]Executor with logging facilities
sp_lpexecutor.h [code]Executor with logging facilities
sp_pexecutor.cpp [code]Executor for multiple synchronized timed generators
sp_pexecutor.h [code]Executor for multiple synchronized timed generators
sp_plpexecutor.cpp [code]Executor that proposes transitions to execute
sp_plpexecutor.h [code]Executor that proposes transitions to execute
sp_random.cpp [code]Evaluating random variables
sp_random.h [code]Evaluating random variables
sp_simconditionset.cpp [code]Set of named simulation conditions
sp_simconditionset.h [code]Set of named simulation conditions
sp_simeventset.cpp [code]Eventsets with execution data for simulation
sp_simeventset.h [code]Eventsets with execution data for simulation
syn_1_simple.cpp [code]Tutorial, std monolitic synthesis
syn_2_omega.cpp [code]Synthesis for omega languages
syn_3_reduction.cpp [code]Tutorial, std monolitic synthesis
syn_functions.cpp [code]Misc functions related to synthesis
syn_functions.h [code]Misc functions related to synthesis
syn_include.h [code]Includes all header files of the synthesis plug-in
syn_supcon.cpp [code]Supremal controllable sublanguage
syn_supcon.h [code]Supremal controllable sublanguage
syn_supnorm.cpp [code]Supremal normal sublanguage
syn_supnorm.h [code]Supremal normal sublanguage
syn_supreduce.cpp [code]Supervisor Reduction
syn_supreduce.h [code]
syn_tsupcon.cpp [code]
syn_tsupcon.h [code]
syn_wsupcon.cpp [code]Supremal controllable sublanguage for infinite time behaviours
syn_wsupcon.h [code]Supremal controllable sublanguage for infinite time behaviours
tp_1_tgenerator.cpp [code]Tutorial, class faudes::TimedGenerator
tp_2_constraints.cpp [code]Tutorial, class faudes::TimeConstraint
tp_3_parallel.cpp [code]Tutorial, timed parallel composition
tp_attributes.cpp [code]Attributes for timed automata
tp_attributes.h [code]Attributes for timed automata
tp_include.h [code]Include timed plugin headers
tp_tgenerator.cpp [code]
tp_tgenerator.h [code]Timed generator class TtGenerator
tp_timeconstraint.cpp [code]
tp_timeconstraint.h [code]Classes ClockSet, ElemConstraint and TimeConstraint
tp_timeinterval.cpp [code]
tp_timeinterval.h [code]Class TimeInterval
tp_tparallel.cpp [code]
tp_tparallel.h [code]Parallel composition for timed automata

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen