is_quotient_obviously_infinite

bool libsemigroups::congruence::KnuthBendix::is_quotient_obviously_infinite()

Return true if the number of classes in the congruence represented by this is obviously infinite, and false if it is not obviously infinite.

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 infinitely many classes in the congruence, if false is returned, then the number of classes can be finite or infinite.

See

CongruenceInterface::is_quotient_obviously_finite.

Parameters

(None)