validate¶
-
inline bool libsemigroups::ActionDigraph::validate() const noexcept¶
Check every node has exactly out_degree() out-edges.
- 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)
- Returns
A
bool
.