KnuthBendixCongruenceByPairs(congruence_type, KnuthBendix const&)¶
Warning
doxygenfunction: Unable to resolve multiple matches for function “libsemigroups::KnuthBendixCongruenceByPairs::KnuthBendixCongruenceByPairs” with arguments ((congruence_type, KnuthBendix const&)) in doxygen xml output for project “libsemigroups” from directory: ../build/xml. Potential matches:
- KnuthBendixCongruenceByPairs() = delete
- KnuthBendixCongruenceByPairs(KnuthBendixCongruenceByPairs const&) = delete
- KnuthBendixCongruenceByPairs(KnuthBendixCongruenceByPairs&&) = delete
- KnuthBendixCongruenceByPairs(congruence_type type, KnuthBendix const &kb) noexcept
- KnuthBendixCongruenceByPairs(congruence_type type, std::shared_ptr<KnuthBendix> kb) noexcept