libsemigroups::CongruenceByPairs:
- Aliases:
  - element_type
  - const_reference
  - class_index_type
  - non_trivial_classes_type
  - non_trivial_class_iterator
  - const_iterator
  - froidure_pin_type
  - state_type
  - reference
  - Hash
  - EqualTo
  - Product
- Constructors:
  - CongruenceByPairs(congruence_kind, std::shared_ptr<FroidurePinBase>) noexcept
  - CongruenceByPairs(congruence_kind, std::shared_ptr<T>, bool)
  - CongruenceByPairs(congruence_kind, T const&)
  - CongruenceByPairs(CongruenceByPairs&&) = default
  - CongruenceByPairs(CongruenceByPairs const&) = default
- Deleted constructors:
  - CongruenceByPairs() = delete
  - operator=(CongruenceByPairs&&) = delete
  - operator=(CongruenceByPairs const&) = delete
- Member functions inherited from CongruenceInterface:
  - ["This page contains a description of the member functions of the
     :cpp:any:`CongruenceByPairs` class inherited from
     :cpp:any:`CongruenceInterface`."]
  - set_number_of_generators(size_t)
  - kind() const noexcept
  - quotient_froidure_pin()
  - has_quotient_froidure_pin() const noexcept
  - parent_froidure_pin() const
  - has_parent_froidure_pin() const noexcept
  - is_quotient_obviously_finite()
  - is_quotient_obviously_infinite()
  - number_of_generators() const noexcept
  - number_of_generating_pairs() const noexcept
  - cbegin_generating_pairs() const noexcept
  - cend_generating_pairs() const noexcept
  - cbegin_ntc()
  - cend_ntc()
  - add_pair(std::initializer_list<size_t>, std::initializer_list<size_t>)
  - add_pair(word_type const&, word_type const&)
  - less(word_type const&, word_type const&)
  - const_contains(word_type const&, word_type const&) const
  - contains(word_type const&, word_type const&)
  - number_of_classes()
  - number_of_non_trivial_classes()
  - non_trivial_classes()
  - word_to_class_index(word_type const&)
  - class_index_to_word(class_index_type)
  - parent_fpsemigroup() const
  - has_parent_fpsemigroup() const noexcept
- Member functions inherited from Runner:
  - ["This page contains a description of the member functions of the
     :cpp:any:`CongruenceByPairs` class inherited from :cpp:any:`Runner`."]
  - dead() const noexcept
  - finished() const
  - started() const
  - stopped() const
  - timed_out() const
  - running() const noexcept
  - stopped_by_predicate() const
  - kill() noexcept
  - run()
  - run_for(std::chrono::nanoseconds)
  - run_for(TIntType)
  - run_until(T&&)
  - run_until(bool(*)())
  - report_every(TIntType)
  - report_every(std::chrono::nanoseconds)
  - report_every() const noexcept
  - report() const
  - report_why_we_stopped() const
  - running_for() const noexcept
  - running_until() const noexcept
