ActionDigraph

template<typename T>
class ActionDigraph

Defined in digraph.hpp.

This class represents the digraph of an action of a semigroup on a set. If the digraph has n nodes, they are represented by the numbers \({0, ..., n - 1}\), and every node has the same number m of out-edges (edges with source that node and range any other node). The number m is referred to as the out-degree of the digraph, or any of its nodes.

See

Action.

Template Parameters

  • T: the type of the nodes in the digraph, must be an unsigned integer type.