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