PolyBoRi
Classes | Namespaces
CRingCore.h File Reference
#include "pbori_defs.h"
#include <boost/intrusive_ptr.hpp>
#include "CVariableNames.h"
#include "cudd.h"

Go to the source code of this file.

Classes

class  polybori::CRingCore

Namespaces

namespace  polybori

Detailed Description

Author:
Alexander Dreyer
Date:
2010-08-09

Defines a class, which stores the data of a polynomial ring

Copyright:
(c) 2010 by The PolyBoRi Team