PolyBoRi: pbori_routines.h Source File

00001 // -*- c++ -*-
00002 //*****************************************************************************
00014 //*****************************************************************************
00015 
00016 #ifndef polybori_routines_pbori_routines_h_
00017 #define polybori_routines_pbori_routines_h_
00018 
00019 // include basic definitions
00020 #include <polybori/pbori_defs.h>
00021 
00022 // include polybori algorithms and functionals
00023 #include "pbori_algo.h"
00024 #include "pbori_func.h"
00025 
00026 // Get routines, which add features related to decision diagrams
00027 #include "pbori_routines_dd.h"
00028 
00029 // Get routines, which add features related to Cudd library
00030 #include "pbori_routines_cuddext.h"
00031 
00032 // Get additional routines
00033 #include "pbori_routines_misc.h"
00034 
00035 // Get order-related routines
00036 #include "pbori_routines_order.h"
00037 
00038 // Get hash-related routines
00039 #include "pbori_routines_hash.h"
00040 
00041 #endif