libFAUDES

Sections

Index

File List

Here is a list of all files with brief descriptions:
1_generator.cppTutorial, basic faudes::Generator methods
2_sets.cppTutorial, container classes
3_regular.cppTutorial, operations on genarators
4_cgenerator.cppTutorial, std monolitic synthesis
5_attributes.cppTutorial, attributes
6_algorithm.cppTutorial, implementing generator algorithms
7_interface.cppTutorial, runtime interface
agenerator.cpp
agenerator.hAttributed generator class TaGenerator
attributes.cppClasses AttributeVoid and AttributeFlags
attributes.hClasses AttributeVoid and AttributeFlags
baseset.cpp
baseset.hClass TBaseSet
cgenerator.cppClasses TcGenerator, cGenerator and AttributeCFlags
cgenerator.hClasses TcGenerator, cGenerator and AttributeCFlags
cgenfunct.cppConvenience functions for cGenerator
cgenfunct.hConvenience functions for cGenerator
corefaudes.hIncludes all libFAUDES headers, no plugins
definitions.hCompiletime options, doxygen pages/sections
exception.cppClass Exception
exception.hClass Exception
exefaudes.cppExample application for executor class
gen2dot.cpp
gen2dot.h
helper.cppHelper functions
helper.hHelper functions
hio_1_hiogenerators.cppTutorial, i/o system generator classes
hio_2_hiofunctions.cppTutorial, functions provided by hiosys plugin
hio_attributes.cppEvent and state attributes for hierarchical I/O systems
hio_attributes.hEvent and state attributes for hierarchical I/O systems
hio_constraint.cppGenerator with I/O-constraint attributes
hio_constraint.hGenerator with I/O-constraint attributes
hio_controller.cppGenerator with I/O-controller attributes
hio_controller.hGenerator with I/O-controller attributes
hio_environment.cppGenerator with I/O-environment attributes
hio_environment.hGenerator with I/O-environment attributes
hio_functions.cppAlgorithms for hierarchical discrete event systems with inputs and outputs
hio_functions.hAlgorithms for hierarchical discrete event systems with inputs and outputs
hio_helper.cppHelpers for the hiosys plugin
hio_helper.hHelpers for the hiosys plugin
hio_include.hInclude hiosys plugin headers
hio_module.cppClass describing the I/O based hierarchy
hio_module.hClass describing the I/O based hierarchy
hio_plant.cppGenerator with I/O-plant attributes
hio_plant.hGenerator with I/O-plant attributes
indexset.cppClasses IndexSet
indexset.hClasses IndexSet, TaIndexSet
lbp_include.hIncludes all luabindings plugin headers
libfaudes.hIncludes all libFAUDES headers, incl plugings
libluafaudes.hIncludes all libluafaudes headers, incl lua
localgen.cpp
localgen.h
luafaudes.cppSimple Lua stand-alone interpreter for lua/faudes
mtc2dot.cpp
mtc_1_generators.cppTutorial, mtcGenerator methods
mtc_2_functions.cppTutorial, mtcGenerator functions eg parallel, project etc
mtc_3_observer.cppTutorial, mtcGenerator observer computation
mtc_attributes.cppImplements the color representation for single states in multitasking automata as state attributes
mtc_attributes.hImplements the color representation for single states in multitasking automata as state attributes
mtc_colorset.cppImplements color sets for multitasking automata
mtc_colorset.hImplements color sets for multitasking automata
mtc_generator.cppMethods for handling multitasking generators
mtc_generator.hMethods for handling multitasking generators
mtc_include.hIncludes all multitasking plug-in headers
mtc_observercomputation.cppMethods to compute natural projections that exhibit the obsrver property
mtc_observercomputation.h
mtc_obserververification.cppMethods to verify the obsrver condition for natural projections
mtc_obserververification.hMethods to verify the obsrver condition for natural projections
mtc_parallel.cppMethods for parallel composition of multitasking generators
mtc_parallel.hMethods for parallel composition of multitasking generators
mtc_project.cppMethods for computing the natural projection of multitasking generators
mtc_project.hMethods for computing the natural projection of multitasking generators
mtc_redundantcolors.cppMethods for removing redundant colors for the supervisor synthesis from mtcGenerators
mtc_redundantcolors.hMethods for removing redundant colors for the supervisor synthesis from mtcGenerators
mtc_statemin.cppState space minimization
mtc_statemin.hState space minimization
mtc_supcon.cppSupremal controllable sublanguage and controllablity
mtc_supcon.hSupremal controllable sublanguage and controllablity
nameset.cppClasses NameSet
nameset.hClasses NameSet, TaNameSet
op_bisimulation.cppMethods to compute bisimulations on dynamic systems (represented by a finite automaton)
op_bisimulation.hMethods to compute bisimulations on dynamic systems (represented by a finite automaton)
op_debug.h
op_ex_bisim.cppTutorial, computation of the coarsest quasi-congruence
op_ex_mc.cppThis tutorial demonstrates methods for verifying the mutual controllability condition of two given automata
op_ex_synthesis.cppTutorial, synthesis of natural projections with certain properties
op_ex_verification.cppTutorial, verification of properties of natural projections
op_include.hIncludes all observer plugin headers
op_mc.cppMethod to verify mutual controllability for two given generators
op_mc.hMethod to verify mutual controllability for two given generators
op_observercomputation.cppMethods to compute natural projections that exhibit the obsrver property
op_observercomputation.hMethods to compute natural projections that exhibit the observer property
op_obserververification.cppMethods to verify the obsrver condition for natural projections
op_obserververification.hMethods to verify the obsrver condition for natural projections
op_partition.cppData structure that implements an equivalence class in the bisimulation algorithm
op_partition.hData structure that implements an equivalence class in the bisimulation algorithm
parallel.cppParallel composition
parallel.hParallel composition
pex_altaccess.cppExample plugin
pex_altaccess.hExample plugin
pex_include.hInclude example plugin headers
pex_tutorial.cppTutorial, example plugin
project.cppProjection and subset construction
project.hProjection and subset construction
regular.cppOperations on regular languages
regular.hOperations on regular languages
rti2code.cpp
rti2html.cpp
rtifncts.cppRuntime interface, operations on faudes types
rtifncts.hRuntime interface, operations on faudes types
rtiregistry.cppRuntime interface, registry for faudes types and functions
rtiregistry.hRuntime interface, registry for faudes-types and functions
rtitypes.cppRuntime interface, faudes types
rtitypes.hRuntime interface, faudes types
rtiwrapper.cppRuntime interface, wrapper from core functions
rtiwrapper.hRuntime interface, wrapper from core functions
simfaudes.cppSimple simulator application for faudes generators
sp_densityfnct.cppDiscrete density function approximation
sp_densityfnct.hDiscrete density function approximation
sp_dplpexecutor.cppExecutor with IO device
sp_dplpexecutor.hExecutor with IO device
sp_executor.cppExecute transitions in a timed generator
sp_executor.hExecute transitions in a timed generator
sp_include.hIncludes all simulator plugin headers
sp_lpexecutor.cppExecutor with logging facilities
sp_lpexecutor.hExecutor with logging facilities
sp_pexecutor.cppExecutor for multiple synchronized timed generators
sp_pexecutor.hExecutor for multiple synchronized timed generators
sp_plpexecutor.cppExecutor that proposes transitions to execute
sp_plpexecutor.hExecutor that proposes transitions to execute
sp_random.cppEvaluating random variables
sp_random.hEvaluating random variables
sp_simconditionset.cppSet of named simulation conditions
sp_simconditionset.hSet of named simulation conditions
sp_simeventset.cppEventsets with execution data for simulation
sp_simeventset.hEventsets with execution data for simulation
statemin.cppState space minimization
statemin.hState space minimization
supcon.cppSupcon.h Supremal controllable sublanguage
supcon.hSupcon.h Supremal controllable sublanguage
symbolset.cppClass SymbolSet
symbolset.hClass SymbolSet, TaSymbolSet
symboltable.cppClass SymbolTable
symboltable.hClass SymbolTable
token.cppClass Token
token.hClass Token
tokenreader.cppClass TokenReader
tokenreader.hClass TokenReader
tokenwriter.cppClass TokenWriter
tokenwriter.hClass TokenWriter
tp_1_tgenerator.cppTutorial, class faudes::tGenerator
tp_2_constraints.cppTutorial, class faudes::TimeConstraint
tp_3_parallel.cppTutorial, timed parallel composition
tp_attributes.cppAttributes for timed automata
tp_attributes.hAttributes for timed automata
tp_include.hInclude timed plugin headers
tp_tgenerator.cpp
tp_tgenerator.hTimed generator class TtGenerator
tp_timeconstraint.cpp
tp_timeconstraint.hClasses ClockSet, ElemConstraint and TimeConstraint
tp_timeinterval.cpp
tp_timeinterval.hClass TimeInterval
tp_tparallel.cpp
tp_tparallel.hParallel composition for timed automata
transset.cpp
transset.hClasses Transition, TTransSet and TaTransSet
vgenerator.cppClass vGenerator
vgenerator.hClass vGenerator
winextra.hWorkaround missing posix functions

libFAUDES 2.13a c++ source docu by doxygen 1.5.6