libsemigroups
|
This is the complete list of members for libsemigroups::RWS, including all inherited members.
AB_BC enum value (defined in libsemigroups::RWS) | libsemigroups::RWS | |
ABC enum value (defined in libsemigroups::RWS) | libsemigroups::RWS | |
add_rule(std::string const &p, std::string const &q) | libsemigroups::RWS | |
add_rules(std::vector< relation_t > const &relations) | libsemigroups::RWS | |
add_rules(Congruence &cong) | libsemigroups::RWS | inline |
confluent() const | libsemigroups::RWS | inline |
knuth_bendix() | libsemigroups::RWS | inline |
knuth_bendix(std::atomic< bool > &killed) | libsemigroups::RWS | |
knuth_bendix_by_overlap_length() | libsemigroups::RWS | inline |
max_AB_BC enum value (defined in libsemigroups::RWS) | libsemigroups::RWS | |
nr_rules() const | libsemigroups::RWS | inline |
operator<<(std::ostream &os, RWS const &rws) | libsemigroups::RWS | friend |
overlap_measure enum name | libsemigroups::RWS | |
rewrite(std::string *w) const | libsemigroups::RWS | inline |
rewrite(std::string w) const | libsemigroups::RWS | inline |
rule(std::string p, std::string q) const | libsemigroups::RWS | |
rules() const | libsemigroups::RWS | |
RWS(ReductionOrdering *order, std::string alphabet=STANDARD_ALPHABET) | libsemigroups::RWS | inlineexplicit |
RWS() | libsemigroups::RWS | inline |
RWS(std::string alphabet) | libsemigroups::RWS | inlineexplicit |
RWS(std::vector< relation_t > const &relations) | libsemigroups::RWS | inlineexplicit |
RWS(ReductionOrdering *order, std::vector< relation_t > const &relations) | libsemigroups::RWS | inline |
RWS(Congruence &cong) | libsemigroups::RWS | inlineexplicit |
rws_letter_t typedef | libsemigroups::RWS | |
rws_word_to_word(rws_word_t const *rws_word) | libsemigroups::RWS | inlinestatic |
set_check_confluence_interval(size_t interval) | libsemigroups::RWS | inline |
set_max_overlap(size_t val) | libsemigroups::RWS | inline |
set_max_rules(size_t val) | libsemigroups::RWS | inline |
set_overlap_measure(overlap_measure measure) | libsemigroups::RWS | |
set_report(bool val) const | libsemigroups::RWS | inline |
set_report_interval(size_t interval) | libsemigroups::RWS | inline |
test_equals(word_t const &p, word_t const &q) | libsemigroups::RWS | |
test_equals(std::initializer_list< size_t > const &p, std::initializer_list< size_t > const &q) | libsemigroups::RWS | |
test_equals(std::string const &p, std::string const &q) | libsemigroups::RWS | |
test_equals(std::string *p, std::string *q) | libsemigroups::RWS | |
test_less_than(word_t const &p, word_t const &q) | libsemigroups::RWS | |
test_less_than(std::string const &p, std::string const &q) | libsemigroups::RWS | |
test_less_than(std::string *p, std::string *q) | libsemigroups::RWS | |
uint_to_rws_word(size_t const &a) | libsemigroups::RWS | inlinestatic |
UNBOUNDED | libsemigroups::RWS | static |
word_to_rws_word(word_t const &w, rws_word_t *ww) | libsemigroups::RWS | inlinestatic |
word_to_rws_word(word_t const &w) | libsemigroups::RWS | inlinestatic |
~RWS() | libsemigroups::RWS |