lower_bound¶
-
ToddCoxeter &
libsemigroups::congruence::ToddCoxeter
::
lower_bound
(size_t) noexcept¶ Sets a lower bound for the number of classes of the congruence represented by a ToddCoxeter instance.
If ToddCoxeter::nr_cosets_active becomes at least the value of the argument, and the table is complete (ToddCoxeter::complete returns
true
), then the coset enumeration is terminated. When the given bound is equal to the number of classes, this may save tracing relations at many cosets when there is no possibility of finding coincidences.The default value is libsemigroups::UNDEFINED.