PolyBoRi

pbori_routines.h

Go to the documentation of this file.
00001 // -*- c++ -*-
00002 //*****************************************************************************
00043 //*****************************************************************************
00044 
00045 // include basic definitions
00046 #include "pbori_defs.h"
00047 
00048 // include polybori algorithms and functionals
00049 #include "pbori_algo.h"
00050 #include "pbori_func.h"
00051 
00052 #ifndef PBORI_ROUTINES_H_
00053 #define PBORI_ROUTINES_H_
00054 
00055 
00056 // Get routines, which add features related to decision diagrams
00057 #include "pbori_routines_dd.h"
00058 
00059 // Get routines, which add features related to Cudd library
00060 #include "pbori_routines_cuddext.h"
00061 
00062 // Get additional routines
00063 #include "pbori_routines_misc.h"
00064 
00065 // Get order-related routines
00066 #include "pbori_routines_order.h"
00067 
00068 // Get hash-related routines
00069 #include "pbori_routines_hash.h"
00070 
00071 #endif