is_obviously_finiteΒΆ
-
bool
libsemigroups::FpSemigroupInterface
::
is_obviously_finite
() Return
true
if the finitely presented semigroup represented bythis
is obviously finite, andfalse
if it is not obviously finite.- Return
A
bool
.- 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.
- 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.- See
- Parameters
(None)