#include <bdd.h>
Go to the source code of this file.
Functions | |
double | getOcc (bdd feature, bdd family) |
bdd | setOcc (int feature, int occ, bdd &family) |
bdd | bagUnion (bdd b1, bdd b2) |
bdd | bagIntersection (bdd b1, bdd b2) |
bdd bagIntersection | ( | bdd | b1, | |
bdd | b2 | |||
) |
This function returns the bag intersection between two given bags b1,b2. The the result will contain the elements that the given original bags contain.
bdd bagUnion | ( | bdd | b1, | |
bdd | b2 | |||
) |
This functions unions two bags, b1 and b2, and returns the resultant bag containing the elements in the original two bags.
double getOcc | ( | bdd | feature, | |
bdd | family | |||
) |
Given an element, and a bag, this function get the number of occurances of that element in the bag.
bdd setOcc | ( | int | feature, | |
int | occ, | |||
bdd & | family | |||
) |
Given an element number, the number of occurances and a bag, family, this funciton sets the number of occurances of the element in the family. The function returns a bag(bdd) with the occurance changed.