polybori::BoolePolyRing Class Reference

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

#include <BoolePolyRing.h>

Inheritance diagram for polybori::BoolePolyRing:

polybori::BooleRing polybori::COrderEnums polybori::CCompareEnums polybori::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 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

generic access to base type

Reimplemented from polybori::BooleRing.

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.


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.

polybori::BoolePolyRing::~BoolePolyRing (  )  [inline]

destructor


Member Function Documentation

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]

order_reference polybori::BoolePolyRing::ordering (  )  const [inline]

Access ordering of *this.

Referenced by polybori::BooleEnv::ordering().


Member Data Documentation

*Ordering of *this

Referenced by changeOrdering().


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

Generated on Thu Mar 5 05:10:10 2009 for PolyBoRi by  doxygen 1.5.8