16 #ifndef polybori_groebner_RankingVector_h_
17 #define polybori_groebner_RankingVector_h_
31 public std::vector<int> {
32 typedef std::vector<value_type> base;
37 void increment(size_type idx) { ++operator[](idx); }
45 return (empty()? -1: std::max_element(begin(), end()) - begin());