Files |
| file | cfl_agenerator.cpp [code] |
| | Generator class with attributes.
|
| file | cfl_agenerator.h [code] |
| | Attributed generator class TaGenerator.
|
| file | cfl_attributes.cpp [code] |
| | Classes AttributeVoid and AttributeFlags.
|
| file | cfl_attributes.h [code] |
| | Classes AttributeVoid and AttributeFlags.
|
| file | cfl_attrmap.cpp [code] |
| file | cfl_attrmap.h [code] |
| | Class TAttrMap.
|
| file | cfl_baseset.cpp [code] |
| file | cfl_baseset.h [code] |
| | Class TBaseSet.
|
| file | cfl_basevector.cpp [code] |
| file | cfl_basevector.h [code] |
| | Class TBaseVector.
|
| file | cfl_bisimulation.cpp [code] |
| | Bisimulation relations.
|
| file | cfl_bisimulation.h [code] |
| | Bisimulation relations.
|
| file | cfl_cgenerator.cpp [code] |
| | Classes TcGenerator, System and AttributeCFlags.
|
| file | cfl_cgenerator.h [code] |
| | Classes TcGenerator, System and AttributeCFlags.
|
| file | cfl_conflequiv.cpp [code] |
| | Abstractions that maintaine conflict-equivalence.
|
| file | cfl_conflequiv.h [code] |
| | Abstractions that maintaine conflict-equivalence.
|
| file | cfl_definitions.h [code] |
| | Compiletime options.
|
| file | cfl_determin.cpp [code] |
| | powerset construction
|
| file | cfl_determin.h [code] |
| | powersetset construction
|
| file | cfl_elementary.cpp [code] |
| | Runtime interface, elementary types.
|
| file | cfl_elementary.h [code] |
| | Runtime interface, elementary types.
|
| file | cfl_exception.cpp [code] |
| | Class Exception.
|
| file | cfl_exception.h [code] |
| | Class Exception.
|
| file | cfl_functions.cpp [code] |
| | Runtime interface, operations on faudes types.
|
| file | cfl_functions.h [code] |
| | Runtime interface, operations on faudes types.
|
| file | cfl_generator.cpp [code] |
| | Class vGenerator.
|
| file | cfl_generator.h [code] |
| | Class vGenerator.
|
| file | cfl_graphfncts.cpp [code] |
| | Operations on (directed) graphs.
|
| file | cfl_graphfncts.h [code] |
| | Operations on (directed) graphs.
|
| file | cfl_helper.cpp [code] |
| | Helper functions.
|
| file | cfl_helper.h [code] |
| | Helper functions.
|
| file | cfl_indexset.cpp [code] |
| | Classes IndexSet.
|
| file | cfl_indexset.h [code] |
| | Classes IndexSet, TaIndexSet.
|
| file | cfl_localgen.cpp [code] |
| | Helper functions for projected generators.
|
| file | cfl_localgen.h [code] |
| | Helper functions for projected generators.
|
| file | cfl_nameset.cpp [code] |
| | Classes NameSet.
|
| file | cfl_nameset.h [code] |
| | Classes NameSet, TaNameSet.
|
| file | cfl_omega.cpp [code] |
| | Operations regarding omega languages.
|
| file | cfl_omega.h [code] |
| | Operations on omega languages.
|
| file | cfl_parallel.cpp [code] |
| | parallel composition
|
| file | cfl_parallel.h [code] |
| | parallel composition
|
| file | cfl_platform.cpp [code] |
| | Platform dependant wrappers.
|
| file | cfl_platform.h [code] |
| | Platform dependant wrappers.
|
| file | cfl_project.cpp [code] |
| | projection and subset construction
|
| file | cfl_project.h [code] |
| | language projection
|
| file | cfl_registry.cpp [code] |
| | Runtime interface, registry for faudes types and functions.
|
| file | cfl_registry.h [code] |
| | Runtime interface, registry for faudes-types and functions.
|
| file | cfl_regular.cpp [code] |
| | Operations on regular languages.
|
| file | cfl_regular.h [code] |
| | Operations on regular languages.
|
| file | cfl_statemin.cpp [code] |
| | state space minimization
|
| file | cfl_statemin.h [code] |
| | state space minimization
|
| file | cfl_symbolset.cpp [code] |
| | Class SymbolSet.
|
| file | cfl_symbolset.h [code] |
| | Class SymbolSet, TaSymbolSet.
|
| file | cfl_symboltable.cpp [code] |
| | Class SymbolTable.
|
| file | cfl_symboltable.h [code] |
| | Class SymbolTable.
|
| file | cfl_token.cpp [code] |
| | Class Token.
|
| file | cfl_token.h [code] |
| | Class Token.
|
| file | cfl_tokenreader.cpp [code] |
| | Class TokenReader.
|
| file | cfl_tokenreader.h [code] |
| | Class TokenReader.
|
| file | cfl_tokenwriter.cpp [code] |
| | Class TokenWriter.
|
| file | cfl_tokenwriter.h [code] |
| | Class TokenWriter.
|
| file | cfl_transset.cpp [code] |
| file | cfl_transset.h [code] |
| | Classes Transition, TTransSet and TaTransSet.
|
| file | cfl_types.cpp [code] |
| | Runtime interface, faudes types.
|
| file | cfl_types.h [code] |
| | Runtime interface, faudes types.
|
| file | corefaudes.h [code] |
| | Includes all libFAUDES headers, no plugins.
|
| file | flxinstall.cpp [code] |
| file | fts2ftx.cpp [code] |
| file | gen2dot.cpp [code] |
| file | libfaudes.h [code] |
| | Includes all libFAUDES headers, incl plugings.
|
| file | ref2html.cpp [code] |
| file | rti2code.cpp [code] |