BlockDegRevLexAscOrder Class Reference

This class defines ordering related functions. More...

#include <BlockDegRevLexAscOrder.h>

Inheritance diagram for BlockDegRevLexAscOrder:

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

typedef valid_tag BlockDegRevLexAscOrder::blockorder_property

Reimplemented from COrderBase.

typedef invalid_tag BlockDegRevLexAscOrder::descending_property

Reimplemented from COrderBase.

typedef std::greater<idx_type> BlockDegRevLexAscOrder::idx_comparer_type

Define binary predicate for index comparision.

typedef block_dp_asc_tag BlockDegRevLexAscOrder::order_tag

typedef BlockDegRevLexAscOrder BlockDegRevLexAscOrder::self

generic access to current type

---

Member Enumeration Documentation

anonymous enum

Get order code.

Enumerator:

order_code
baseorder_code

---

Constructor & Destructor Documentation

BlockDegRevLexAscOrder::BlockDegRevLexAscOrder

(

)

[inline]

Default Constructor.

References CCompareEnums::max_idx.

BlockDegRevLexAscOrder::BlockDegRevLexAscOrder

(

const self &

rhs

)

[inline]

Copy Constructor.

BlockDegRevLexAscOrder::~BlockDegRevLexAscOrder

(

)

[inline]

Destructor.

---

Member Function Documentation

void BlockDegRevLexAscOrder::appendBlock

(

idx_type

idx

)

[inline]

References CCompareEnums::max_idx.

block_iterator BlockDegRevLexAscOrder::blockBegin

(

)

const [inline, virtual]

Reimplemented from COrderBase.

Referenced by compare().

block_iterator BlockDegRevLexAscOrder::blockEnd

(

)

const [inline, virtual]

Reimplemented from COrderBase.

Referenced by compare().

void BlockDegRevLexAscOrder::clearBlocks

(

)

[inline]

References CCompareEnums::max_idx.

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

Comparison of exponent vectors.

Implements COrderBase.

References BooleExponent::begin(), polybori::block_dlex_compare(), blockBegin(), blockEnd(), BooleExponent::end(), and PBORI_TRACE_FUNC.

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

Comparison of monomials.

Implements COrderBase.

References BooleMonomial::begin(), polybori::block_dlex_compare(), blockBegin(), blockEnd(), BooleMonomial::end(), and PBORI_TRACE_FUNC.

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

Comparison of indices corresponding to variables.

Implements COrderBase.

References polybori::block_deg_lex_idx_compare(), blockBegin(), blockEnd(), and PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::monom_type BlockDegRevLexAscOrder::lead	(	const poly_type &	poly,
		size_type	bound
	)			const [virtual]

Get leading term (using upper bound).

Implements COrderBase.

References lead(), and PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::monom_type BlockDegRevLexAscOrder::lead

(

const poly_type &

poly

)

const [virtual]

Get leading term.

Implements COrderBase.

References polybori::dd_block_degree_lead(), BoolePolynomial::diagram(), COrderBase::monom(), BoolePolynomial::navigation(), and PBORI_TRACE_FUNC.

Referenced by lead(), and leadExp().

BlockDegRevLexAscOrder::exp_type BlockDegRevLexAscOrder::leadExp	(	const poly_type &	poly,
		size_type	bound
	)			const [virtual]

Get leading exponent (using an upper bound).

Implements COrderBase.

References leadExp(), and PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::exp_type BlockDegRevLexAscOrder::leadExp

(

const poly_type &

poly

)

const [virtual]

Get leading exponent.

Implements COrderBase.

References lead(), and PBORI_TRACE_FUNC.

Referenced by leadExp().

BlockDegRevLexAscOrder::indirect_exp_iterator BlockDegRevLexAscOrder::leadExpIteratorBegin

(

const poly_type &

poly

)

const [virtual]

Implements COrderBase.

References BoolePolynomial::diagram(), BoolePolynomial::navigation(), and PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::indirect_exp_iterator BlockDegRevLexAscOrder::leadExpIteratorEnd

(

)

const [virtual]

Implements COrderBase.

References PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::indirect_iterator BlockDegRevLexAscOrder::leadIteratorBegin

(

const poly_type &

poly

)

const [virtual]

Initialize iterator corresponding to leading term.

Implements COrderBase.

References BoolePolynomial::diagram(), BoolePolynomial::navigation(), and PBORI_TRACE_FUNC.

BlockDegRevLexAscOrder::indirect_iterator BlockDegRevLexAscOrder::leadIteratorEnd

(

)

const [virtual]

Implements COrderBase.

---

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

• BlockDegRevLexAscOrder.h
• BlockDegRevLexAscOrder.cc