libFAUDES 2.11v File List

Here is a list of all files with brief descriptions:
1_generator.cpp [code]Tutorial, basic faudes::Generator methods
2_sets.cpp [code]Tutorial, container classes
3_regular.cpp [code]Tutorial, operations on genarators
4_cgenerator.cpp [code]Tutorial, std monolitic synthesis
5_attributes.cpp [code]Tutorial, attributes
6_algorithm.cpp [code]Tutorial, implementing generator algorithms
agenerator.cpp [code]
agenerator.h [code]Classes TaGenerator and Generator
attributes.cpp [code]Classes AttributeVoid and AttributeFlags
attributes.h [code]Classes AttributeVoid and AttributeFlags
baseset.cpp [code]
baseset.h [code]Class TBaseSet
cgenerator.cpp [code]Classes TcGenerator, cGenerator and AttributeCFlags
cgenerator.h [code]Classes TcGenerator, cGenerator and AttributeCFlags
cgenfunct.cpp [code]Convenience functions for cGenerator
cgenfunct.h [code]Convenience functions for cGenerator
corefaudes.h [code]Includes all libFAUDES headers, no plugins
definitions.h [code]Compiletime options, doxygen pages/sections
exception.cpp [code]Class Exception
exception.h [code]Class Exception
exefaudes.cpp [code]Example application for executor class
gen2dot.cpp [code]
gen2dot.h [code]
helper.cpp [code]Helper functions
helper.h [code]Helper functions
indexset.cpp [code]Classes IndexSet
indexset.h [code]Classes IndexSet, TaIndexSet
interface.cpp [code]Interface to types and operations
interface.h [code]Interface to types and operations
libfaudes.h [code]Includes all libFAUDES headers, incl plugings
localgen.cpp [code]
localgen.h [code]
nameset.cpp [code]Classes NameSet
nameset.h [code]Classes NameSet, TaNameSet
op_bisimulation.cpp [code]Methods to compute bisimulations on dynamic systems (represented by a finite automaton)
op_bisimulation.h [code]Methods to compute bisimulations on dynamic systems (represented by a finite automaton)
op_debug.h [code]
op_ex_bisim.cpp [code]Tutorial, computation of the coarsest quasi-congruence
op_ex_mc.cpp [code]This tutorial demonstrates methods for verifying the mutual controllability condition of two given automata
op_ex_synthesis.cpp [code]Tutorial, synthesis of natural projections with certain properties
op_ex_verification.cpp [code]Tutorial, verification of properties of natural projections
op_include.h [code]Includes all observer plugin headers
op_mc.cpp [code]Method to verify mutual controllability for two given generators
op_mc.h [code]Method to verify mutual controllability for two given generators
op_observercomputation.cpp [code]Methods to compute natural projections that exhibit the obsrver property
op_observercomputation.h [code]Methods to compute natural projections that exhibit the obsrver property
op_obserververification.cpp [code]Methods to verify the obsrver condition for natural projections
op_obserververification.h [code]Methods to verify the obsrver condition for natural projections
op_partition.cpp [code]Data structure that implements an equivalence class in the bisimulation algorithm
op_partition.h [code]Data structure that implements an equivalence class in the bisimulation algorithm
parallel.cpp [code]Parallel composition
parallel.h [code]Parallel composition
pex_altaccess.cpp [code]Example plugin
pex_altaccess.h [code]Example plugin
pex_include.h [code]Include example plugin headers
pex_tutorial.cpp [code]Tutorial, example plugin
project.cpp [code]Projection and subset construction
project.h [code]Projection and subset construction
regular.cpp [code]Operations on regular languages
regular.h [code]Operations on regular languages
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
statemin.cpp [code]State space minimization
statemin.h [code]State space minimization
supcon.cpp [code]Supcon.h Supremal controllable sublanguage
supcon.h [code]Supcon.h Supremal controllable sublanguage
symbolset.cpp [code]Class SymbolSet
symbolset.h [code]Class SymbolSet, TaSymbolSet
symboltable.cpp [code]Class SymbolTable
symboltable.h [code]Class SymbolTable
token.cpp [code]Class Token
token.h [code]Class Token
tokenreader.cpp [code]Class TokenReader
tokenreader.h [code]Class TokenReader
tokenwriter.cpp [code]Class TokenWriter
tokenwriter.h [code]Class TokenWriter
tp_1_tgenerator.cpp [code]Tutorial, class faudes::tGenerator
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]Classes TtGenerator and tGenerator
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
transset.cpp [code]
transset.h [code]Classes Transition, TTransSet and TaTransSet
vgenerator.cpp [code]Class vGenerator
vgenerator.h [code]Class vGenerator
winextra.h [code]Workaround missing posix functions

Generated on Mon Nov 10 08:13:14 2008 for libFAUDES 2.11v by  doxygen 1.4.4