- Main Page
- Classes
- Files

- File List
- File Members

# bag.h

Go to the documentation of this file.

    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