KnuthBendixCongruenceByPairs(congruence_type, std::shared_ptr<KnuthBendix>)¶
Warning
doxygenfunction: Unable to resolve function “libsemigroups::KnuthBendixCongruenceByPairs::KnuthBendixCongruenceByPairs” with arguments (congruence_type, std::shared_ptr<KnuthBendix>) 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