libFAUDES 2.09b 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
definitions.h [code]Compiletime options, doxygen pages/sections
exception.cpp [code]Class Exception
exception.h [code]Class Exception
gen2dot.cpp [code]
gen2dot.h [code]
helper.cpp [code]
helper.h [code]
indexset.cpp [code]Classes IndexSet
indexset.h [code]Classes IndexSet, TaIndexSet
libfaudes.h [code]Includes all libFAUDES headers
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_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_observer.h [code]Includes all observer plugin headers
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
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
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
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
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 Fri May 9 11:26:47 2008 for libFAUDES 2.09b by  doxygen 1.4.4