LargerDegreeComparer.h
Go to the documentation of this file.
// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************
#ifndef polybori_groebner_LargerDegreeComparer_h_
#define polybori_groebner_LargerDegreeComparer_h_
// include basic definitions
#include "groebner_defs.h"
BEGIN_NAMESPACE_PBORIGB
class LargerDegreeComparer{
public:
bool operator() (const Monomial& a , const Monomial& b){
return a.deg() > b.deg();
}
bool operator() (const Exponent& a , const Exponent& b){
return a.deg()>b.deg();
}
};
END_NAMESPACE_PBORIGB
#endif /* polybori_LargerDegreeComparer_h_ */
polybori::BooleMonomial::deg
deg_type deg() const
Degree of the monomial.
Definition: BooleMonomial.h:146
polybori::BooleExponent
This class is just a wrapper for using variables for storing indices as interim data structure for Bo...
Definition: BooleExponent.h:34
END_NAMESPACE_PBORIGB
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
BEGIN_NAMESPACE_PBORIGB
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
groebner_defs.h
polybori::BooleMonomial
This class is just a wrapper for using variables from cudd's decicion diagram.
Definition: BooleMonomial.h:50
polybori::groebner::LargerDegreeComparer
This class defines LargerDegreeComparer.
Definition: LargerDegreeComparer.h:28
polybori::BooleExponent::deg
deg_type deg() const
Degree of the corresponding monomial.
Definition: BooleExponent.h:118