FpSemigroupInterface

class FpSemigroupInterface : public libsemigroups::Runner

Defined in fpsemi-intf.hpp.

Every class for representing a finitely presented semigroup or monoid in libsemigroups is derived from FpSemigroupInterface, which holds the member functions that are common to all its derived classes. FpSemigroupInterface is an abstract class.

Subclassed by libsemigroups::CongruenceWrapper< T >, libsemigroups::FpSemigroup, libsemigroups::fpsemigroup::KnuthBendix

Words to strings and vice versa

Miscellanea