contains_empty_string¶
-
bool
libsemigroups::fpsemigroup::KnuthBendix
::
contains_empty_string
() const¶ Returns whether or not the empty string belongs to the finitely presented semigroup represented by
this
.- Return
A value of type
bool
.- Exceptions
This function guarantees not to throw a LibsemigroupsException.
- Complexity
\(O(n)\) where \(n\) is the number of rules.
- Parameters
(None)