This class adds order-related functionality to BooleRing. More...
#include <BoolePolyRing.h>
Public Types | |
typedef BoolePolyRing | self |
generic access to current type | |
typedef BooleRing | base |
generic access to base type | |
typedef BooleExponent | exp_type |
define exponent type | |
typedef BooleMonomial | monom_type |
set monomial type | |
typedef std::vector< idx_type > | block_idx_type |
Type for block indices. | |
typedef block_idx_type::const_iterator | block_iterator |
Type for block iterators. | |
typedef CDynamicOrderBase | order_type |
Type for handling mterm orderings. | |
typedef order_type & | order_reference |
Reference for handling mterm orderings. | |
Public Member Functions | |
typedef | PBORI_SHARED_PTR (order_type) order_ptr |
Smart pointer for handling mterm orderings. | |
BoolePolyRing (size_type nvars=100, ordercode_type order=lp, bool_type make_active=true) | |
Constructor for nvars variables. | |
~BoolePolyRing () | |
destructor | |
void | activate () |
Make this global ring. | |
void | changeOrdering (ordercode_type) |
Change order of current ring. | |
idx_type | lastBlockStart () |
order_reference | ordering () const |
Access ordering of *this. | |
Protected Attributes | |
order_ptr | pOrder |
*Ordering of *this |
This class adds order-related functionality to BooleRing.
typedef BooleRing BoolePolyRing::base |
generic access to base type
Reimplemented from BooleRing.
typedef std::vector<idx_type> BoolePolyRing::block_idx_type |
Type for block indices.
typedef block_idx_type::const_iterator BoolePolyRing::block_iterator |
Type for block iterators.
typedef BooleExponent BoolePolyRing::exp_type |
define exponent type
set monomial type
typedef order_type& BoolePolyRing::order_reference |
Reference for handling mterm orderings.
Type for handling mterm orderings.
typedef BoolePolyRing BoolePolyRing::self |
generic access to current type
Reimplemented from BooleRing.
BoolePolyRing::BoolePolyRing | ( | size_type | nvars = 100 , |
|
ordercode_type | order = lp , |
|||
bool_type | make_active = true | |||
) |
Constructor for nvars variables.
References activate(), and PBORI_TRACE_FUNC.
BoolePolyRing::~BoolePolyRing | ( | ) | [inline] |
destructor
void BoolePolyRing::activate | ( | ) |
Make this global ring.
References PBORI_TRACE_FUNC, and BooleMonomial::set().
Referenced by BoolePolyRing().
void BoolePolyRing::changeOrdering | ( | ordercode_type | order | ) |
Change order of current ring.
References polybori::get_ordering(), PBORI_TRACE_FUNC, and pOrder.
Referenced by BooleEnv::changeOrdering().
idx_type BoolePolyRing::lastBlockStart | ( | ) | [inline] |
References CDynamicOrderBase::blockEnd(), CDynamicOrderBase::isLexicographical(), and ordering().
Referenced by BooleEnv::lastBlockStart().
order_reference BoolePolyRing::ordering | ( | ) | const [inline] |
Access ordering of *this.
References pOrder.
Referenced by lastBlockStart(), and BooleEnv::ordering().
typedef BoolePolyRing::PBORI_SHARED_PTR | ( | order_type | ) |
Smart pointer for handling mterm orderings.
order_ptr BoolePolyRing::pOrder [protected] |
*Ordering of *this
Referenced by changeOrdering(), and ordering().