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() and n is out_degree().

Parameters

(None)