complete¶
-
bool
libsemigroups::congruence::ToddCoxeter
::
complete
() const¶ 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.