setbag.h File Reference

#include <bdd.h>
#include <iostream>
#include <bitset>
#include "bag.h"
#include "set.h"

Go to the source code of this file.

Functions

bdd bag2set (bdd bag)
bdd set2bag (bdd set)


Function Documentation

bdd bag2set ( bdd  bag  ) 

This function converts a bag, bag, to a set and returns it. The function removes the cardinality part of elements. The elements with cardinality greater that zero will be present in the result set. Otherwise, they won't.

bdd set2bag ( bdd  set  ) 

This function converts a given set to a bag. The result will be having a an extension for cardinality part. The elements that are present will have a cardinality of 1, otherwise it will be 0.


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