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
- Parameters
type
: the type of the congruence.