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_routines.h"
#include "CDDOperations.h"
#include "CCacheManagement.h"
#include "CGenericIter.h"
#include "LexOrder.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 by  doxygen 1.6.2