#include "set.h"
#include <bdd.h>
Functions | |
bdd | setUnion (bdd s1, bdd s2) |
bdd | setIntersection (bdd s1, bdd s2) |
bdd | setXOR (bdd s1, bdd s2) |
bool | setIsMember (bdd feature, bdd family) |
bdd | setComplement (bdd family) |
void | setInsert (bdd feature, bdd &family) |
void | setRemove (bdd feature, bdd &family) |
bool | setIsEmpty (bdd family) |
void | setEnumerate (bdd family) |
bdd setComplement | ( | bdd | family | ) |
void setEnumerate | ( | bdd | family | ) |
void setInsert | ( | bdd | feature, | |
bdd & | family | |||
) |
bdd setIntersection | ( | bdd | s1, | |
bdd | s2 | |||
) |
This funtions the set intersection between two sets. The returned set contains the elements that are shared in the original sets.
bool setIsEmpty | ( | bdd | family | ) |
bool setIsMember | ( | bdd | feature, | |
bdd | family | |||
) |
void setRemove | ( | bdd | feature, | |
bdd & | family | |||
) |
bdd setUnion | ( | bdd | s1, | |
bdd | s2 | |||
) |
Set Operations Module This module contains the operations on sets. It is used when we use the set model. The operations takes place on the bdd level. Every bdd in a set model, is a set and hence these functions operate on sets (bdds). This function is the set uinon between two sets. The returned set contains both the elements of the unioned sets.
bdd setXOR | ( | bdd | s1, | |
bdd | s2 | |||
) |
This function is the xor between two sets. The returned set contains all the elements in both the sets except the common ones.