About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES

Sections

Index

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_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]Projection and subset construction
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_tinythread.cpp [code]Minimalistic portable multi-threading
cfl_tinythread.h [code]Minimalistic portable multi-threading
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
corefaudes.h [code]Includes all libFAUDES headers, no plugins
exefaudes.cpp [code]Example application for executor class
fts2ftx.cpp [code]
fts2ftx.h [code]
gen2dot.cpp [code]
gen2dot.h [code]
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
libfaudes.h [code]Includes all libFAUDES headers, incl plugings
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
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.22k --- 2013.04.02 --- c++ source docu by doxygen