Ejemplo n.º 1
0
inline bool heapCompareFcn::operator()(heap_term &a, heap_term &b)
{
  PolyHeap::stats_static_n_compares++;
  return R->monomialLT(a.actual, b.actual);
}