fpsemigroup::Kambites¶

template<typename T> class Kambites : public libsemigroups::FpSemigroupInterface ¶

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 fpsemigroup::Kambites which uses the FpSemigroupInterface, which is also documented on this page.

Member type¶

internal_type

The template parameter T.

Constructors¶

`Kambites()`
`Kambites(Kambites const&)`	Default copy constructor.
`Kambites(Kambites&&) = default`	Default move constructor.
`operator=(Kambites const&) = default`	Default copy assignment operator.
`operator=(Kambites&&) = default`	Default move assignment operator.

Member functions¶

`equal_to(string_type&&, string_type&&)`
`number_of_normal_forms(size_t, size_t)`
`number_of_pieces(size_t) const`
`small_overlap_class() const`
`ukkonen() noexcept`

Member functions and types inherited from FpSemigroupInterface¶

`add_rule(relation_type)`
`add_rule(rule_type)`
`add_rule(std::initializer_list<size_t>, std::initializer_list<size_t>)`
`add_rule(std::string const&, std::string const&)`
`add_rule(word_type const&, word_type const&)`
`add_rules(FroidurePinBase&)`
`add_rules(std::vector<rule_type> const&)`
`alphabet() const noexcept`
`alphabet(size_t) const`
`cbegin_rules() const noexcept`
`cend_rules() const noexcept`
`char_to_uint(char) const`
`char_type`	Type for characters.
`const_iterator`	Type for const iterators to the defining rules.
`equal_to(std::initializer_list<letter_type>, std::initializer_list<letter_type>)`
`equal_to(string_type const&, string_type const&) override`
`equal_to(word_type const&, word_type const&)`
`froidure_pin()`
`has_froidure_pin() const noexcept`
`has_identity() const noexcept`
`identity() const`
`inverses() const`
`is_obviously_finite()`
`is_obviously_infinite()`
`normal_form(std::initializer_list<letter_type>)`
`normal_form(string_type const&) override`
`normal_form(word_type const&)`
`number_of_rules() const noexcept`
`rule_type`	Type for rules.
`set_alphabet(size_t)`
`set_alphabet(std::string const&)`
`set_identity(letter_type)`
`set_identity(std::string const&)`
`set_inverses(std::string const&)`
`size() override`
`string_to_word(std::string const&) const`
`string_type`	The type of strings used by a `Kambites` instance.
`to_gap_string()`
`uint_to_char(letter_type) const`
`validate_letter(char) const`
`validate_letter(letter_type) const`
`validate_word(std::string const&) const`
`validate_word(word_type const&) const`
`word_to_string(word_type const&) 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`

fpsemigroup::Kambites¶

Member type¶

Constructors¶

Member functions¶

Member functions and types inherited from FpSemigroupInterface¶

Member functions inherited from Runner¶