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