PolyBoRi
BlockDegRevLexAscOrder.h
Go to the documentation of this file.
1 // -*- c++ -*-
2 //*****************************************************************************
14 //*****************************************************************************
15 
16 #ifndef polybori_BlockDegRevLexAscOrder_h_
17 #define polybori_BlockDegRevLexAscOrder_h_
18 
19 // include basic definitions
20 #include <polybori/pbori_defs.h>
21 
22 // include base order definitions
25 
27 
34  public CBlockOrderingFacade<BlockDegRevLexAscOrder, block_dp_asc_tag> {
35 
37  typedef BlockDegRevLexAscOrder self;
38 
39 public:
41  typedef std::greater<idx_type> idx_comparer_type;
42 
45 
47  BlockDegRevLexAscOrder(const self& rhs): base(rhs) {};
48 
51 
53  comp_type compare(idx_type, idx_type) const;
54 
56  comp_type compare(const monom_type&, const monom_type&) const;
57 
59  comp_type compare(const exp_type&, const exp_type&) const;
60 
61 };
62 
63 
65 
66 #endif // polybori_BlockDegRevLexAscOrder_h_
#define END_NAMESPACE_PBORI
Finish project's namespace.
Definition: pbori_defs.h:77
This class defines ordering related functions.
Definition: BlockDegRevLexAscOrder.h:33
#define BEGIN_NAMESPACE_PBORI
Start project's namespace.
Definition: pbori_defs.h:74
BlockDegRevLexAscOrder(const self &rhs)
Copy Constructor.
Definition: BlockDegRevLexAscOrder.h:47
This class implements block orderings for COrderingFacade. OrderType must inherit from COrderingFacad...
Definition: CBlockOrderingFacade.h:28
~BlockDegRevLexAscOrder()
Destructor.
Definition: BlockDegRevLexAscOrder.h:50
Definition: COrderingBase.h:43
BlockDegRevLexAscOrder()
Default Constructor.
Definition: BlockDegRevLexAscOrder.h:44
std::greater< idx_type > idx_comparer_type
Define binary predicate for index comparision.
Definition: BlockDegRevLexAscOrder.h:41
polybori::CTypes::idx_type idx_type
Definition: groebner_defs.h:44