PolyBoRi
PolyPairData.h
Go to the documentation of this file.
00001 // -*- c++ -*-
00002 //*****************************************************************************
00014 //*****************************************************************************
00015 
00016 #ifndef polybori_groebner_PolyPairData_h_
00017 #define polybori_groebner_PolyPairData_h_
00018 
00019 // include basic definitions
00020 #include "groebner_defs.h"
00021 
00022 BEGIN_NAMESPACE_PBORIGB
00023 
00028 class PolyPairData: public PairData{
00029 public:
00030   Polynomial p;
00031   Polynomial extract(const PolyEntryVector& v) const {
00032     return p;
00033   }
00034   PolyPairData(const BoolePolynomial& poly): p(poly) { }
00035 };
00036 
00037 END_NAMESPACE_PBORIGB
00038 
00039 #endif /* polybori_PolyPairData_h_ */