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