#include <polybori/pbori_defs.h>#include "COrderingBase.h"#include <polybori/LexOrder.h>#include <polybori/DegLexOrder.h>#include <polybori/DegRevLexAscOrder.h>#include <polybori/BlockDegLexOrder.h>#include <polybori/BlockDegRevLexAscOrder.h>Go to the source code of this file.
Namespaces | |
| namespace | polybori |
Classes | |
| class | polybori::lex_compare_predicate< LhsType, RhsType, BinaryPredicate > |
| defines lexicographic comparison functor More... | |
Functions | |
| boost::shared_ptr< COrderingBase > | polybori::get_ordering (CTypes::ordercode_type order) |
1.5.6