PolyBoRi
Public Types | Public Member Functions
polybori::BlockDegRevLexAscOrder Class Reference

This class defines ordering related functions. More...

#include <BlockDegRevLexAscOrder.h>

Inheritance diagram for polybori::BlockDegRevLexAscOrder:
polybori::CBlockOrderingFacade< BlockDegRevLexAscOrder, block_dp_asc_tag > polybori::COrderingFacade< BlockDegRevLexAscOrder, block_dp_asc_tag > polybori::COrderingBase polybori::COrderingTags< block_dp_asc_tag > polybori::order_traits< block_dp_asc_tag > polybori::CAuxTypes polybori::CBlockDegreeOrderingTags< block_dp_asc_tag, invalid_tag > polybori::COrderingTagsBase< block_dp_asc_tag, invalid_tag, invalid_tag, valid_tag, invalid_tag >

List of all members.

Public Types

typedef std::greater< idx_typeidx_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.

Detailed Description

This class defines ordering related functions.


Member Typedef Documentation

Define binary predicate for index comparision.


Constructor & Destructor Documentation

polybori::BlockDegRevLexAscOrder::BlockDegRevLexAscOrder ( ) [inline]

Default Constructor.

polybori::BlockDegRevLexAscOrder::BlockDegRevLexAscOrder ( const self rhs) [inline]

Copy Constructor.

polybori::BlockDegRevLexAscOrder::~BlockDegRevLexAscOrder ( ) [inline]

Destructor.


Member Function Documentation

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(), and PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::comp_type polybori::BlockDegRevLexAscOrder::compare ( const exp_type lhs,
const exp_type rhs 
) const [virtual]

Comparison of exponent vectors.

Implements polybori::COrderingBase.

BlockDegRevLexAscOrder::comp_type polybori::BlockDegRevLexAscOrder::compare ( const monom_type lhs,
const monom_type rhs 
) const [virtual]

Comparison of monomials.

Implements polybori::COrderingBase.


The documentation for this class was generated from the following files: