FpSemigroupInterface¶
-
class
FpSemigroupInterface: public libsemigroups::Runner¶ Defined in
fpsemi-intf.hpp.Every class for representing a finitely presented semigroup or monoid in
libsemigroupsis derived from FpSemigroupInterface, which holds the member functions that are common to all its derived classes. FpSemigroupInterface is an abstract class.Subclassed by libsemigroups::CongruenceWrapper< T >, libsemigroups::FpSemigroup, libsemigroups::fpsemigroup::KnuthBendix
Type Aliases¶
Deleted constructors¶
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() const
- alphabet(size_t) const
- identity
- inverses
- nr_rules
- set_alphabet(size_t)
- set_alphabet(std::string const&)
- set_identity(letter_type)
- set_identity(std::string const&)
- set_inverses