DegRevLexAscOrder.h
Go to the documentation of this file.
// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************
#ifndef polybori_DegRevLexAscOrder_h_
#define polybori_DegRevLexAscOrder_h_
// include basic definitions
#include <polybori/pbori_defs.h>
// include base order definitions
#include <polybori/orderings/COrderingFacade.h>
#include <polybori/orderings/COrderingTags.h>
BEGIN_NAMESPACE_PBORI
class DegRevLexAscOrder:
public COrderingFacade<DegRevLexAscOrder, dp_asc_tag> {
typedef DegRevLexAscOrder self;
public:
typedef std::greater<idx_type> idx_comparer_type;
DegRevLexAscOrder(): base() {};
DegRevLexAscOrder(const self& rhs): base(rhs) {};
~DegRevLexAscOrder() {};
comp_type compare(idx_type, idx_type) const;
comp_type compare(const monom_type&, const monom_type&) const;
comp_type compare(const exp_type&, const exp_type&) const;
monom_type lead(const poly_type&) const;
monom_type lead(const poly_type& poly, deg_type bound) const;
exp_type leadExp(const poly_type&) const;
exp_type leadExp(const poly_type&, deg_type) const;
};
END_NAMESPACE_PBORI
#endif // polybori_DegRevLexAscOrder_h_
polybori::DegRevLexAscOrder::~DegRevLexAscOrder
~DegRevLexAscOrder()
Destructor.
Definition: DegRevLexAscOrder.h:50
END_NAMESPACE_PBORI
#define END_NAMESPACE_PBORI
Finish project's namespace.
Definition: pbori_defs.h:77
BEGIN_NAMESPACE_PBORI
#define BEGIN_NAMESPACE_PBORI
Start project's namespace.
Definition: pbori_defs.h:74
polybori::COrderingFacade
This class initialize the interface for orderings of CDynamicOrderBase for a given OrderType...
Definition: COrderingFacade.h:43
polybori::DegRevLexAscOrder
This class defines ordering related functions.
Definition: DegRevLexAscOrder.h:33
COrderingFacade.h
polybori::groebner::deg_type
int deg_type
Definition: groebner_defs.h:42
polybori::COrderingBase
Definition: COrderingBase.h:43
pbori_defs.h
polybori::DegRevLexAscOrder::idx_comparer_type
std::greater< idx_type > idx_comparer_type
Define binary predicate for index comparision.
Definition: DegRevLexAscOrder.h:41
polybori::DegRevLexAscOrder::DegRevLexAscOrder
DegRevLexAscOrder()
Default Constructor.
Definition: DegRevLexAscOrder.h:44
COrderingTags.h
polybori::groebner::idx_type
polybori::CTypes::idx_type idx_type
Definition: groebner_defs.h:44
polybori::DegRevLexAscOrder::DegRevLexAscOrder
DegRevLexAscOrder(const self &rhs)
Copy Constructor.
Definition: DegRevLexAscOrder.h:47