#include <iostream>
using namespace std;

// Global Variables
//int number_of_vars; /*! /var the number of elements in a set */ 
//int model; /*! /var specifies wether the model is a set model or a bag model. The set model is 0 and the bag model is 1*/ 
//int occ_bitsize; /*! the number of bits to represent the occurances of elements in a bag model. The occurances are represented in binary*/
const unsigned int bitsize = occ_bitsize;
int levels = number_of_vars - occ_bitsize;
//int index = 36;
bdd one_1 = bdd_ithvar(0);   // reserve this to one bddFamily
string names[1000];






