|
PolyBoRi
|
#include "pbori_defs.h"#include "BoolePolynomial.h"#include "BooleMonomial.h"#include "BooleExponent.h"#include "COrderingBase.h"#include "COrderingTags.h"#include "COrderedIter.h"#include "pbori_tags.h"#include "order_traits.h"#include "pbori_func.h"Go to the source code of this file.
Classes | |
| class | polybori::COrderingFacade< OrderType, OrderTag > |
| This class initialize the interface for orderings of CDynamicOrderBase for a given OrderType. OrderType must inherit from COrderingFacade<OrderType>. More... | |
Namespaces | |
| namespace | polybori |
Defines generic classes for ordering management for polynomial rings.
1.7.4