mWordTable

WordTable NCGroebner::mWordTable

private

Definition at line 73 of file NCGroebner.hpp.

Referenced by initReductionOnly(), isOverlapNecessary(), twoSidedReduction(), and updateOverlaps().