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 |