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::CongruenceByPairs< detail::KBE, Hash< detail::KBE >, EqualTo< detail::KBE > >, libsemigroups::Congruence, libsemigroups::congruence::KnuthBendix, libsemigroups::congruence::ToddCoxeter, libsemigroups::CongruenceByPairs< TElementType, TElementHash, TElementEqual, TElementProduct, TFroidurePinType >

Aliases and public types¶

Constructors¶

Deleted constructors¶

Initialization¶

Reporting¶

Operators¶

State¶

Iterators¶

Words and class indices¶

Numbers of classes, and comparisons¶