|
PolyBoRi
|
#include "pbori_defs.h"#include "pbori_tags.h"#include "BoolePolynomial.h"#include "BooleMonomial.h"#include "BooleExponent.h"#include "COrderedIter.h"Go to the source code of this file.
Classes | |
| class | polybori::COrderBase |
| This class defines ordering related functions. More... | |
Namespaces | |
| namespace | polybori |
This file defines a base class for orderings.
1.7.4