ToddCoxeter(congruence_type, ToddCoxeter&)ΒΆ
-
libsemigroups::congruence::ToddCoxeter
::
ToddCoxeter
(congruence_type, ToddCoxeter&) A constructor that creates a new ToddCoxeter instance representing a left, right, or two-sided congruence from the congruence represented by the second argument.
If the second argument is a left or right congruence, then the first argument must be libsemigroups::congruence_type::left or libsemigroups::congruence_type::right, otherwise an exception is thrown.