confluent

bool libsemigroups::fpsemigroup::KnuthBendix::confluent() const

Check if the KnuthBendix instance is confluent.

Return

true if the KnuthBendix instance is confluent and false if it is not.

Parameters

(None)