ActionDigraph(T, T)

explicit libsemigroups::ActionDigraph::ActionDigraph(T m = 0, T n = 0)

A constructor that creates a DigraphAction instance representing the digraph of a semigroup action.

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Complexity

\(O(mn)\) where m is the number of nodes, and n is the out-degree of the digraph.

Parameters
  • m – the number of nodes in the digraph (default: 0).

  • n – the out-degree of every node (default: 0).