VariablePairData.h
Go to the documentation of this file.
// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************
#ifndef polybori_groebner_VariablePairData_h_
#define polybori_groebner_VariablePairData_h_
// include basic definitions
#include "groebner_defs.h"
BEGIN_NAMESPACE_PBORIGB
class VariablePairData: public PairData{
public:
int i;
idx_type v;
Polynomial extract(const PolyEntryVector& gen) const {
return Monomial(Variable(v, gen[i].p.ring()))*gen[i].p;
}
VariablePairData(int i, idx_type v){
this->v=v;
this->i=i;
}
};
END_NAMESPACE_PBORIGB
#endif /* polybori_VariablePairData_h_ */
polybori::groebner::PolyEntryVector
Definition: PolyEntryVector.h:28
polybori::groebner::VariablePairData::v
idx_type v
Definition: VariablePairData.h:31
END_NAMESPACE_PBORIGB
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
polybori::groebner::VariablePairData::i
int i
Definition: VariablePairData.h:30
polybori::groebner::VariablePairData
This class defines VariablePairData.
Definition: VariablePairData.h:28
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
polybori::Variable
BooleVariable Variable
Definition: embed.h:52
groebner_defs.h
polybori::groebner::VariablePairData::extract
Polynomial extract(const PolyEntryVector &gen) const
Definition: VariablePairData.h:32
polybori::groebner::idx_type
polybori::CTypes::idx_type idx_type
Definition: groebner_defs.h:44
polybori::Monomial
BooleMonomial Monomial
Definition: embed.h:53
polybori::groebner::VariablePairData::VariablePairData
VariablePairData(int i, idx_type v)
Definition: VariablePairData.h:35