PolyBoRi
|
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 (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.
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.
BEGIN_NAMESPACE_PBORI 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.
polybori::BoolePolyRing::~BoolePolyRing | ( | ) | [inline] |
destructor
void BoolePolyRing::activate | ( | ) |
Make this global ring.
References PBORI_TRACE_FUNC, and polybori::BooleEnv::set().
Referenced by BoolePolyRing().
void BoolePolyRing::changeOrdering | ( | ordercode_type | code | ) |
Change order of current ring.
BooleEnv::idx_type BooleEnv::lastBlockStart | ( | ) | [inline] |
BooleEnv::order_type & BooleEnv::ordering | ( | ) | const [inline] |
Access ordering of *this.
order_ptr polybori::BoolePolyRing::pOrder [protected] |
*Ordering of *this