reset()

void FreeMonoidLogger::reset ( )

inlinestatic

Definition at line 73 of file FreeMonoid.hpp.

  {
    mCompares = 0;
  }

References mCompares.

Referenced by NCGroebner::twoSidedReduction().