CongruenceInterface

class CongruenceInterface : public libsemigroups::Runner

Defined in cong-intf.hpp.

Every class for representing congruences in libsemigroups is derived from CongruenceInterface, which holds the member functions that are common to all its derived classes. CongruenceInterface is an abstract class.

Subclassed by libsemigroups::CongruenceByPairsHelper< FroidurePin< T > >, libsemigroups::CongruenceByPairsHelper< T >, libsemigroups::CongruenceByPairsHelper< FroidurePin< detail::KBE, FroidurePinTraits< detail::KBE, fpsemigroup::KnuthBendix > > >, libsemigroups::Congruence, libsemigroups::CongruenceByPairsHelper< TFroidurePinType >, libsemigroups::congruence::KnuthBendix, libsemigroups::congruence::ToddCoxeter

Words and class indices