|
PolyBoRi
|
#include "pbori_defs.h"#include "BoolePolynomial.h"#include "BooleMonomial.h"#include "BooleExponent.h"#include "COrderedIter.h"#include "PBoRiError.h"#include "CCheckedIdx.h"#include <vector>Go to the source code of this file.
Classes | |
| class | polybori::COrderingBase |
Namespaces | |
| namespace | polybori |
Defines base class for ordering management for polynomial rings.
1.7.4