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