1_generator.cpp | Tutorial, basic faudes::Generator methods |
2_sets.cpp | Tutorial, container classes |
3_regular.cpp | Tutorial, operations on genarators |
4_cgenerator.cpp | Tutorial, std monolitic synthesis |
5_attributes.cpp | Tutorial, attributes |
6_algorithm.cpp | Tutorial, implementing generator algorithms |
7_interface.cpp | Tutorial, runtime interface |
agenerator.cpp | |
agenerator.h | Attributed generator class TaGenerator |
attributes.cpp | Classes AttributeVoid and AttributeFlags |
attributes.h | Classes AttributeVoid and AttributeFlags |
baseset.cpp | |
baseset.h | Class TBaseSet |
cgenerator.cpp | Classes TcGenerator, cGenerator and AttributeCFlags |
cgenerator.h | Classes TcGenerator, cGenerator and AttributeCFlags |
cgenfunct.cpp | Convenience functions for cGenerator |
cgenfunct.h | Convenience functions for cGenerator |
corefaudes.h | Includes all libFAUDES headers, no plugins |
definitions.h | Compiletime options, doxygen pages/sections |
exception.cpp | Class Exception |
exception.h | Class Exception |
exefaudes.cpp | Example application for executor class |
gen2dot.cpp | |
gen2dot.h | |
helper.cpp | Helper functions |
helper.h | Helper functions |
hio_1_hiogenerators.cpp | Tutorial, i/o system generator classes |
hio_2_hiofunctions.cpp | Tutorial, functions provided by hiosys plugin |
hio_attributes.cpp | Event and state attributes for hierarchical I/O systems |
hio_attributes.h | Event and state attributes for hierarchical I/O systems |
hio_constraint.cpp | Generator with I/O-constraint attributes |
hio_constraint.h | Generator with I/O-constraint attributes |
hio_controller.cpp | Generator with I/O-controller attributes |
hio_controller.h | Generator with I/O-controller attributes |
hio_environment.cpp | Generator with I/O-environment attributes |
hio_environment.h | Generator with I/O-environment attributes |
hio_functions.cpp | Algorithms for hierarchical discrete event systems with inputs and outputs |
hio_functions.h | Algorithms for hierarchical discrete event systems with inputs and outputs |
hio_helper.cpp | Helpers for the hiosys plugin |
hio_helper.h | Helpers for the hiosys plugin |
hio_include.h | Include hiosys plugin headers |
hio_module.cpp | Class describing the I/O based hierarchy |
hio_module.h | Class describing the I/O based hierarchy |
hio_plant.cpp | Generator with I/O-plant attributes |
hio_plant.h | Generator with I/O-plant attributes |
indexset.cpp | Classes IndexSet |
indexset.h | Classes IndexSet, TaIndexSet |
lbp_include.h | Includes all luabindings plugin headers |
libfaudes.h | Includes all libFAUDES headers, incl plugings |
libluafaudes.h | Includes all libluafaudes headers, incl lua |
localgen.cpp | |
localgen.h | |
luafaudes.cpp | Simple Lua stand-alone interpreter for lua/faudes |
mtc2dot.cpp | |
mtc_1_generators.cpp | Tutorial, mtcGenerator methods |
mtc_2_functions.cpp | Tutorial, mtcGenerator functions eg parallel, project etc |
mtc_3_observer.cpp | Tutorial, mtcGenerator observer computation |
mtc_attributes.cpp | Implements the color representation for single states in multitasking automata as state attributes |
mtc_attributes.h | Implements the color representation for single states in multitasking automata as state attributes |
mtc_colorset.cpp | Implements color sets for multitasking automata |
mtc_colorset.h | Implements color sets for multitasking automata |
mtc_generator.cpp | Methods for handling multitasking generators |
mtc_generator.h | Methods for handling multitasking generators |
mtc_include.h | Includes all multitasking plug-in headers |
mtc_observercomputation.cpp | Methods to compute natural projections that exhibit the obsrver property |
mtc_observercomputation.h | |
mtc_obserververification.cpp | Methods to verify the obsrver condition for natural projections |
mtc_obserververification.h | Methods to verify the obsrver condition for natural projections |
mtc_parallel.cpp | Methods for parallel composition of multitasking generators |
mtc_parallel.h | Methods for parallel composition of multitasking generators |
mtc_project.cpp | Methods for computing the natural projection of multitasking generators |
mtc_project.h | Methods for computing the natural projection of multitasking generators |
mtc_redundantcolors.cpp | Methods for removing redundant colors for the supervisor synthesis from mtcGenerators |
mtc_redundantcolors.h | Methods for removing redundant colors for the supervisor synthesis from mtcGenerators |
mtc_statemin.cpp | State space minimization |
mtc_statemin.h | State space minimization |
mtc_supcon.cpp | Supremal controllable sublanguage and controllablity |
mtc_supcon.h | Supremal controllable sublanguage and controllablity |
nameset.cpp | Classes NameSet |
nameset.h | Classes NameSet, TaNameSet |
op_bisimulation.cpp | Methods to compute bisimulations on dynamic systems (represented by a finite automaton) |
op_bisimulation.h | Methods to compute bisimulations on dynamic systems (represented by a finite automaton) |
op_debug.h | |
op_ex_bisim.cpp | Tutorial, computation of the coarsest quasi-congruence |
op_ex_mc.cpp | This tutorial demonstrates methods for verifying the mutual controllability condition of two given automata |
op_ex_synthesis.cpp | Tutorial, synthesis of natural projections with certain properties |
op_ex_verification.cpp | Tutorial, verification of properties of natural projections |
op_include.h | Includes all observer plugin headers |
op_mc.cpp | Method to verify mutual controllability for two given generators |
op_mc.h | Method to verify mutual controllability for two given generators |
op_observercomputation.cpp | Methods to compute natural projections that exhibit the obsrver property |
op_observercomputation.h | Methods to compute natural projections that exhibit the observer property |
op_obserververification.cpp | Methods to verify the obsrver condition for natural projections |
op_obserververification.h | Methods to verify the obsrver condition for natural projections |
op_partition.cpp | Data structure that implements an equivalence class in the bisimulation algorithm |
op_partition.h | Data structure that implements an equivalence class in the bisimulation algorithm |
parallel.cpp | Parallel composition |
parallel.h | Parallel composition |
pex_altaccess.cpp | Example plugin |
pex_altaccess.h | Example plugin |
pex_include.h | Include example plugin headers |
pex_tutorial.cpp | Tutorial, example plugin |
project.cpp | Projection and subset construction |
project.h | Projection and subset construction |
regular.cpp | Operations on regular languages |
regular.h | Operations on regular languages |
rti2code.cpp | |
rti2html.cpp | |
rtifncts.cpp | Runtime interface, operations on faudes types |
rtifncts.h | Runtime interface, operations on faudes types |
rtiregistry.cpp | Runtime interface, registry for faudes types and functions |
rtiregistry.h | Runtime interface, registry for faudes-types and functions |
rtitypes.cpp | Runtime interface, faudes types |
rtitypes.h | Runtime interface, faudes types |
rtiwrapper.cpp | Runtime interface, wrapper from core functions |
rtiwrapper.h | Runtime interface, wrapper from core functions |
simfaudes.cpp | Simple simulator application for faudes generators |
sp_densityfnct.cpp | Discrete density function approximation |
sp_densityfnct.h | Discrete density function approximation |
sp_dplpexecutor.cpp | Executor with IO device |
sp_dplpexecutor.h | Executor with IO device |
sp_executor.cpp | Execute transitions in a timed generator |
sp_executor.h | Execute transitions in a timed generator |
sp_include.h | Includes all simulator plugin headers |
sp_lpexecutor.cpp | Executor with logging facilities |
sp_lpexecutor.h | Executor with logging facilities |
sp_pexecutor.cpp | Executor for multiple synchronized timed generators |
sp_pexecutor.h | Executor for multiple synchronized timed generators |
sp_plpexecutor.cpp | Executor that proposes transitions to execute |
sp_plpexecutor.h | Executor that proposes transitions to execute |
sp_random.cpp | Evaluating random variables |
sp_random.h | Evaluating random variables |
sp_simconditionset.cpp | Set of named simulation conditions |
sp_simconditionset.h | Set of named simulation conditions |
sp_simeventset.cpp | Eventsets with execution data for simulation |
sp_simeventset.h | Eventsets with execution data for simulation |
statemin.cpp | State space minimization |
statemin.h | State space minimization |
supcon.cpp | Supcon.h Supremal controllable sublanguage |
supcon.h | Supcon.h Supremal controllable sublanguage |
symbolset.cpp | Class SymbolSet |
symbolset.h | Class SymbolSet, TaSymbolSet |
symboltable.cpp | Class SymbolTable |
symboltable.h | Class SymbolTable |
token.cpp | Class Token |
token.h | Class Token |
tokenreader.cpp | Class TokenReader |
tokenreader.h | Class TokenReader |
tokenwriter.cpp | Class TokenWriter |
tokenwriter.h | Class TokenWriter |
tp_1_tgenerator.cpp | Tutorial, class faudes::tGenerator |
tp_2_constraints.cpp | Tutorial, class faudes::TimeConstraint |
tp_3_parallel.cpp | Tutorial, timed parallel composition |
tp_attributes.cpp | Attributes for timed automata |
tp_attributes.h | Attributes for timed automata |
tp_include.h | Include timed plugin headers |
tp_tgenerator.cpp | |
tp_tgenerator.h | Timed generator class TtGenerator |
tp_timeconstraint.cpp | |
tp_timeconstraint.h | Classes ClockSet, ElemConstraint and TimeConstraint |
tp_timeinterval.cpp | |
tp_timeinterval.h | Class TimeInterval |
tp_tparallel.cpp | |
tp_tparallel.h | Parallel composition for timed automata |
transset.cpp | |
transset.h | Classes Transition, TTransSet and TaTransSet |
vgenerator.cpp | Class vGenerator |
vgenerator.h | Class vGenerator |
winextra.h | Workaround missing posix functions |