pfa.h File Reference

Go to the source code of this file.

Classes

struct  less_bdd

Typedefs

typedef set< bdd, less_bddFAMILY

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.


Generated on Wed Sep 2 12:41:47 2009 by  doxygen 1.5.8