00001 // -*- c++ -*- 00002 //***************************************************************************** 00014 //***************************************************************************** 00015 00016 #ifndef polybori_groebner_ExpLexLess_h_ 00017 #define polybori_groebner_ExpLexLess_h_ 00018 00019 // include basic definitions 00020 #include "groebner_defs.h" 00021 00022 BEGIN_NAMESPACE_PBORIGB 00023 00029 class ExpLexLess { 00030 public: 00031 bool operator()(const Exponent&lhs, const Exponent& rhs) const { 00032 return LexOrder().compare(lhs, rhs)==CTypes::less_than; 00033 } 00034 }; 00035 00036 END_NAMESPACE_PBORIGB 00037 00038 #endif /* polybori_groebner_ExpLexLess_h_ */
1.5.6