validate¶
-
bool
libsemigroups::ActionDigraph
::
validate
() const noexcept¶ Check every node has exactly out_degree() out-edges.
- Return
A
bool
.- Exceptions
This function is
noexcept
and is guaranteed never to throw.- Complexity
\(O(mn)\) where
m
is nr_nodes() andn
is out_degree().- Parameters
(None)