CongruenceWrapper¶

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

Defined in cong-wrap.hpp.

This class wraps a derived class of CongruenceInterface of type T so that it has the FpSemigroupInterface.

Member types¶

wrapped_type

The type of the wrapped congruence, also the template parameter T.

Constructors¶

`CongruenceWrapper()`
`CongruenceWrapper(CongruenceWrapper const&)`	Default copy constructor.
`CongruenceWrapper(CongruenceWrapper&&) = default`	Deleted.
`CongruenceWrapper(S const&)`
`CongruenceWrapper(std::shared_ptr<FroidurePinBase>)`

Deleted constructors¶

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

CongruenceWrapper member functions¶

congruence() const

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(std::string const&, std::string const&) override`
`equal_to(word_type const&, word_type const&) override`
`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(std::string const&) override`
`normal_form(word_type const&) override`
`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`	Type for strings.
`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`