mHeap

std::unique_ptr<PolynomialHeap> NCGroebner::mHeap

mutableprivate

Definition at line 84 of file NCGroebner.hpp.

Referenced by NCGroebner(), and twoSidedReduction().