16 #ifndef polybori_groebner_PairE_h_
17 #define polybori_groebner_PairE_h_
43 type(rhs.getType()), wlen(rhs.wlen), sugar(rhs.sugar),
44 data(rhs.data), lm(rhs.lm) {}
48 return data->extract(v);
52 wlen(v[i].weightedLength+v[j].weightedLength-2),
54 lm(v[i].leadExp+v[j].leadExp) {
55 sugar=lm.
deg()+std::max(v[i].ecart(),v[j].ecart());
59 wlen(gen[i].weightedLength+gen[i].length),
67 if (gen[i].leadExp==gen[i].usedVariables)
69 if (gen[i].tailVariables.deg()<gen[i].deg)
78 lm(delayed.leadExp()) { }
87 return *
static_cast<const IJPairData*
>(data.get());
boost::shared_ptr< PairData > pair_data_ptr
Definition: PairLS.h:25
const IJPairData & ijPair() const
Definition: PairE.h:85
This class is just a wrapper for using variables for storing indices as interim data structure for Bo...
Definition: BooleExponent.h:34
Definition: PolyEntryVector.h:28
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
int deg_type
Definition: groebner_defs.h:42
This class defines IJPairData.
Definition: IJPairData.h:28
This class defines VariablePairData.
Definition: VariablePairData.h:28
Exponent lm
Definition: PairE.h:40
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
This class defines PairE.
Definition: PairE.h:28
This class defines PolyPairData.
Definition: PolyPairData.h:28
const VariablePairData & variablePair() const
Definition: PairE.h:90
This class wraps the underlying decicion diagram type and defines the necessary operations.
Definition: BoolePolynomial.h:85
wlen_type wlen
Definition: PairE.h:35
deg_type sugar
Definition: PairE.h:36
int getType() const
Definition: PairE.h:32
#define PBORI_ASSERT(arg)
Definition: pbori_defs.h:118
PairE(int i, int j, const PolyEntryVector &v)
Definition: PairE.h:50
const PolyPairData & delayedPair() const
Definition: PairE.h:80
long wlen_type
Definition: groebner_defs.h:39
pair_data_ptr data
Definition: PairE.h:39
Polynomial extract(const PolyEntryVector &v) const
Definition: PairE.h:47
polybori::CTypes::idx_type idx_type
Definition: groebner_defs.h:44
PairE(const Polynomial &delayed)
Definition: PairE.h:73
PairE(const PairE &rhs)
Definition: PairE.h:42
PairE(int i, idx_type v, const PolyEntryVector &gen, int type)
Definition: PairE.h:58
deg_type deg() const
Degree of the corresponding monomial.
Definition: BooleExponent.h:118