const_contains

tril libsemigroups::congruence::KnuthBendix::const_contains(word_type const&, word_type const&) const override

Check if a pair of words is known to belong to the congruence.

Return

Complexity

Linear in u.size() + v.size().

Parameters
  • u: a word (vector of integers) over the generators of the semigroup.

  • v: a word (vector of integers) over the generators of the semigroup.

Exceptions