459{
461 overlapTable.
insert(3,
false,std::make_tuple(1,2,3,
true));
462 overlapTable.
insert(3,
false,std::make_tuple(1,2,1,
true));
463 overlapTable.
insert(2,
false,std::make_tuple(1,1,1,
true));
467 EXPECT_TRUE(overlapTable.
size() == 3);
468}
auto insert(int deg, bool isGenerator, Overlap o) -> void
auto isFinished() const -> bool
auto size() const -> size_t
Per-degree FIFO queue of pending overlaps for the NC Groebner basis driver to process.