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

This class defines ordering related functions. More...

#include <BlockDegLexOrder.h>

List of all members.

Public Types

enum  { order_code = CTypes::block_dlex, baseorder_code = CTypes::dlex }
 Get order code. More...
typedef BlockDegLexOrder self
 generic access to current type
typedef std::less< idx_type > idx_comparer_type
 Define binary predicate for index comparision.
define generic property markers
typedef valid_tag blockorder_property
typedef valid_tag descending_property
typedef block_dlex_tag order_tag

Public Member Functions

 BlockDegLexOrder ()
 Default Constructor.
 BlockDegLexOrder (const self &rhs)
 Copy Constructor.
 ~BlockDegLexOrder ()
 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

typedef std::less<idx_type> polybori::BlockDegLexOrder::idx_comparer_type

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::BlockDegLexOrder::appendBlock ( idx_type  idx) [inline]
block_iterator polybori::BlockDegLexOrder::blockBegin ( ) const [inline]
block_iterator polybori::BlockDegLexOrder::blockEnd ( ) const [inline]
BlockDegLexOrder::comp_type polybori::BlockDegLexOrder::compare ( idx_type  lhs,
idx_type  rhs 
) const

Comparison of indices corresponding to variables.

References polybori::generic_compare_3way(), and PBORI_TRACE_FUNC.

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

Comparison of monomials.

References polybori::block_dlex_compare(), and PBORI_TRACE_FUNC.

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

Comparison of exponent vectors.

References polybori::block_dlex_compare(), and PBORI_TRACE_FUNC.

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

Get leading term.

References polybori::dd_block_degree_lead(), and PBORI_TRACE_FUNC.

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

Get leading term (using upper bound)

References PBORI_TRACE_FUNC.

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

Get leading exponent.

References PBORI_TRACE_FUNC.

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

Get leading exponent (using an upper bound)

References PBORI_TRACE_FUNC.

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

References PBORI_TRACE_FUNC.

BlockDegLexOrder::indirect_exp_iterator polybori::BlockDegLexOrder::leadExpIteratorEnd ( ) const

References PBORI_TRACE_FUNC.

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

Initialize iterator corresponding to leading term.

References PBORI_TRACE_FUNC.

BlockDegLexOrder::indirect_iterator polybori::BlockDegLexOrder::leadIteratorEnd ( ) const

References PBORI_TRACE_FUNC.


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