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