- Main Page
- Classes
- Files

- File List
- File Members

# loadme.h

Go to the documentation of this file.

    00001 #include <iostream>
    00002 using namespace std;
    00003
    00004 // Global Variables
    00005 int number_of_vars;
    00006 int model;
    00007 int occ_bitsize;
    00008 const unsigned int bitsize = occ_bitsize;
    00009 int levels = number_of_vars - occ_bitsize;
    00010 int index = 36;
    00011 bdd one_1 = bdd_ithvar(0);   // reserve this to one bddFamily
    00012
    00013
    00014
    00015
    00016
    00017