is_quotient_obviously_finite

bool libsemigroups::congruence::KnuthBendix::is_quotient_obviously_finite()

Return true if the number of classes in the congruence represented by this is obviously finite, and false 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, if false is returned, then the number of classes can be finite or infinite.

See

CongruenceInterface::is_quotient_obviously_infinite.

Parameters

(None)