is_obviously_finite

bool libsemigroups::FpSemigroupInterface::is_obviously_finite()

Return true if the finitely presented semigroup represented by this is obviously finite, and false 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

is_obviously_infinite().

Parameters

(None)

Warning

If true is returned, then the finitely presented semigroup is finite, if false is returned, then the finitely presented semigroup can be finite or infinite.

Returns

A bool.