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