has_knuth_bendix¶
-
bool
libsemigroups::FpSemigroup
::
has_knuth_bendix
() const¶ Checks if a fpsemigroup::KnuthBendix instance is being used to compute the finitely presented semigroup represented by
this
.- Parameters
(None)
- Return
A
bool
.- Exceptions
This function guarantees not to throw a LibsemigroupsException.
- Complexity
Constant.
- See