PolyBoRi
|
This class defines PolyEntryReference
.
More...
#include <PolyEntryReference.h>
Public Types | |
typedef PolyEntryIndices | vector_type |
typedef PolyEntry | value_type |
Public Member Functions | |
PolyEntryReference (value_type &entry, vector_type &parent) | |
Construct from plain non-constant reference. | |
bool | operator== (const self &rhs) const |
Equality check. | |
template<class Type > | |
self & | operator= (const Type &rhs) |
Assignment also triggers changes in the parent. | |
const value_type & | get () const |
Constant access. | |
operator const value_type & () const | |
Conversion to constant reference. | |
The following data is accessible without yielding inconsistencies | |
std::set< idx_type > & | vPairCalculated |
bool & | minimal |
void | markVariablePairsCalculated () |
bool | propagatableBy (const PolyEntry &other) const |
This class defines PolyEntryReference
.
It allows non-constant access to those attributes, that could not cause inconsistencies, but only constant access to others
polybori::groebner::PolyEntryReference::PolyEntryReference | ( | value_type & | entry, |
vector_type & | parent | ||
) | [inline] |
Construct from plain non-constant reference.
const value_type& polybori::groebner::PolyEntryReference::get | ( | ) | const [inline] |
Constant access.
void polybori::groebner::PolyEntryReference::markVariablePairsCalculated | ( | ) | [inline] |
polybori::groebner::PolyEntryReference::operator const value_type & | ( | ) | const [inline] |
Conversion to constant reference.
self& polybori::groebner::PolyEntryReference::operator= | ( | const Type & | rhs | ) | [inline] |
Assignment also triggers changes in the parent.
bool polybori::groebner::PolyEntryReference::operator== | ( | const self & | rhs | ) | const [inline] |
Equality check.
bool polybori::groebner::PolyEntryReference::propagatableBy | ( | const PolyEntry & | other | ) | const [inline] |
Referenced by polybori::groebner::GroebnerStrategy::addGenerator().
Referenced by polybori::groebner::GroebnerStrategy::addVariablePairs().