Congruence(congruence_type, policy::runners)ΒΆ

libsemigroups::Congruence::Congruence(congruence_type type, policy::runners = policy::runners::standard)

Constructs an empty instance of an interface to a congruence of type specified by the argument.

Complexity

Constant.

See

set_nr_generators and add_pair.

Parameters
  • type: the type of the congruence.