00001 #include <iostream> 00002 using namespace std; 00003 00004 // Global Variables 00005 int number_of_vars; 00006 int model; 00007 int occ_bitsize; 00008 const unsigned int bitsize = occ_bitsize; 00009 int levels = number_of_vars - occ_bitsize; 00010 int index = 36; 00011 bdd one_1 = bdd_ithvar(0); // reserve this to one bddFamily 00012 00013 00014 00015 00016 00017