libFAUDES

Sections

Index

File List

Here is a list of all files with brief descriptions:
1_generator.cpp [code]Tutorial, basic faudes::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
abaseset.cpp [code]
abaseset.h [code]Class TaBaseSet
agenerator.cpp [code]
agenerator.h [code]Attributed generator class TaGenerator
attributes.cpp [code]Classes AttributeVoid and AttributeFlags
attributes.h [code]Classes AttributeVoid and AttributeFlags
baseset.cpp [code]
baseset.h [code]Class TBaseSet
basevector.cpp [code]
basevector.h [code]Class TBaseVector
cgenerator.cpp [code]Classes TcGenerator, cGenerator and AttributeCFlags
cgenerator.h [code]Classes TcGenerator, cGenerator and AttributeCFlags
corefaudes.h [code]Includes all libFAUDES headers, no plugins
definitions.h [code]Compiletime options, This file configures the runtime bahaviour of libFAUDES, in particular informative output on stderr and stdout; see also the Makefile
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
exception.cpp [code]Class Exception
exception.h [code]Class Exception
exefaudes.cpp [code]Example application for executor class
gen2dot.cpp [code]
gen2dot.h [code]
graphfncts.cpp [code]Operations on (directed) graphs
graphfncts.h [code]Operations on (directed) graphs
helper.cpp [code]Helper functions
helper.h [code]Helper functions
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
indexset.cpp [code]Classes IndexSet
indexset.h [code]Classes IndexSet, TaIndexSet
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_include.h [code]Includes all io device headers
iop_sdevice.cpp [code]Virtual device for interface definition
iop_sdevice.h [code]Virtual device for signal based io
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_xdevice.cpp [code]Device container with vDevice interface
iop_xdevice.h [code]Virtual device for interface definition
lbp_include.h [code]Includes all luabindings plugin headers
libfaudes.h [code]Includes all libFAUDES headers, incl plugings
libluafaudes.h [code]Includes all libluafaudes headers, incl lua
localgen.cpp [code]
localgen.h [code]
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 mtcGenerators
mtc_redundantcolors.h [code]Methods for removing redundant colors for the supervisor synthesis from mtcGenerators
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
nameset.cpp [code]Classes NameSet
nameset.h [code]Classes NameSet, TaNameSet
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
parallel.cpp [code]Parallel composition
parallel.h [code]Parallel composition
pex_altaccess.cpp [code]Example plugin
pex_altaccess.h [code]Example plugin
pex_include.h [code]Include example plugin headers
pex_tutorial.cpp [code]Tutorial, example plugin
project.cpp [code]Projection and subset construction
project.h [code]Projection and subset construction
regular.cpp [code]Operations on regular languages
regular.h [code]Operations on regular languages
rti2code.cpp [code]
rti2html.cpp [code]
rtifncts.cpp [code]Runtime interface, operations on faudes types
rtifncts.h [code]Runtime interface, operations on faudes types
rtiregistry.cpp [code]Runtime interface, registry for faudes types and functions
rtiregistry.h [code]Runtime interface, registry for faudes-types and functions
rtitypes.cpp [code]Runtime interface, faudes types
rtitypes.h [code]Runtime interface, faudes types
rtiwrapper.cpp [code]Runtime interface, wrapper from core functions
rtiwrapper.h [code]Runtime interface, wrapper from core functions
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
statemin.cpp [code]State space minimization
statemin.h [code]State space minimization
symbolset.cpp [code]Class SymbolSet
symbolset.h [code]Class SymbolSet, TaSymbolSet
symboltable.cpp [code]Class SymbolTable
symboltable.h [code]Class SymbolTable
syn_1_simple.cpp [code]Tutorial, std monolitic 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
token.cpp [code]Class Token
token.h [code]Class Token
tokenreader.cpp [code]Class TokenReader
tokenreader.h [code]Class TokenReader
tokenwriter.cpp [code]Class TokenWriter
tokenwriter.h [code]Class TokenWriter
tp_1_tgenerator.cpp [code]Tutorial, class faudes::tGenerator
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
transset.cpp [code]
transset.h [code]Classes Transition, TTransSet and TaTransSet
vgenerator.cpp [code]Class vGenerator
vgenerator.h [code]Class vGenerator
winextra.h [code]Workaround missing posix functions

libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6