PolyBoRi
Public Types | Public Member Functions | Protected Attributes

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

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


Member Function Documentation

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.


Member Data Documentation

*Ordering of *this


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