BooleSet.cc File Reference

#include "BooleSet.h"
#include "BooleMonomial.h"
#include "BooleExponent.h"
#include "BoolePolyRing.h"
#include "CIdxPath.h"
#include "PBoRiOutIter.h"
#include <iterator>
#include "pbori_algo.h"
#include "pbori_algo_int.h"
#include "pbori_defs.h"
#include "pbori_func.h"
#include "CCuddNavigator.h"
#include "pbori_routines.h"
#include "CDDOperations.h"
#include "CCacheManagement.h"
#include "CGenericIter.h"

Namespaces
namespace	polybori

---

Detailed Description

Author:

Alexander Dreyer

Date:

2006-04-19

This file implements the class BooleSet, where carries the definition of sets of Boolean variables.

Copyright:

(c) 2006 by The PolyBoRi Team