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
.- Exceptions
This function guarantees not to throw a LibsemigroupsException.
- Complexity
\(O(n)\) where \(n\) is the number of rules.
- Parameters
(None)
- Returns
A value of type
bool
.