fpsemigroup::ToddCoxeter

using libsemigroups::fpsemigroup::ToddCoxeter = CongruenceWrapper<congruence::ToddCoxeter>

This class is a wrapper for congruence::ToddCoxeter that provides the FpSemigroupInterface.

See CongruenceWrapper for further details.