BoolePolyRing Class Reference
This class adds order-related functionality to BooleRing. More...
#include <BoolePolyRing.h>
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 order_type & | order_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
| typedef BooleRing BoolePolyRing::base |
generic access to base type
Reimplemented from BooleRing.
| typedef std::vector<idx_type> BoolePolyRing::block_idx_type |
Type for block indices.
| typedef block_idx_type::const_iterator BoolePolyRing::block_iterator |
Type for block iterators.
| typedef BooleExponent BoolePolyRing::exp_type |
define exponent type
set monomial type
| typedef order_type& BoolePolyRing::order_reference |
Reference for handling mterm orderings.
Type for handling mterm orderings.
| typedef BoolePolyRing BoolePolyRing::self |
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] |
References CDynamicOrderBase::blockEnd(), CDynamicOrderBase::isLexicographical(), CCompareEnums::max_idx, and ordering().
Referenced by BooleEnv::lastBlockStart().
| 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:
