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