is_obviously_finite¶
-
bool libsemigroups::CongruenceWrapper::is_obviously_finite()¶
Return
true
if the finitely presented semigroup represented bythis
is obviously finite, andfalse
if it is not obviously finite.- Exceptions
This function guarantees not to throw a LibsemigroupsException.
- 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.
- See
- Parameters
(None)
Warning
If
true
is returned, then the finitely presented semigroup is finite, iffalse
is returned, then the finitely presented semigroup can be finite or infinite.- Returns
A
bool
.