# pfa.h File Reference

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)

## Typedef Documentation

typedef set<bdd, less_bdd> FAMILY

## Function Documentation

FAMILY DOT | ( | FAMILY | f1,
|  | FAMILY | f2 |
| ) |  |  | `[inline]`

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).

FAMILY PLUS | ( | FAMILY | f1,
|  | FAMILY | f2 |
| ) |  |  | `[inline]`

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.