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 boost::shared_ptr < order_type > | order_ptr |
Smart pointer for handling mterm orderings. | |
typedef order_type & | order_reference |
Reference for handling mterm orderings. | |
Public Member Functions | |
BoolePolyRing () | |
Default constructor. | |
BoolePolyRing (size_type nvars, ordercode_type order=lp, bool_type make_active=true) | |
Constructor for nvars variables. | |
~BoolePolyRing () | |
destructor | |
void | activate () |
Make this global ring. | |
BoolePolyRing (const base &rhs, order_ptr order) | |
Support for deep copy constructor. | |
void | changeOrdering (ordercode_type) |
Change order of current ring. | |
idx_type | lastBlockStart () |
order_reference | ordering () const |
Access ordering of *this. | |
self | clone () const |
Construct ring with similiar properties. | |
Protected Attributes | |
order_ptr | pOrder |
*Ordering of *this |
This class adds order-related functionality to BooleRing.
generic access to base type
Reimplemented from polybori::BooleRing.
typedef std::vector<idx_type> polybori::BoolePolyRing::block_idx_type |
Type for block indices.
typedef block_idx_type::const_iterator polybori::BoolePolyRing::block_iterator |
Type for block iterators.
define exponent type
set monomial type
typedef boost::shared_ptr< order_type > polybori::BoolePolyRing::order_ptr |
Smart pointer for handling mterm orderings.
Reference for handling mterm orderings.
Type for handling mterm orderings.
generic access to current type
Reimplemented from polybori::BooleRing.
polybori::BoolePolyRing::BoolePolyRing | ( | ) |
Default constructor.
References PBORI_TRACE_FUNC.
polybori::BoolePolyRing::BoolePolyRing | ( | size_type | nvars, | |
ordercode_type | order = lp , |
|||
bool_type | make_active = true | |||
) | [explicit] |
Constructor for nvars variables.
References activate(), and PBORI_TRACE_FUNC.
polybori::BoolePolyRing::~BoolePolyRing | ( | ) | [inline] |
destructor
Support for deep copy constructor.
void polybori::BoolePolyRing::activate | ( | ) |
Make this global ring.
References PBORI_TRACE_FUNC, and polybori::BooleEnv::set().
Referenced by BoolePolyRing().
void polybori::BoolePolyRing::changeOrdering | ( | ordercode_type | order | ) |
Change order of current ring.
References polybori::get_ordering(), PBORI_TRACE_FUNC, and pOrder.
Referenced by polybori::BooleEnv::changeOrdering().
self polybori::BoolePolyRing::clone | ( | ) | const [inline] |
Construct ring with similiar properties.
Reimplemented from polybori::BooleRing.
idx_type polybori::BoolePolyRing::lastBlockStart | ( | ) | [inline] |
Referenced by polybori::BooleEnv::lastBlockStart().
order_reference polybori::BoolePolyRing::ordering | ( | ) | const [inline] |
Access ordering of *this.
Referenced by polybori::BooleEnv::ordering().
order_ptr polybori::BoolePolyRing::pOrder [protected] |
*Ordering of *this
Referenced by changeOrdering().