Congruence(congruence_type, policy::runners)¶
-
explicit 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.