libsemigroups::FpSemigroup:
- Member types:
- rule_type
- const_iterator
- string_type
- char_type
- Constructors:
- FpSemigroup()
- FpSemigroup(T const&)
- FpSemigroup(FpSemigroup const&) = default
- FpSemigroup(std::shared_ptr<FroidurePinBase>)
- Deleted constructors:
- FpSemigroup(FpSemigroup&&) = delete
- operator=(FpSemigroup const&) = delete
- operator=(FpSemigroup&&) = delete
- Related algorithms:
- has_knuth_bendix() const
- knuth_bendix() const
- has_todd_coxeter() const
- todd_coxeter() const
- has_kambites() const noexcept
- kambites() const
- Settings:
- max_threads() const noexcept
- max_threads(size_t) noexcept
- Member functions inherited from FpSemigroupInterface:
- ["This page contains a description of the member functions of the
:cpp:any:`FpSemigroup` class inherited from
:cpp:any:`FpSemigroupInterface`."]
- uint_to_char(letter_type) const
- char_to_uint(char) const
- string_to_word(std::string const&) const
- is_obviously_finite()
- word_to_string(word_type const&) const
- is_obviously_infinite()
- size() override
- cbegin_rules() const noexcept
- cend_rules() const noexcept
- alphabet(size_t) const
- alphabet() const noexcept
- identity() const
- set_identity(std::string const&)
- set_identity(letter_type)
- inverses() const
- number_of_rules() const noexcept
- 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&)
- has_froidure_pin() const noexcept
- froidure_pin()
- set_alphabet(size_t)
- set_alphabet(std::string const&)
- set_inverses(std::string const&)
- validate_letter(char) const
- validate_letter(letter_type) const
- validate_word(word_type const&) const
- validate_word(std::string const&) const
- to_gap_string()
- normal_form(std::string const&) override
- normal_form(word_type const&)
- normal_form(std::initializer_list<letter_type>)
- equal_to(std::initializer_list<letter_type>, std::initializer_list<letter_type>)
- equal_to(std::string const&, std::string const&) override
- equal_to(word_type const&, word_type const&)
- has_identity() const noexcept
- Member functions inherited from Runner:
- ["This page contains a description of the member functions of the
:cpp:any:`FpSemigroup` 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
[ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
]