complete¶
-
bool libsemigroups::congruence::ToddCoxeter::complete() const noexcept¶
Returns
true
if the coset table is complete, andfalse
if it is not.The table is complete if the value libsemigroups::UNDEFINED does not appear in any row of an active coset.