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