00001 #include <bdd.h> 00002 // Bag Operations 00003 double getOcc(bdd feature, bdd family); 00004 00005 bdd setOcc(int feature,int occ, bdd &family); 00006 00007 bdd bagUnion (bdd b1, bdd b2); 00008 00009 bdd bagIntersection (bdd b1, bdd b2); 00010 00011 00012 00013