polybori::LexOrder Class Reference

This class defines ordering related functions. More...

#include <LexOrder.h>

List of all members.

Public Types
enum	{ order_code = CTypes::lp, baseorder_code = order_code }
	Get order code. More...
typedef LexOrder	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	lex_property
typedef valid_tag	ordered_property
typedef valid_tag	symmetry_property
typedef valid_tag	descending_property
typedef lex_tag	order_tag
Public Member Functions
	LexOrder ()
	Default Constructor.
	LexOrder (const self &rhs)
	Copy Constructor.
	~LexOrder ()
	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 &poly, size_type) const
	Get leading exponent (using 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

typedef valid_tag polybori::LexOrder::descending_property

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

Define binary predicate for index comparision.

typedef valid_tag polybori::LexOrder::lex_property

typedef lex_tag polybori::LexOrder::order_tag

typedef valid_tag polybori::LexOrder::ordered_property

typedef LexOrder polybori::LexOrder::self

generic access to current type

typedef valid_tag polybori::LexOrder::symmetry_property

---

Member Enumeration Documentation

anonymous enum

Get order code.

Enumerator:

order_code
baseorder_code

---

Constructor & Destructor Documentation

polybori::LexOrder::LexOrder

(

)

[inline]

Default Constructor.

polybori::LexOrder::LexOrder

(

const self &

rhs

)

[inline]

Copy Constructor.

polybori::LexOrder::~LexOrder

(

)

[inline]

Destructor.

---

Member Function Documentation

LexOrder::comp_type polybori::LexOrder::compare	(	idx_type	lhs,
		idx_type	rhs
	)		const

Comparison of indices corresponding to variables.

References polybori::generic_compare_3way(), and PBORI_TRACE_FUNC.

Referenced by polybori::groebner::LexOrderGreaterComparer::operator()().

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

Comparison of monomials.

References polybori::lex_compare(), and PBORI_TRACE_FUNC.

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

Comparison of exponent vectors.

References polybori::lex_compare(), and PBORI_TRACE_FUNC.

LexOrder::monom_type polybori::LexOrder::lead

(

const poly_type &

poly

)

const

Get leading term.

References PBORI_TRACE_FUNC, and polybori::reversed_inter_copy().

Referenced by polybori::BoolePolynomial::firstTerm(), and polybori::BoolePolynomial::lexLead().

monom_type polybori::LexOrder::lead	(	const poly_type &	poly,
		size_type
	)		const [inline]

Get leading term (using upper bound)

References lead().

Referenced by lead().

LexOrder::exp_type polybori::LexOrder::leadExp

(

const poly_type &

poly

)

const

Get leading exponent.

References PBORI_TRACE_FUNC.

exp_type polybori::LexOrder::leadExp	(	const poly_type &	poly,
		size_type
	)		const [inline]

Get leading exponent (using upper bound)

LexOrder::indirect_exp_iterator polybori::LexOrder::leadExpIteratorBegin

(

const poly_type &

poly

)

const

References PBORI_TRACE_FUNC.

LexOrder::indirect_exp_iterator polybori::LexOrder::leadExpIteratorEnd

(

)

const

References PBORI_TRACE_FUNC.

LexOrder::indirect_iterator polybori::LexOrder::leadIteratorBegin

(

const poly_type &

poly

)

const

Initialize iterator corresponding to leading term.

References PBORI_TRACE_FUNC.

LexOrder::indirect_iterator polybori::LexOrder::leadIteratorEnd

(

)

const

References PBORI_TRACE_FUNC.

---

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

• LexOrder.h
• LexOrder.cc