#include <polybori/pbori_defs.h>#include <polybori/BoolePolynomial.h>#include <polybori/BooleMonomial.h>#include <polybori/BooleExponent.h>#include "COrderingBase.h"#include "COrderingTags.h"#include <polybori/iterators/COrderedIter.h>#include <polybori/common/tags.h>#include "order_traits.h"#include <polybori/routines/pbori_func.h>Go to the source code of this file.
Namespaces | |
| namespace | polybori |
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... | |
1.5.6