save

ToddCoxeter &libsemigroups::congruence::ToddCoxeter::save(bool)

If the argument of this function is true and the HLT strategy is being used, then deductions are processed during the enumeration.

The default value is false.