16 #ifndef polybori_groebner_PairLS_h_
17 #define polybori_groebner_PairLS_h_
21 #include <boost/shared_ptr.hpp>
53 return data->extract(v);
56 wlen(v[i].weightedLength+v[j].weightedLength-2),
58 lm(v[i].lead*v[j].lead)
61 sugar=lm.
deg()+std::max(v[i].ecart(),v[j].ecart());
65 wlen(gen[i].weightedLength+gen[i].length),
76 lm(delayed.lead()) { }
deg_type deg() const
Degree of the monomial.
Definition: BooleMonomial.h:146
deg_type sugar
Definition: PairLS.h:47
boost::shared_ptr< PairData > pair_data_ptr
Definition: PairLS.h:25
Definition: PolyEntryVector.h:28
Polynomial extract(const PolyEntryVector &v)
Definition: PairLS.h:52
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
wlen_type wlen
Definition: PairLS.h:46
int deg_type
Definition: groebner_defs.h:42
This class defines IJPairData.
Definition: IJPairData.h:28
This class defines PairLS.
Definition: PairLS.h:39
PairLS(int i, int j, const PolyEntryVector &v)
Definition: PairLS.h:55
This class defines VariablePairData.
Definition: VariablePairData.h:28
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
This class defines PolyPairData.
Definition: PolyPairData.h:28
PairLS(int i, idx_type v, const PolyEntryVector &gen, int type)
Definition: PairLS.h:63
Monomial lm
Definition: PairLS.h:51
This class wraps the underlying decicion diagram type and defines the necessary operations.
Definition: BoolePolynomial.h:85
#define PBORI_ASSERT(arg)
Definition: pbori_defs.h:118
long wlen_type
Definition: groebner_defs.h:39
pair_data_ptr data
Definition: PairLS.h:50
int getType() const
Definition: PairLS.h:43
polybori::CTypes::idx_type idx_type
Definition: groebner_defs.h:44
PairLS(const Polynomial &delayed)
Definition: PairLS.h:72
This class is just a wrapper for using variables from cudd's decicion diagram.
Definition: BooleMonomial.h:50