Files | |
file | agenerator.cpp [code] |
file | agenerator.h [code] |
Classes TaGenerator and Generator. | |
file | attributes.cpp [code] |
Classes AttributeVoid and AttributeFlags. | |
file | attributes.h [code] |
Classes AttributeVoid and AttributeFlags. | |
file | baseset.cpp [code] |
file | baseset.h [code] |
Class TBaseSet. | |
file | cgenerator.cpp [code] |
Classes TcGenerator, cGenerator and AttributeCFlags. | |
file | cgenerator.h [code] |
Classes TcGenerator, cGenerator and AttributeCFlags. | |
file | cgenfunct.cpp [code] |
convenience functions for cGenerator | |
file | cgenfunct.h [code] |
convenience functions for cGenerator | |
file | definitions.h [code] |
Compiletime options, doxygen pages/sections. | |
file | exception.cpp [code] |
Class Exception. | |
file | exception.h [code] |
Class Exception. | |
file | gen2dot.cpp [code] |
file | gen2dot.h [code] |
file | helper.cpp [code] |
file | helper.h [code] |
file | indexset.cpp [code] |
Classes IndexSet. | |
file | indexset.h [code] |
Classes IndexSet, TaIndexSet. | |
file | libfaudes.h [code] |
Includes all libFAUDES headers. | |
file | localgen.cpp [code] |
file | localgen.h [code] |
file | nameset.cpp [code] |
Classes NameSet. | |
file | nameset.h [code] |
Classes NameSet, TaNameSet. | |
file | parallel.cpp [code] |
parallel composition | |
file | parallel.h [code] |
parallel composition | |
file | project.cpp [code] |
projection and subset construction | |
file | project.h [code] |
projection and subset construction | |
file | regular.cpp [code] |
Operations on regular languages. | |
file | regular.h [code] |
Operations on regular languages. | |
file | statemin.cpp [code] |
state space minimization | |
file | statemin.h [code] |
state space minimization | |
file | supcon.cpp [code] |
supcon.h Supremal controllable sublanguage | |
file | supcon.h [code] |
supcon.h Supremal controllable sublanguage | |
file | symboltable.cpp [code] |
Class SymbolTable. | |
file | symboltable.h [code] |
Class SymbolTable. | |
file | token.cpp [code] |
Class Token. | |
file | token.h [code] |
Class Token. | |
file | tokenreader.cpp [code] |
Class TokenReader. | |
file | tokenreader.h [code] |
Class TokenReader. | |
file | tokenwriter.cpp [code] |
Class TokenWriter. | |
file | tokenwriter.h [code] |
Class TokenWriter. | |
file | transset.cpp [code] |
file | transset.h [code] |
Classes Transition, TTransSet and TaTransSet. | |
file | vgenerator.cpp [code] |
Class vGenerator. | |
file | vgenerator.h [code] |
Class vGenerator. | |
file | winextra.h [code] |
Workaround missing posix functions. |