empty¶
-
bool
libsemigroups::congruence::ToddCoxeter::empty() const¶ Returns
trueif there are no relations or generating pairs in the ToddCoxeter instance, and the number of active cosets is1(the minimum possible).
libsemigroups::congruence::ToddCoxeter::empty() const¶Returns true if there are no relations or generating pairs in the ToddCoxeter instance, and the number of active cosets is 1 (the minimum possible).