PolyBoRi
|
#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 |
Defines a class, which stores the data of a polynomial ring