empty¶
-
bool
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 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).