00001 // -*- c++ -*- 00002 //***************************************************************************** 00015 //***************************************************************************** 00016 00017 #ifndef polybori_cudd_cudd_h_ 00018 #define polybori_cudd_cudd_h_ 00019 00020 #include "../../../../Cudd/cudd/cudd.h" 00021 00022 #endif
1.5.6