PolyBoRi: polybori::BoolePolyRing Class Reference

PolyBoRi

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

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.

typedef BooleExponent polybori::BoolePolyRing::exp_type

define exponent type

typedef BooleMonomial polybori::BoolePolyRing::monom_type

set monomial type

typedef boost::shared_ptr< order_type > polybori::BoolePolyRing::order_ptr

Smart pointer for handling mterm orderings.

typedef order_type& polybori::BoolePolyRing::order_reference

Reference for handling mterm orderings.

typedef CDynamicOrderBase polybori::BoolePolyRing::order_type

Type for handling mterm orderings.

typedef BoolePolyRing polybori::BoolePolyRing::self

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.

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

idx_type polybori::BoolePolyRing::lastBlockStart ( ) [inline]

Referenced by polybori::BooleEnv::lastBlockStart(), and polybori::groebner::red_tail_in_last_block().

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

Access ordering of *this.

Member Data Documentation

order_ptr polybori::BoolePolyRing::pOrder [protected]

*Ordering of *this

Referenced by changeOrdering().

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