KnuthBendixΒΆ

libsemigroups::congruence::KnuthBendix::KnuthBendix()

Constructs a KnuthBendix instance with no generating pairs.

Parameters

(None)

Complexity

Constant.