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.