#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) |