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

---