FpSemigroupInterface¶
-
class
FpSemigroupInterface
: public libsemigroups::Runner¶ Defined in
fpsemi-intf.hpp
.Every class for representing a finitely presented semigroup or monoid in
libsemigroups
is 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
- identity
- inverses
- nr_rules
- set_alphabet(size_t)
- set_alphabet(std::string const&)
- set_identity(letter_type)
- set_identity(std::string const&)
- set_inverses