 1_generator.cpp | Tutorial, Generator methods |
 2_containers.cpp | Tutorial, container classes |
 3_functions.cpp | Tutorial, operations on genarators |
 4_cgenerator.cpp | Tutorial, generator with controllability attributes |
 5_attributes.cpp | Tutorial, attributes |
 6_algorithm.cpp | Tutorial, implementing generator algorithms |
 7_interface.cpp | Tutorial, runtime interface |
 cfl_agenerator.cpp | Generator class with attributes |
 cfl_agenerator.h | Attributed generator class TaGenerator |
 cfl_attributes.cpp | Classes AttributeVoid and AttributeFlags |
 cfl_attributes.h | Classes AttributeVoid and AttributeFlags |
 cfl_attrmap.cpp | |
 cfl_attrmap.h | Class TAttrMap |
 cfl_baseset.cpp | |
 cfl_baseset.h | Class TBaseSet |
 cfl_basevector.cpp | |
 cfl_basevector.h | Class TBaseVector |
 cfl_bisimulation.cpp | Bisimulation relations |
 cfl_bisimulation.h | Bisimulation relations |
 cfl_cgenerator.cpp | Classes TcGenerator, System and AttributeCFlags |
 cfl_cgenerator.h | Classes TcGenerator, System and AttributeCFlags |
 cfl_conflequiv.cpp | Abstractions that maintaine conflict-equivalence |
 cfl_conflequiv.h | Abstractions that maintaine conflict-equivalence |
 cfl_definitions.h | Compiletime options |
 cfl_determin.cpp | Powerset construction |
 cfl_determin.h | Powersetset construction |
 cfl_elementary.cpp | Runtime interface, elementary types |
 cfl_elementary.h | Runtime interface, elementary types |
 cfl_exception.cpp | Class Exception |
 cfl_exception.h | Class Exception |
 cfl_functions.cpp | Runtime interface, operations on faudes types |
 cfl_functions.h | Runtime interface, operations on faudes types |
 cfl_generator.cpp | Class vGenerator |
 cfl_generator.h | Class vGenerator |
 cfl_graphfncts.cpp | Operations on (directed) graphs |
 cfl_graphfncts.h | Operations on (directed) graphs |
 cfl_helper.cpp | Helper functions |
 cfl_helper.h | Helper functions |
 cfl_indexset.cpp | Classes IndexSet |
 cfl_indexset.h | Classes IndexSet, TaIndexSet |
 cfl_localgen.cpp | Helper functions for projected generators |
 cfl_localgen.h | Helper functions for projected generators |
 cfl_nameset.cpp | Classes NameSet |
 cfl_nameset.h | Classes NameSet, TaNameSet |
 cfl_omega.cpp | Operations regarding omega languages |
 cfl_omega.h | Operations on omega languages |
 cfl_parallel.cpp | Parallel composition |
 cfl_parallel.h | Parallel composition |
 cfl_platform.cpp | Platform dependant wrappers |
 cfl_platform.h | Platform dependant wrappers |
 cfl_project.cpp | Projection and subset construction |
 cfl_project.h | Language projection |
 cfl_registry.cpp | Runtime interface, registry for faudes types and functions |
 cfl_registry.h | Runtime interface, registry for faudes-types and functions |
 cfl_regular.cpp | Operations on regular languages |
 cfl_regular.h | Operations on regular languages |
 cfl_statemin.cpp | State space minimization |
 cfl_statemin.h | State space minimization |
 cfl_symbolset.cpp | Class SymbolSet |
 cfl_symbolset.h | Class SymbolSet, TaSymbolSet |
 cfl_symboltable.cpp | Class SymbolTable |
 cfl_symboltable.h | Class SymbolTable |
 cfl_token.cpp | Class Token |
 cfl_token.h | Class Token |
 cfl_tokenreader.cpp | Class TokenReader |
 cfl_tokenreader.h | Class TokenReader |
 cfl_tokenwriter.cpp | Class TokenWriter |
 cfl_tokenwriter.h | Class TokenWriter |
 cfl_transset.cpp | |
 cfl_transset.h | Classes Transition, TTransSet and TaTransSet |
 cfl_types.cpp | Runtime interface, faudes types |
 cfl_types.h | Runtime interface, faudes types |
 corefaudes.h | Includes all libFAUDES headers, no plugins |
 exefaudes.cpp | Example application for executor class |
 flxinstall.cpp | |
 fts2ftx.cpp | |
 gen2dot.cpp | |
 iobridge.cpp | Test utility for IO devices |
 iomonitor.cpp | Test utility for IO devices |
 iop_comedi.cpp | Low-level access to physical device over comedi-driver |
 iop_comedi.h | Hardware access via comedi |
 iop_d3ripDART.cpp | D3ripDART protocol and friends |
 iop_d3ripDART.h | Iodevice for d3ripDART protocol and friends |
 iop_d3ripURT.cpp | D3ripURT protocol and friends |
 iop_d3ripURT.h | Iodevice for d3ripURT protocol and friends |
 iop_include.h | Includes all io device headers |
 iop_modbus.cpp | Process image via modbus/tcp |
 iop_modbus.h | Process image via modbus/tcp |
 iop_sdevice.cpp | Virtual device for interface definition |
 iop_sdevice.h | Virtual device for signal based io |
 iop_serial.cpp | |
 iop_serial.h | Process image via serial line |
 iop_simplenet.cpp | Simple networked events via tcp/ip |
 iop_simplenet.h | Simple networked events via TCP/IP |
 iop_vdevice.cpp | Virtual device for interface definition |
 iop_vdevice.h | Virtual device for interface definition |
 iop_wago.cpp | Access to wago-kbus |
 iop_wago.h | Hardware access via comedi |
 iop_xdevice.cpp | Device container with vDevice interface |
 iop_xdevice.h | Virtual device for interface definition |
 libfaudes.h | Includes all libFAUDES headers, incl plugings |
 perfloop.cpp | Elementary template for performance evaluation |
 ref2html.cpp | |
 rti2code.cpp | |
 simfaudes.cpp | Simple simulator application for faudes generators |
 sp_densityfnct.cpp | Discrete density function approximation |
 sp_densityfnct.h | |
 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 |
 tp_1_tgenerator.cpp | Tutorial, class faudes::TimedGenerator |
 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 |