.. Copyright (c) 2019-22, J. D. Mitchell

   Distributed under the terms of the GPL license version 3.

   The full license is in the file LICENSE, distributed with this software.

   This file was auto-generated by docs/generate_from_yml.py, do not edit.

Member functions and types inherited from CongruenceInterface
=============================================================
.. cpp:namespace:: libsemigroups

This page contains a description of the member functions of the :cpp:any:`KnuthBendix` class inherited from :cpp:any:`CongruenceInterface`.

.. cpp:namespace-pop::


.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::add_pair(std::initializer_list<size_t>, std::initializer_list<size_t>)
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::add_pair(word_type const&, word_type const&)
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::cbegin_generating_pairs() const noexcept
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::cbegin_ntc()
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::cend_generating_pairs() const noexcept
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::cend_ntc()
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::class_index_to_word(class_index_type)
   :project: libsemigroups

.. doxygentypedef:: libsemigroups::congruence::KnuthBendix::class_index_type
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::const_contains(word_type const&, word_type const&) const override
   :project: libsemigroups

.. doxygentypedef:: libsemigroups::congruence::KnuthBendix::const_iterator
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::contains(word_type const&, word_type const&) override
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::has_parent_fpsemigroup() const noexcept
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::has_parent_froidure_pin() const noexcept
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::has_quotient_froidure_pin() const noexcept
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::is_quotient_obviously_finite()
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::is_quotient_obviously_infinite()
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::kind() const noexcept
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::less(word_type const&, word_type const&)
   :project: libsemigroups

.. doxygentypedef:: libsemigroups::congruence::KnuthBendix::non_trivial_class_iterator
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::non_trivial_classes()
   :project: libsemigroups

.. doxygentypedef:: libsemigroups::congruence::KnuthBendix::non_trivial_classes_type
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::number_of_classes()
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::number_of_generating_pairs() const noexcept
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::number_of_generators() const noexcept
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::number_of_non_trivial_classes()
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::parent_fpsemigroup() const
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::parent_froidure_pin() const
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::quotient_froidure_pin()
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::set_number_of_generators(size_t)
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::congruence::KnuthBendix::word_to_class_index(word_type const&)
   :project: libsemigroups
