set_old.cpp File Reference

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

Function Documentation

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.


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