gilman_digraph

ActionDigraph<size_t> const &libsemigroups::fpsemigroup::KnuthBendix::gilman_digraph()

Returns the Gilman digraph (or automata) of this.

Exceptions

This function guarantees not to throw a LibsemigroupsException.

See

KnuthBendix::number_of_normal_forms, KnuthBendix::cbegin_normal_forms, and KnuthBendix::cend_normal_forms.

Parameters

(None)

Warning

This will terminate when the KnuthBendix instance is reduced and confluent, which might be never.

Returns

A const reference to a ActionDigraph<size_t>.