corefaudes.h File Reference

Includes all libFAUDES headers, no plugins. More...

#include "cfl_definitions.h"
#include "cfl_platform.h"
#include "cfl_helper.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"

Go to the source code of this file.

Detailed Description

Includes all libFAUDES headers, no plugins.

Definition in file corefaudes.h.