# 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"`

## Functions
int | main ()

## Function Documentation

int main | ( |  | ) |