00001 // -*- c++ -*- 00002 //***************************************************************************** 00019 //***************************************************************************** 00020 00021 #ifndef polybori_cudd_prefix_h_ 00022 #define polybori_cudd_prefix_h_ 00023 00024 #ifdef PBORI_USE_ORIGINAL_CUDD 00025 #define PBORI_PREFIX(name) name 00026 #else 00027 #define PBORI_PREFIX(name) pbori_ ## name 00028 #endif 00029 00030 #endif
1.5.6