PolyBoRi
|
00001 // -*- c++ -*- 00002 //***************************************************************************** 00015 //***************************************************************************** 00016 00017 #ifndef polybori_cudd_cuddInt_h_ 00018 #define polybori_cudd_cuddInt_h_ 00019 00020 #include "polybori/cudd/prefix.h" 00021 #include <cudd/cuddInt.h> 00022 00023 #endif