CongruenceInterface(congruence_type)ΒΆ

libsemigroups::CongruenceInterface::CongruenceInterface(congruence_type)

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