Go to the source code of this file.
Classes | |
struct | less_bdd |
Typedefs | |
typedef set< bdd, less_bdd > | FAMILY |
Functions | |
FAMILY | DOT (FAMILY f1, FAMILY f2) |
FAMILY | PLUS (FAMILY f1, FAMILY f2) |
This is the DOT function on the upper level sets. Given two families, f1 and f2, it returns a new family which is the dot of the two orignal families. the function behaves differently if we use the set model or the bag model. In the set model, we utilize the setUnion on sets (bdds) while in the bag model, we ultilize the bagUnion on bags(bdds).
This function is the PLUS funtion on the upper level sets. Given two families, f1 and f2, it returns a new family which is the plus of the two original familes. The plus is the union of the upper sets.