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
Generated on Tue May 4 08:22:49 2010 for PolyBoRi by  doxygen 1.6.3