confluent¶
-
bool
libsemigroups::fpsemigroup::KnuthBendix::confluent() const¶ Check if the KnuthBendix instance is confluent.
- Return
trueif the KnuthBendix instance is confluent andfalseif 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)