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_ */