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)