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.