#include <iostream>
Go to the source code of this file.
Variables | |
int | number_of_vars |
int | model |
int | occ_bitsize |
const unsigned int | bitsize = occ_bitsize |
int | levels = number_of_vars - occ_bitsize |
int | index = 36 |
bdd | one_1 = bdd_ithvar(0) |
const unsigned int bitsize = occ_bitsize |
the number of bits to represent the occurances of elements in a bag model. The occurances are represented in binary
int index = 36 |
int levels = number_of_vars - occ_bitsize |
int model |
/var the number of elements in a set
int number_of_vars |
int occ_bitsize |
/var specifies wether the model is a set model or a bag model. The set model is 0 and the bag model is 1
bdd one_1 = bdd_ithvar(0) |