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

This class defines ordering related functions. More...

#include <BlockDegRevLexAscOrder.h>

List of all members.

Public Types

enum  { order_code = CTypes::block_dp_asc, baseorder_code = CTypes::dp_asc }
 Get order code. More...
typedef BlockDegRevLexAscOrder self
 generic access to current type
typedef std::greater< idx_type > idx_comparer_type
 Define binary predicate for index comparision.
define generic property markers
typedef valid_tag blockorder_property
typedef invalid_tag descending_property
typedef block_dp_asc_tag order_tag

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.
monom_type lead (const poly_type &) const
 Get leading term.
monom_type lead (const poly_type &poly, size_type) const
 Get leading term (using upper bound)
exp_type leadExp (const poly_type &) const
 Get leading exponent.
exp_type leadExp (const poly_type &, size_type) const
 Get leading exponent (using an upper bound)
indirect_iterator leadIteratorBegin (const poly_type &) const
 Initialize iterator corresponding to leading term.
indirect_iterator leadIteratorEnd () const
indirect_exp_iterator leadExpIteratorBegin (const poly_type &) const
indirect_exp_iterator leadExpIteratorEnd () const
interface for block orderings
block_iterator blockBegin () const
block_iterator blockEnd () const
void appendBlock (idx_type idx)
void clearBlocks ()

Detailed Description

This class defines ordering related functions.


Member Typedef Documentation

Define binary predicate for index comparision.

generic access to current type


Member Enumeration Documentation

anonymous enum

Get order code.

Enumerator:
order_code 
baseorder_code 

Constructor & Destructor Documentation

Default Constructor.

Copy Constructor.

Destructor.


Member Function Documentation

void polybori::BlockDegRevLexAscOrder::appendBlock ( idx_type  idx) [inline]
block_iterator polybori::BlockDegRevLexAscOrder::blockBegin ( ) const [inline]
block_iterator polybori::BlockDegRevLexAscOrder::blockEnd ( ) const [inline]
BlockDegRevLexAscOrder::comp_type polybori::BlockDegRevLexAscOrder::compare ( idx_type  lhs,
idx_type  rhs 
) const

Comparison of indices corresponding to variables.

References polybori::block_deg_lex_idx_compare(), and PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::comp_type polybori::BlockDegRevLexAscOrder::compare ( const monom_type &  lhs,
const monom_type &  rhs 
) const

Comparison of monomials.

References polybori::block_dlex_compare(), and PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::comp_type polybori::BlockDegRevLexAscOrder::compare ( const exp_type &  lhs,
const exp_type &  rhs 
) const

Comparison of exponent vectors.

References polybori::block_dlex_compare(), and PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::monom_type polybori::BlockDegRevLexAscOrder::lead ( const poly_type &  poly) const

Get leading term.

References polybori::dd_block_degree_lead(), and PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::monom_type polybori::BlockDegRevLexAscOrder::lead ( const poly_type &  poly,
size_type  bound 
) const

Get leading term (using upper bound)

References PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::exp_type polybori::BlockDegRevLexAscOrder::leadExp ( const poly_type &  poly) const

Get leading exponent.

References PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::exp_type polybori::BlockDegRevLexAscOrder::leadExp ( const poly_type &  poly,
size_type  bound 
) const

Get leading exponent (using an upper bound)

References PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::indirect_exp_iterator polybori::BlockDegRevLexAscOrder::leadExpIteratorBegin ( const poly_type &  poly) const

References PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::indirect_exp_iterator polybori::BlockDegRevLexAscOrder::leadExpIteratorEnd ( ) const

References PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::indirect_iterator polybori::BlockDegRevLexAscOrder::leadIteratorBegin ( const poly_type &  poly) const

Initialize iterator corresponding to leading term.

References PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::indirect_iterator polybori::BlockDegRevLexAscOrder::leadIteratorEnd ( ) const

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