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