CongruenceWrapper¶
-
template<typename
T
>
classCongruenceWrapper
: 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.
Type aliases¶
Constructors¶
Deleted constructors¶
Underlying congruence¶
Validation¶
Initialization¶
- 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
- identity
- inverses
- nr_rules
- set_alphabet(size_t)
- set_alphabet(std::string const&)
- set_identity(letter_type)
- set_identity(std::string const&)
- set_inverses