corefaudes.h

Go to the documentation of this file.

/** @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_conflequiv.h"
#include "cfl_bisimulation.h"
#include "cfl_bisimcta.h"
#include "cfl_cgenerator.h"
 
#endif