Definition at line 247 of file NCGroebner.cpp.
References mGroebner.
Referenced by twoSidedReduction().