libsemigroups::CongruenceWrapper:
- Member types:
- ["This page contains information about the member types of the
:cpp:any:`CongruenceWrapper` class that are not present in any of its base
classes."]
- wrapped_type
- Constructors:
- ["This page contains information about the constructors for the,\\
:cpp:any:`CongruenceWrapper` class."]
- CongruenceWrapper()
- CongruenceWrapper(std::shared_ptr<FroidurePinBase>)
- CongruenceWrapper(S const&)
- CongruenceWrapper(CongruenceWrapper const&)
- CongruenceWrapper(CongruenceWrapper&&) = default
- Deleted constructors:
- ["This page lists the deleted constructors for the
:cpp:any:`CongruenceWrapper` class."]
- operator=(CongruenceWrapper const&) = delete
- operator=(CongruenceWrapper&&) = delete
- CongruenceWrapper member functions:
- ["This page lists the member functions of the :cpp:any:`CongruenceWrapper`
class that are not present in its base classes."]
- congruence() const
- Member functions and types inherited from FpSemigroupInterface:
- ["This page contains a description of the member functions of the
:cpp:any:`CongruenceWrapper` class inherited from
:cpp:any:`FpSemigroupInterface`."]
- string_type
- char_type
- const_iterator
- rule_type
- 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(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_identity(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&) override
- 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&) override
- has_identity() const noexcept
- Member functions inherited from Runner:
- ["This page contains a description of the member functions of the
:cpp:any:`CongruenceWrapper` 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.3 Sekunden
(vorverarbeitet)
]