is_quotient_obviously_finite¶
-
bool
libsemigroups::congruence::ToddCoxeter
::
is_quotient_obviously_finite
()¶ Return
true
if the number of classes in the congruence represented bythis
is obviously finite, andfalse
if it is not obviously finite.- Return
A
bool
.- Exceptions
This function throws if the implementation throws.
- Complexity
Implementation specific, but this function is guaranteed to return a result. More specifically, this function will not trigger a computation that potentially never terminates.
- Warning
If
true
is returned, then there are finitely many classes in the congruence, iffalse
is returned, then the number of classes can be finite or infinite.- See
- Parameters
(None)