PolyBoRi
Public Types | Public Member Functions

polybori::DegRevLexAscOrder Class Reference

This class defines ordering related functions. More...

#include <DegRevLexAscOrder.h>

Inheritance diagram for polybori::DegRevLexAscOrder:
polybori::COrderBase polybori::CAuxTypes

List of all members.

Public Types

enum  { order_code = CTypes::dp_asc, baseorder_code = order_code }
 

Get order code.

More...
typedef DegRevLexAscOrder self
 generic access to current type
typedef std::greater< idx_typeidx_comparer_type
 Define binary predicate for index comparision.
define generic property markers
typedef valid_tag symmetry_property
typedef valid_tag degorder_property
typedef valid_tag totaldegorder_property
typedef valid_tag ascending_property
typedef valid_tag degrevlexorder_property
typedef dp_asc_tag order_tag

Public Member Functions

 DegRevLexAscOrder ()
 Default Constructor.
 DegRevLexAscOrder (const self &rhs)
 Copy Constructor.
 ~DegRevLexAscOrder ()
 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, deg_type) const
 Get leading term (using upper bound)
exp_type leadExp (const poly_type &) const
 Get leading exponent.
exp_type leadExp (const poly_type &, deg_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

Detailed Description

This class defines ordering related functions.


Member Typedef Documentation

Reimplemented from polybori::COrderBase.

Reimplemented from polybori::COrderBase.

Reimplemented from polybori::COrderBase.

Define binary predicate for index comparision.

generic access to current type

Reimplemented from polybori::COrderBase.

Reimplemented from polybori::COrderBase.


Member Enumeration Documentation

anonymous enum

Get order code.

Enumerator:
order_code 
baseorder_code 

Constructor & Destructor Documentation

polybori::DegRevLexAscOrder::DegRevLexAscOrder ( ) [inline]

Default Constructor.

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

Copy Constructor.

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

Destructor.


Member Function Documentation

comp_type polybori::DegRevLexAscOrder::compare ( idx_type  ,
idx_type   
) const [virtual]

Comparison of indices corresponding to variables.

Implements polybori::COrderBase.

comp_type polybori::DegRevLexAscOrder::compare ( const monom_type ,
const monom_type  
) const [virtual]

Comparison of monomials.

Implements polybori::COrderBase.

comp_type polybori::DegRevLexAscOrder::compare ( const exp_type ,
const exp_type  
) const [virtual]

Comparison of exponent vectors.

Implements polybori::COrderBase.

monom_type polybori::DegRevLexAscOrder::lead ( const poly_type ) const [virtual]

Get leading term.

Implements polybori::COrderBase.

monom_type polybori::DegRevLexAscOrder::lead ( const poly_type poly,
deg_type   
) const [virtual]

Get leading term (using upper bound)

Implements polybori::COrderBase.

exp_type polybori::DegRevLexAscOrder::leadExp ( const poly_type ,
deg_type   
) const [virtual]

Get leading exponent (using an upper bound)

Implements polybori::COrderBase.

exp_type polybori::DegRevLexAscOrder::leadExp ( const poly_type ) const [virtual]

Get leading exponent.

Implements polybori::COrderBase.

indirect_exp_iterator polybori::DegRevLexAscOrder::leadExpIteratorBegin ( const poly_type ) const [virtual]

Implements polybori::COrderBase.

indirect_exp_iterator polybori::DegRevLexAscOrder::leadExpIteratorEnd ( ) const [virtual]

Implements polybori::COrderBase.

indirect_iterator polybori::DegRevLexAscOrder::leadIteratorBegin ( const poly_type ) const [virtual]

Initialize iterator corresponding to leading term.

Implements polybori::COrderBase.

indirect_iterator polybori::DegRevLexAscOrder::leadIteratorEnd ( ) const [virtual]

Implements polybori::COrderBase.


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