PolyBoRi
Classes | Namespaces
CDDOperations.h File Reference
#include <polybori/pbori_defs.h>
#include <polybori/cudd/cudd.h>
#include <polybori/routines/pbori_routines.h>
#include <polybori/cache/CCacheManagement.h>
#include <polybori/BoolePolyRing.h>

Go to the source code of this file.

Classes

class  polybori::CDDOperations< DDType, MonomType >
 

Namespaces

namespace  polybori
 

Detailed Description

Author
Alexander Dreyer
Date
2006-08-29

This file implements an internal template class for geenric CDDOperations;

Copyright:
(c) 2006 by The PolyBoRi Team