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
.
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
.