congruence::Kambites¶

class Kambites : public libsemigroups::CongruenceInterface ¶

Defined in kambites.hpp.

On this page we describe the functionality relating to the algorithms for small overlap monoids by Kambites and the authors of libsemigroups.

This page describes the implementation in the class congruence::Kambites which uses the CongruenceInterface, which is also documented on this page.

Member functions¶

`Kambites()`
`Kambites(Kambites const&)`	Default copy constructor.
`Kambites(fpsemigroup::Kambites<std::string> const&)`
`kambites() const`

`Kambites(Kambites&&) = delete`	Deleted.
`operator=(Kambites const&) = delete`	Deleted.
`operator=(Kambites&&) = delete`	Deleted.

`add_pair(std::initializer_list<size_t>, std::initializer_list<size_t>)`
`add_pair(word_type const&, word_type const&)`
`cbegin_generating_pairs() const noexcept`
`cbegin_ntc()`
`cend_generating_pairs() const noexcept`
`cend_ntc()`
`class_index_to_word(class_index_type)`
`class_index_type`	Type for indices of congruence class indices.
`const_contains(word_type const&, word_type const&) const override`
`const_iterator`
`contains(word_type const&, word_type const&) override`
`has_parent_fpsemigroup() const noexcept`
`has_parent_froidure_pin() const noexcept`
`has_quotient_froidure_pin() const noexcept`
`is_quotient_obviously_finite()`
`is_quotient_obviously_infinite()`
`kind() const noexcept`
`less(word_type const&, word_type const&)`
`non_trivial_class_iterator`
`non_trivial_classes()`
`non_trivial_classes_type`
`number_of_classes()`
`number_of_generating_pairs() const noexcept`
`number_of_generators() const noexcept`
`number_of_non_trivial_classes()`
`parent_fpsemigroup() const`
`parent_froidure_pin() const`
`quotient_froidure_pin()`
`set_number_of_generators(size_t)`
`word_to_class_index(word_type const&)`

`dead() const noexcept`
`finished() const`
`kill() noexcept`
`report() const`
`report_every() const noexcept`
`report_every(TIntType)`
`report_every(std::chrono::nanoseconds)`
`report_why_we_stopped() const`
`run()`
`run_for(TIntType)`
`run_for(std::chrono::nanoseconds)`
`run_until(T&&)`
`run_until(bool(*)())`
`running() const noexcept`
`running_for() const noexcept`
`running_until() const noexcept`
`started() const`
`stopped() const`
`stopped_by_predicate() const`
`timed_out() const`