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.