main.cpp File Reference

#include <stdlib.h>
#include <bdd.h>
#include <bvec.h>
#include <cmath>
#include <iostream>
#include <bitset>
#include <set>
#include <algorithm>
#include "ConfigFile.h"
#include "loadme.h"
#include "bag.h"
#include "set.h"
#include "bag.cpp"
#include "set.cpp"
#include "setbag.h"
#include "pfa.h"
#include <iterator>
#include <utility>
#include "families.h"