ToddCoxeter(congruence_type, fpsemigroup::KnuthBendix&)¶
-
libsemigroups::congruence::ToddCoxeter
::
ToddCoxeter
(congruence_type, fpsemigroup::KnuthBendix&)¶ A constructor that creates a new ToddCoxeter instance representing a left, right, or two-sided congruence from the quotient semigroup represented by the second argument.