PolyBoRi
|
This class defines PairE. More...
#include <PairE.h>
Public Member Functions | |
int | getType () const |
PairE (const PairE &rhs) | |
Polynomial | extract (const PolyEntryVector &v) const |
PairE (int i, int j, const PolyEntryVector &v) | |
PairE (int i, idx_type v, const PolyEntryVector &gen, int type) | |
PairE (const Polynomial &delayed) | |
const PolyPairData & | delayedPair () const |
const IJPairData & | ijPair () const |
const VariablePairData & | variablePair () const |
Public Attributes | |
wlen_type | wlen |
deg_type | sugar |
pair_data_ptr | data |
Exponent | lm |
This class defines PairE.
|
inline |
|
inline |
|
inline |
References PBORI_ASSERT, and polybori::groebner::VARIABLE_PAIR.
|
inline |
|
inline |
References polybori::groebner::DELAYED_PAIR, and PBORI_ASSERT.
|
inline |
Referenced by polybori::groebner::NextSpoly::operator()().
|
inline |
|
inline |
References polybori::groebner::IJ_PAIR, and PBORI_ASSERT.
Referenced by polybori::groebner::NextSpoly::compute(), and polybori::groebner::CheckChainCriterion< StrategyType >::operator()().
|
inline |
pair_data_ptr polybori::groebner::PairE::data |
Exponent polybori::groebner::PairE::lm |
deg_type polybori::groebner::PairE::sugar |
Referenced by polybori::groebner::PairECompare::operator()().
wlen_type polybori::groebner::PairE::wlen |
Referenced by polybori::groebner::PairECompare::operator()().