28 _translator(translator) {
32 template<
class MyIdeal,
class MyTermCompare>
35 const MyTermCompare& predicate) {
36 ASSERT(a.getVarCount() == b.getVarCount());
38 for (
size_t term = 0; term < a.getGeneratorCount(); ++term) {
39 if (term == b.getGeneratorCount())
42 if (predicate(a[term], b[term]))
44 if (predicate(b[term], a[term]))
47 ASSERT(a.getGeneratorCount() <= b.getGeneratorCount());