faudes/csource/corefaudes_8h_source.html

 /** @file corefaudes.h Includes all libFAUDES headers, no plugins */


 /* FAU Discrete Event Systems Library (libfaudes)


    Copyright (C) 2006  Bernd Opitz

    Exclusive copyright is granted to Klaus Schmidt


    This library is free software; you can redistribute it and/or

    modify it under the terms of the GNU Lesser General Public

    License as published by the Free Software Foundation; either

    version 2.1 of the License, or (at your option) any later version.


    This library is distributed in the hope that it will be useful,

    but WITHOUT ANY WARRANTY; without even the implied warranty of

    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU

    Lesser General Public License for more details.


    You should have received a copy of the GNU Lesser General Public

    License along with this library; if not, write to the Free Software

    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA */


 #ifndef FAUDES_COREFAUDES_H

 #define FAUDES_COREFAUDES_H


 #include "cfl_definitions.h"


 #include "cfl_platform.h"

 #include "cfl_utils.h"

 #include "cfl_exception.h"

 #include "cfl_registry.h"

 #include "cfl_attributes.h"

 #include "cfl_baseset.h"

 #include "cfl_basevector.h"

 #include "cfl_elementary.h"

 #include "cfl_indexset.h"

 #include "cfl_symbolset.h"

 #include "cfl_nameset.h"

 #include "cfl_transset.h"

 #include "cfl_generator.h"

 #include "cfl_agenerator.h"

 #include "cfl_graphfncts.h"

 #include "cfl_parallel.h"

 #include "cfl_project.h"

 #include "cfl_determin.h"

 #include "cfl_regular.h"

 #include "cfl_statemin.h"

 #include "cfl_omega.h"

 #include "cfl_conflequiv.h"

 #include "cfl_bisimulation.h"

 #include "cfl_bisimcta.h"

 #include "cfl_cgenerator.h"


 #endif

cfl_agenerator.h
Attributed generator class TaGenerator.

cfl_attributes.h
Classes AttributeVoid and AttributeFlags

cfl_baseset.h
Class TBaseSet.

cfl_basevector.h
Class TBaseVector.

cfl_bisimcta.h
Bisimulation relations.

cfl_bisimulation.h
Bisimulation relations.

cfl_cgenerator.h
Classes TcGenerator, System and AttributeCFlags.

cfl_conflequiv.h

cfl_definitions.h
Compiletime options.

cfl_determin.h
powersetset construction

cfl_elementary.h
Runtime interface, elementary types.

cfl_exception.h
Class Exception.

cfl_generator.h
Class vGenerator.

cfl_graphfncts.h
Operations on (directed) graphs.

cfl_indexset.h
Classes IndexSet, TaIndexSet.

cfl_nameset.h
Classes NameSet, TaNameSet.

cfl_omega.h
Operations on omega languages.

cfl_parallel.h
parallel composition

cfl_platform.h
Platform dependant wrappers.

cfl_project.h
language projection

cfl_registry.h
Runtime interface, registry for faudes-types and functions.

cfl_regular.h
Operations on regular languages.

cfl_statemin.h
state space minimization

cfl_symbolset.h
Class SymbolSet, TaSymbolSet.

cfl_transset.h
Classes Transition, TTransSet and TaTransSet.

cfl_utils.h
C-level utilities functions.