CongruenceWrapper

template<typename T>
class CongruenceWrapper : public libsemigroups::FpSemigroupInterface

Defined in cong-wrap.hpp.

This class wraps a derived class of CongruenceInterface of type T so that it has the FpSemigroupInterface.

Underlying congruence

Words to strings and vice versa

Miscellanea