ActionDigraph(T, T)ΒΆ

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).