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