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 |