kind

inline congruence_type libsemigroups::congruence::KnuthBendix::kind() const noexcept

Return if the congruence represented by this object was created as a left, right, or two-sided congruence.

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

Parameters

(None)

Returns

A libsemigroups::congruence_type.