BoolePolyRing Class Reference

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

#include <BoolePolyRing.h>

Inheritance diagram for BoolePolyRing:
BooleRing COrderEnums CCompareEnums CAuxTypes

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

Detailed Description

This class adds order-related functionality to BooleRing.


Member Typedef Documentation

generic access to base type

Reimplemented from BooleRing.

Type for block indices.

typedef block_idx_type::const_iterator BoolePolyRing::block_iterator

Type for block iterators.

define exponent type

set monomial type

Reference for handling mterm orderings.

Type for handling mterm orderings.

generic access to current type

Reimplemented from BooleRing.


Constructor & Destructor Documentation

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


Member Function Documentation

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

Referenced by BooleEnv::changeOrdering().

idx_type BoolePolyRing::lastBlockStart (  )  [inline]
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.


Member Data Documentation

order_ptr BoolePolyRing::pOrder [protected]

*Ordering of *this

Referenced by changeOrdering(), and ordering().


The documentation for this class was generated from the following files:
Generated on Tue May 4 08:39:35 2010 for PolyBoRi by  doxygen 1.6.3