File List
Here is a list of all files with brief descriptions:
o*1_generator.cppTutorial, Generator methods
o*2_containers.cppTutorial, container classes
o*3_functions.cppTutorial, operations on genarators
o*4_cgenerator.cppTutorial, generator with controllability attributes
o*5_attributes.cppTutorial, attributes
o*6_algorithm.cppTutorial, implementing generator algorithms
o*7_interface.cppTutorial, runtime interface
o*cfl_agenerator.cppGenerator class with attributes
o*cfl_agenerator.hAttributed generator class TaGenerator
o*cfl_attributes.cppClasses AttributeVoid and AttributeFlags
o*cfl_attributes.hClasses AttributeVoid and AttributeFlags
o*cfl_attrmap.cpp
o*cfl_attrmap.hClass TAttrMap
o*cfl_baseset.cpp
o*cfl_baseset.hClass TBaseSet
o*cfl_basevector.cpp
o*cfl_basevector.hClass TBaseVector
o*cfl_bisimulation.cppBisimulation relations
o*cfl_bisimulation.hBisimulation relations
o*cfl_cgenerator.cppClasses TcGenerator, System and AttributeCFlags
o*cfl_cgenerator.hClasses TcGenerator, System and AttributeCFlags
o*cfl_conflequiv.cppAbstractions that maintaine conflict-equivalence
o*cfl_conflequiv.hAbstractions that maintaine conflict-equivalence
o*cfl_definitions.hCompiletime options
o*cfl_determin.cppPowerset construction
o*cfl_determin.hPowersetset construction
o*cfl_elementary.cppRuntime interface, elementary types
o*cfl_elementary.hRuntime interface, elementary types
o*cfl_exception.cppClass Exception
o*cfl_exception.hClass Exception
o*cfl_functions.cppRuntime interface, operations on faudes types
o*cfl_functions.hRuntime interface, operations on faudes types
o*cfl_generator.cppClass vGenerator
o*cfl_generator.hClass vGenerator
o*cfl_graphfncts.cppOperations on (directed) graphs
o*cfl_graphfncts.hOperations on (directed) graphs
o*cfl_helper.cppHelper functions
o*cfl_helper.hHelper functions
o*cfl_indexset.cppClasses IndexSet
o*cfl_indexset.hClasses IndexSet, TaIndexSet
o*cfl_localgen.cppHelper functions for projected generators
o*cfl_localgen.hHelper functions for projected generators
o*cfl_nameset.cppClasses NameSet
o*cfl_nameset.hClasses NameSet, TaNameSet
o*cfl_omega.cppOperations regarding omega languages
o*cfl_omega.hOperations on omega languages
o*cfl_parallel.cppParallel composition
o*cfl_parallel.hParallel composition
o*cfl_platform.cppPlatform dependant wrappers
o*cfl_platform.hPlatform dependant wrappers
o*cfl_project.cppProjection and subset construction
o*cfl_project.hLanguage projection
o*cfl_registry.cppRuntime interface, registry for faudes types and functions
o*cfl_registry.hRuntime interface, registry for faudes-types and functions
o*cfl_regular.cppOperations on regular languages
o*cfl_regular.hOperations on regular languages
o*cfl_statemin.cppState space minimization
o*cfl_statemin.hState space minimization
o*cfl_symbolset.cppClass SymbolSet
o*cfl_symbolset.hClass SymbolSet, TaSymbolSet
o*cfl_symboltable.cppClass SymbolTable
o*cfl_symboltable.hClass SymbolTable
o*cfl_token.cppClass Token
o*cfl_token.hClass Token
o*cfl_tokenreader.cppClass TokenReader
o*cfl_tokenreader.hClass TokenReader
o*cfl_tokenwriter.cppClass TokenWriter
o*cfl_tokenwriter.hClass TokenWriter
o*cfl_transset.cpp
o*cfl_transset.hClasses Transition, TTransSet and TaTransSet
o*cfl_types.cppRuntime interface, faudes types
o*cfl_types.hRuntime interface, faudes types
o*corefaudes.hIncludes all libFAUDES headers, no plugins
o*exefaudes.cppExample application for executor class
o*flxinstall.cpp
o*fts2ftx.cpp
o*gen2dot.cpp
o*iobridge.cppTest utility for IO devices
o*iomonitor.cppTest utility for IO devices
o*iop_comedi.cppLow-level access to physical device over comedi-driver
o*iop_comedi.hHardware access via comedi
o*iop_d3ripDART.cppD3ripDART protocol and friends
o*iop_d3ripDART.hIodevice for d3ripDART protocol and friends
o*iop_d3ripURT.cppD3ripURT protocol and friends
o*iop_d3ripURT.hIodevice for d3ripURT protocol and friends
o*iop_include.hIncludes all io device headers
o*iop_modbus.cppProcess image via modbus/tcp
o*iop_modbus.hProcess image via modbus/tcp
o*iop_sdevice.cppVirtual device for interface definition
o*iop_sdevice.hVirtual device for signal based io
o*iop_serial.cpp
o*iop_serial.hProcess image via serial line
o*iop_simplenet.cppSimple networked events via tcp/ip
o*iop_simplenet.hSimple networked events via TCP/IP
o*iop_vdevice.cppVirtual device for interface definition
o*iop_vdevice.hVirtual device for interface definition
o*iop_wago.cppAccess to wago-kbus
o*iop_wago.hHardware access via comedi
o*iop_xdevice.cppDevice container with vDevice interface
o*iop_xdevice.hVirtual device for interface definition
o*libfaudes.hIncludes all libFAUDES headers, incl plugings
o*perfloop.cppElementary template for performance evaluation
o*ref2html.cpp
o*rti2code.cpp
o*simfaudes.cppSimple simulator application for faudes generators
o*sp_densityfnct.cppDiscrete density function approximation
o*sp_densityfnct.h
o*sp_dplpexecutor.cppExecutor with IO device
o*sp_dplpexecutor.hExecutor with IO device
o*sp_executor.cppExecute transitions in a timed generator
o*sp_executor.hExecute transitions in a timed generator
o*sp_include.hIncludes all simulator plugin headers
o*sp_lpexecutor.cppExecutor with logging facilities
o*sp_lpexecutor.hExecutor with logging facilities
o*sp_pexecutor.cppExecutor for multiple synchronized timed generators
o*sp_pexecutor.hExecutor for multiple synchronized timed generators
o*sp_plpexecutor.cppExecutor that proposes transitions to execute
o*sp_plpexecutor.hExecutor that proposes transitions to execute
o*sp_random.cppEvaluating random variables
o*sp_random.hEvaluating random variables
o*sp_simconditionset.cppSet of named simulation conditions
o*sp_simconditionset.hSet of named simulation conditions
o*sp_simeventset.cppEventsets with execution data for simulation
o*sp_simeventset.hEventsets with execution data for simulation
o*tp_1_tgenerator.cppTutorial, class faudes::TimedGenerator
o*tp_2_constraints.cppTutorial, class faudes::TimeConstraint
o*tp_3_parallel.cppTutorial, timed parallel composition
o*tp_attributes.cppAttributes for timed automata
o*tp_attributes.hAttributes for timed automata
o*tp_include.hInclude timed plugin headers
o*tp_tgenerator.cpp
o*tp_tgenerator.hTimed generator class TtGenerator
o*tp_timeconstraint.cpp
o*tp_timeconstraint.hClasses ClockSet, ElemConstraint and TimeConstraint
o*tp_timeinterval.cpp
o*tp_timeinterval.hClass TimeInterval
o*tp_tparallel.cpp
\*tp_tparallel.hParallel composition for timed automata

libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen