has_knuth_bendix

inline bool libsemigroups::Congruence::has_knuth_bendix() const

Checks if a congruence::KnuthBendix instance is being used to compute the congruence.

Parameters

(None)

Exceptions

Does not throw itself but functions called by this function may throw.

Complexity

Constant.

See

knuth_bendix().

Returns

A bool.