src Directory Reference

Directories

directory  doxygen
 

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_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]
 

libFAUDES 2.32f --- 2024.12.22 --- c++ api documentaion by doxygen