PolyBoRi
|
This class implements block orderings for COrderingFacade. OrderType must inherit from COrderingFacade<OrderType>. More...
#include <CBlockOrderingFacade.h>
Public Types | |
typedef self | base |
*this is to be used as base for OrderType only | |
Declare template argument-dependent types | |
typedef base_type::order_lead_tag | order_lead_tag |
Tag for for leading monomial cache. | |
typedef base_type::poly_type | poly_type |
typedef base_type::monom_type | monom_type |
typedef base_type::exp_type | exp_type |
typedef base_type::deg_type | deg_type |
typedef base_type::set_type | set_type |
typedef base_type::comp_type | comp_type |
Public Member Functions | |
CBlockOrderingFacade () | |
Default Constructor. | |
CBlockOrderingFacade (const self &rhs) | |
Copy Constructor. | |
~CBlockOrderingFacade ()=0 | |
Destructor. | |
monom_type | lead (const poly_type &poly) const |
generic block lead | |
monom_type | lead (const poly_type &poly, deg_type) const |
exp_type | leadExp (const poly_type &poly) const |
Extraction of leading exponent - just using lead. | |
exp_type | leadExp (const poly_type &poly, deg_type) const |
interface for block orderings | |
COrderingBase::block_iterator | blockBegin () const |
COrderingBase::block_iterator | blockEnd () const |
void | appendBlock (COrderingBase::checked_idx_type idx) |
void | clearBlocks () |
Protected Member Functions | |
template<class TermType , class BinOpType > | |
comp_type | compare_terms (const TermType &lhs, const TermType &rhs, const BinOpType &idx_comparer) const |
Comparison of monomials/expoinents template. | |
Protected Attributes | |
COrderingBase::block_idx_type | m_indices |
index data |
This class implements block orderings for COrderingFacade. OrderType must inherit from COrderingFacade<OrderType>.
*this is to be used as base for OrderType
only
Reimplemented from polybori::COrderingFacade< OrderType, OrderTag >.
typedef base_type::comp_type polybori::CBlockOrderingFacade::comp_type |
typedef base_type::deg_type polybori::CBlockOrderingFacade::deg_type |
typedef base_type::exp_type polybori::CBlockOrderingFacade::exp_type |
typedef base_type::monom_type polybori::CBlockOrderingFacade::monom_type |
Tag for for leading monomial cache.
Reimplemented from polybori::COrderingFacade< OrderType, OrderTag >.
typedef base_type::poly_type polybori::CBlockOrderingFacade::poly_type |
typedef base_type::set_type polybori::CBlockOrderingFacade::set_type |
polybori::CBlockOrderingFacade::CBlockOrderingFacade | ( | ) | [inline] |
Default Constructor.
polybori::CBlockOrderingFacade::CBlockOrderingFacade | ( | const self & | rhs | ) | [inline] |
Copy Constructor.
polybori::CBlockOrderingFacade::~CBlockOrderingFacade | ( | ) | [inline, pure virtual] |
Destructor.
void polybori::CBlockOrderingFacade::appendBlock | ( | COrderingBase::checked_idx_type | idx | ) | [inline] |
COrderingBase::block_iterator polybori::CBlockOrderingFacade::blockBegin | ( | ) | const [inline] |
COrderingBase::block_iterator polybori::CBlockOrderingFacade::blockEnd | ( | ) | const [inline] |
void polybori::CBlockOrderingFacade::clearBlocks | ( | ) | [inline] |
comp_type polybori::CBlockOrderingFacade::compare_terms | ( | const TermType & | lhs, |
const TermType & | rhs, | ||
const BinOpType & | idx_comparer | ||
) | const [inline, protected] |
Comparison of monomials/expoinents template.
monom_type polybori::CBlockOrderingFacade::lead | ( | const poly_type & | poly | ) | const [inline] |
generic block lead
monom_type polybori::CBlockOrderingFacade::lead | ( | const poly_type & | poly, |
deg_type | |||
) | const [inline] |
Leading monomial with bound (just the ordinary leading monomial)
lead
, ignores second argument Extraction of leading exponent - just using lead.
exp_type polybori::CBlockOrderingFacade::leadExp | ( | const poly_type & | poly, |
deg_type | |||
) | const [inline] |
Leading exponent with bound (just the ordinary leading monomial)
leadExp
, ignores second argument index data