IJPairData.h
Go to the documentation of this file.
// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************
#ifndef polybori_groebner_IJPairData_h_
#define polybori_groebner_IJPairData_h_
// include basic definitions
#include "groebner_defs.h"
BEGIN_NAMESPACE_PBORIGB
class IJPairData: public PairData{
public:
int i;
int j;
Polynomial extract(const PolyEntryVector& v) const {
return spoly(v[i].p,v[j].p);
}
IJPairData(int i, int j){
this->i=i;
this->j=j;
}
};
END_NAMESPACE_PBORIGB
#endif /* polybori_IJPairData_h_ */
polybori::groebner::PolyEntryVector
Definition: PolyEntryVector.h:28
polybori::spoly
BoolePolynomial spoly(const BoolePolynomial &first, const BoolePolynomial &second)
Compute spoly of two polynomials.
Definition: pbori_algorithms.h:42
END_NAMESPACE_PBORIGB
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
polybori::groebner::IJPairData::IJPairData
IJPairData(int i, int j)
Definition: IJPairData.h:35
polybori::groebner::IJPairData
This class defines IJPairData.
Definition: IJPairData.h:28
BEGIN_NAMESPACE_PBORIGB
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
polybori::BoolePolynomial
This class wraps the underlying decicion diagram type and defines the necessary operations.
Definition: BoolePolynomial.h:85
polybori::groebner::PairData
This class defines PairData.
Definition: PairData.h:30
groebner_defs.h
polybori::groebner::IJPairData::extract
Polynomial extract(const PolyEntryVector &v) const
Definition: IJPairData.h:32
polybori::groebner::IJPairData::i
int i
Definition: IJPairData.h:30
polybori::groebner::IJPairData::j
int j
Definition: IJPairData.h:31