PolyBoRi
|
This template class defines an iterator for monomial types. More...
#include <CVariableIter.h>
Public Types | |
typedef Iterator | iterator_type |
Fixing Iterator type to be extended. More... | |
typedef VariableType | var_type |
Fixing variables, which is used for dereferencing. More... | |
typedef var_type::ring_type | ring_type |
Fixing ring, which is used to generate variables. More... | |
typedef CVariableIter< iterator_type, var_type > | self |
Get type of *this. More... | |
Public Member Functions | |
CVariableIter () | |
Default constructor. More... | |
CVariableIter (const iterator_type &rhs, const ring_type &ring) | |
Constructor for given iterator (and ring) More... | |
bool | isEnd () const |
Check, whether end of iteration is reached. More... | |
void | increment () |
Increment operation. More... | |
var_type | dereference () const |
Constant dereference operator. More... | |
bool | equal (const self &rhs) const |
Equality check. More... | |
This template class defines an iterator for monomial types.
It uses a given iterator, and converts indices to Boolean variables (via a given ring).
typedef Iterator polybori::CVariableIter< Iterator, VariableType >::iterator_type |
Fixing Iterator type to be extended.
typedef var_type::ring_type polybori::CVariableIter< Iterator, VariableType >::ring_type |
Fixing ring, which is used to generate variables.
typedef CVariableIter<iterator_type, var_type> polybori::CVariableIter< Iterator, VariableType >::self |
Get type of *this.
typedef VariableType polybori::CVariableIter< Iterator, VariableType >::var_type |
Fixing variables, which is used for dereferencing.
|
inline |
Default constructor.
|
inline |
Constructor for given iterator (and ring)
|
inline |
Constant dereference operator.
|
inline |
Equality check.
|
inline |
Increment operation.
|
inline |
Check, whether end of iteration is reached.