PolyBoRi
Public Types | Public Member Functions | Protected Attributes
polybori::BoolePolyRing Class Reference

This class adds order-related functionality to BooleRing. More...

#include <BoolePolyRing.h>

List of all members.

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_typeorder_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

Detailed Description

This class adds order-related functionality to BooleRing.


Member Typedef Documentation

typedef BooleRing polybori::BoolePolyRing::base

generic access to base type

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.

typedef CDynamicOrderBase polybori::BoolePolyRing::order_type

Type for handling mterm orderings.

generic access to current type


Constructor & Destructor Documentation

polybori::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.

destructor


Member Function Documentation

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 PBORI_TRACE_FUNC, and pOrder.

Access ordering of *this.


Member Data Documentation

*Ordering of *this

Referenced by changeOrdering().


The documentation for this class was generated from the following files: