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 is 1 (the minimum possible).