PairData.h
Go to the documentation of this file.
// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************
#ifndef polybori_groebner_PairData_h_
#define polybori_groebner_PairData_h_
// include basic definitions
#include "groebner_defs.h"
#include "PolyEntryVector.h"
BEGIN_NAMESPACE_PBORIGB
class PairData{
public:
//gives back encoded
virtual ~PairData() {}
//we don't demand that the pair is in a consistent state later
virtual Polynomial extract(const PolyEntryVector& v) const =0;
};
END_NAMESPACE_PBORIGB
#endif /* polybori_PairData_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::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::PairData::~PairData
virtual ~PairData()
Definition: PairData.h:33
PolyEntryVector.h