is_obviously_finite

bool libsemigroups::fpsemigroup::KnuthBendix::is_obviously_finite()

Return true if the finitely presented semigroup represented by this is obviously finite, and false 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, if false is returned, then the finitely presented semigroup can be finite or infinite.

See

is_obviously_infinite().

Parameters

(None)