#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 |
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.
polybori::BoolePolyRing::BoolePolyRing | ( | size_type | nvars = 100 , |
|
ordercode_type | order = lp , |
|||
bool_type | make_active = true | |||
) |
polybori::BoolePolyRing::~BoolePolyRing | ( | ) | [inline] |
destructor
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().
idx_type polybori::BoolePolyRing::lastBlockStart | ( | ) | [inline] |
Referenced by polybori::BooleEnv::lastBlockStart().
order_reference polybori::BoolePolyRing::ordering | ( | ) | const [inline] |
order_ptr polybori::BoolePolyRing::pOrder [protected] |