Results of the algorithm

This page contains a description of the member functions of the Stephen class that permit access to the data produced when the algorithm is successfully run.

node_type libsemigroups::Stephen::accept_state()

The accept state of the word graph.

This function triggers the algorithm implemented in this class (if it hasn’t been triggered already), and then returns the accept state of the produced word graph.

Warning

The problem of determining whether two words are equal in a finitely presented semigroup is undecidable in general, and this function may never terminate.

Parameters

(None) –

Throws

LibsemigroupsException – if no presentation was set at construction or with init.

Returns

A node_type.

inline digraph_type const &libsemigroups::Stephen::word_graph() const noexcept

The word graph.

Returns a const reference to the word graph in its present state. The algorithm implemented in this class is not triggered by calls to this function.

Parameters

(None) –

Throws

(None) – This function is noexcept and is guaranteed never to throw.

Returns

A const reference to a digraph_type.