|
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_bisimcta.cpp [code] |
| Bisimulation relations (CTA)
|
|
file | cfl_bisimcta.h [code] |
| Bisimulation relations.
|
|
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] |
|
file | cfl_conflequiv.h [code] |
|
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_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 | cfl_utils.cpp [code] |
| C-level utility functions.
|
|
file | cfl_utils.h [code] |
| C-level utilities functions.
|
|
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] |
|