00001 // -*- c++ -*- 00002 //***************************************************************************** 00014 //***************************************************************************** 00015 00016 #ifndef polybori_groebner_PolyEntryPtrLmLess_h_ 00017 #define polybori_groebner_PolyEntryPtrLmLess_h_ 00018 00019 // include basic definitions 00020 #include "groebner_defs.h" 00021 #include "PolyEntry.h" 00022 00023 BEGIN_NAMESPACE_PBORIGB 00024 00029 class PolyEntryPtrLmLess { 00030 public: 00031 bool operator()(const PolyEntry* lhs, const PolyEntry* rhs) const { 00032 return lhs->lead < rhs->lead; 00033 } 00034 }; 00035 00036 END_NAMESPACE_PBORIGB 00037 00038 #endif /* polybori_groebner_PolyEntryPtrLmLess_h_ */