gilman_digraph¶
-
ActionDigraph<size_t> const &
libsemigroups::fpsemigroup::KnuthBendix
::
gilman_digraph
()¶ Returns the Gilman digraph (or automata) of
this
.- Return
A const reference to a ActionDigraph<size_t>.
- Exceptions
This function guarantees not to throw a LibsemigroupsException.
- Warning
This will terminate when the KnuthBendix instance is reduced and confluent, which might be never.
- See
KnuthBendix::number_of_normal_forms, KnuthBendix::cbegin_normal_forms, and KnuthBendix::cend_normal_forms.
- Parameters
(None)