Go to the source code of this file.
Functions | |
bdd | setUnion (bdd s1, bdd s2) |
bdd | setIntersection (bdd s1, bdd s2) |
bdd | setXOR (bdd s1, bdd s2) |
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.
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.