confluent¶
-
bool libsemigroups::fpsemigroup::KnuthBendix::confluent() const¶
Check if the KnuthBendix instance is confluent.
- Parameters
(None)
- Returns
true
if the KnuthBendix instance is confluent andfalse
if it is not.
Check if the KnuthBendix instance is confluent.
(None)
true
if the KnuthBendix instance is confluent and false
if it is not.