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