has_knuth_bendix¶
-
bool
libsemigroups::Congruence
::
has_knuth_bendix
() const¶ Checks if a congruence::KnuthBendix instance is being used to compute the congruence.
- Parameters
(None)
- Return
A
bool
.- Exceptions
Does not throw itself but functions called by this function may throw.
- Complexity
Constant.
- See