KnuthBendixCongruenceByPairs¶
Warning
doxygenfunction: Unable to resolve function “libsemigroups::KnuthBendixCongruenceByPairs” with arguments None in doxygen xml output for project “libsemigroups” from directory: ../build/xml. Potential matches:
- KnuthBendixCongruenceByPairs() = delete
- KnuthBendixCongruenceByPairs(KnuthBendixCongruenceByPairs const&) = delete
- KnuthBendixCongruenceByPairs(KnuthBendixCongruenceByPairs&&) = delete
- KnuthBendixCongruenceByPairs(congruence_kind type, KnuthBendix const &kb) noexcept
Member types¶
|
None |
None |
|
|
None |
|
None |
Constructors¶
|
None |
|
None |
Deleted constructors¶
|
None |
|
None |
|
None |
|
None |
|
None |
Member functions inherited from CongruenceInterface¶
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
Member functions inherited from Runner¶
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |
|
None |