Constructors

libsemigroups::CongruenceByPairs::CongruenceByPairs(CongruenceByPairs const&) = default

A default copy constructor.

libsemigroups::CongruenceByPairs::CongruenceByPairs(CongruenceByPairs&&) = default

A default move constructor.

template<typename T>
inline libsemigroups::CongruenceByPairs::CongruenceByPairs(congruence_kind type, T const &S)

Construct a CongruenceByPairs over the FroidurePin instance fp representing a left/right/2-sided congruence according to type.

Complexity

Constant.

Warning

The parameter T& S is copied, this might be expensive, use a std::shared_ptr to avoid the copy!

Template Parameters

T – a class derived from FroidurePinBase. It is required that T::element_type is the same as CongruenceByPairs::element_type (which is the same as the template parameter element_type).

Parameters

  • type – whether the congruence is left, right, or 2-sided

  • S – a reference to the semigroup over which the congruence is defined.

Throws

LibsemigroupsException – if type and the template parameter T are incompatible. Currently, this is when type is not congruence_kind::right and T::element_type is TCE.

libsemigroups::CongruenceByPairs::CongruenceByPairs(congruence_kind type, std::shared_ptr<FroidurePinBase> S) noexcept

Construct a CongruenceByPairs over the FroidurePin instance S representing a left/right/2-sided congruence according to type.

Complexity

Constant.

Note

The FroidurePinBase pointed to by S is not copied

Parameters

  • type – whether the congruence is left, right, or 2-sided

  • S – a shared_ptr to the semigroup over which the congruence is defined.

Throws

LibsemigroupsException – if type and the template parameter T are incompatible. Currently, this is when type is not congruence_kind::right and T::element_type is TCE.

template<typename T, typename SFINAE = std::enable_if_t<IsState<T>::value, T>>
inline libsemigroups::CongruenceByPairs::CongruenceByPairs(congruence_kind type, std::shared_ptr<T> stt, bool)

No doc.