#include <BlockDegRevLexAscOrder.h>

Public Types | |
| typedef std::greater< idx_type > | idx_comparer_type |
| Define binary predicate for index comparision. | |
Public Member Functions | |
| BlockDegRevLexAscOrder () | |
| Default Constructor. | |
| BlockDegRevLexAscOrder (const self &rhs) | |
| Copy Constructor. | |
| ~BlockDegRevLexAscOrder () | |
| Destructor. | |
| comp_type | compare (idx_type, idx_type) const |
| Comparison of indices corresponding to variables. | |
| comp_type | compare (const monom_type &, const monom_type &) const |
| Comparison of monomials. | |
| comp_type | compare (const exp_type &, const exp_type &) const |
| Comparison of exponent vectors. | |
| typedef std::greater<idx_type> polybori::BlockDegRevLexAscOrder::idx_comparer_type |
Define binary predicate for index comparision.
| polybori::BlockDegRevLexAscOrder::BlockDegRevLexAscOrder | ( | ) | [inline] |
Default Constructor.
| polybori::BlockDegRevLexAscOrder::BlockDegRevLexAscOrder | ( | const self & | rhs | ) | [inline] |
Copy Constructor.
| polybori::BlockDegRevLexAscOrder::~BlockDegRevLexAscOrder | ( | ) | [inline] |
Destructor.
| BlockDegRevLexAscOrder::comp_type polybori::BlockDegRevLexAscOrder::compare | ( | idx_type | lhs, | |
| idx_type | rhs | |||
| ) | const [virtual] |
Comparison of indices corresponding to variables.
Implements polybori::COrderingBase.
References polybori::block_deg_lex_idx_compare(), polybori::CBlockOrderingFacade< OrderType, OrderTag >::blockBegin(), polybori::CBlockOrderingFacade< OrderType, OrderTag >::blockEnd(), and PBORI_TRACE_FUNC.
| BlockDegRevLexAscOrder::comp_type polybori::BlockDegRevLexAscOrder::compare | ( | const monom_type & | lhs, | |
| const monom_type & | rhs | |||
| ) | const [virtual] |
Comparison of monomials.
Implements polybori::COrderingBase.
References polybori::CBlockOrderingFacade< OrderType, OrderTag >::compare_terms().
| BlockDegRevLexAscOrder::comp_type polybori::BlockDegRevLexAscOrder::compare | ( | const exp_type & | lhs, | |
| const exp_type & | rhs | |||
| ) | const [virtual] |
Comparison of exponent vectors.
Implements polybori::COrderingBase.
References polybori::CBlockOrderingFacade< OrderType, OrderTag >::compare_terms().
1.5.6