loadme.h File Reference

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


Variable Documentation

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 model

/var the number of elements in a set

/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)


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