PolyPairData.h
Go to the documentation of this file.
// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************
#ifndef polybori_groebner_PolyPairData_h_
#define polybori_groebner_PolyPairData_h_
// include basic definitions
#include "groebner_defs.h"
BEGIN_NAMESPACE_PBORIGB
class PolyPairData: public PairData{
public:
Polynomial p;
Polynomial extract(const PolyEntryVector& v) const {
return p;
}
PolyPairData(const BoolePolynomial& poly): p(poly) { }
};
END_NAMESPACE_PBORIGB
#endif /* polybori_PolyPairData_h_ */
polybori::groebner::PolyEntryVector
Definition: PolyEntryVector.h:28
END_NAMESPACE_PBORIGB
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
BEGIN_NAMESPACE_PBORIGB
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
polybori::groebner::PolyPairData
This class defines PolyPairData.
Definition: PolyPairData.h:28
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::PolyPairData::PolyPairData
PolyPairData(const BoolePolynomial &poly)
Definition: PolyPairData.h:34
polybori::groebner::PolyPairData::p
Polynomial p
Definition: PolyPairData.h:30
polybori::groebner::PolyPairData::extract
Polynomial extract(const PolyEntryVector &v) const
Definition: PolyPairData.h:31