PolyBoRi
|
This class defines PairLS. More...
#include <PairLS.h>
Public Member Functions | |
int | getType () const |
Polynomial | extract (const PolyEntryVector &v) |
PairLS (int i, int j, const PolyEntryVector &v) | |
PairLS (int i, idx_type v, const PolyEntryVector &gen, int type) | |
PairLS (const Polynomial &delayed) | |
Public Attributes | |
wlen_type | wlen |
deg_type | sugar |
pair_data_ptr | data |
Monomial | lm |
This class defines PairLS.
|
inline |
References polybori::BooleMonomial::deg(), and polybori::groebner::IJ_PAIR.
|
inline |
References PBORI_ASSERT, and polybori::groebner::VARIABLE_PAIR.
|
inline |
|
inline |
|
inline |
pair_data_ptr polybori::groebner::PairLS::data |
Monomial polybori::groebner::PairLS::lm |
Referenced by polybori::groebner::PairLSCompare::operator()().
deg_type polybori::groebner::PairLS::sugar |
Referenced by polybori::groebner::PairLSCompare::operator()().
wlen_type polybori::groebner::PairLS::wlen |
Referenced by polybori::groebner::PairLSCompare::operator()().