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).
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).