|
libsemigroups
|
This is the complete list of members for libsemigroups::RWS, including all inherited members.
| add_rule(rws_word_t *p, rws_word_t *q) | libsemigroups::RWS | |
| add_rule(rws_word_t const &p, rws_word_t const &q) | libsemigroups::RWS | |
| add_rules(std::vector< relation_t > const &relations) | libsemigroups::RWS | inline |
| add_rules(Congruence &cong) | libsemigroups::RWS | inline |
| is_confluent() const | libsemigroups::RWS | inline |
| knuth_bendix() | libsemigroups::RWS | inline |
| knuth_bendix(std::atomic< bool > &killed) | libsemigroups::RWS | |
| letter_to_rws_letter(letter_t const &a) | libsemigroups::RWS | static |
| letter_to_rws_word(letter_t const &a) | libsemigroups::RWS | static |
| nr_rules() const | libsemigroups::RWS | inline |
| rewrite(rws_word_t *w) const | libsemigroups::RWS | |
| rewrite(rws_word_t w) const | libsemigroups::RWS | inline |
| rules_cbegin() const | libsemigroups::RWS | inline |
| rules_cend() const | libsemigroups::RWS | inline |
| RWS(ReductionOrdering *order) | libsemigroups::RWS | inlineexplicit |
| RWS() | libsemigroups::RWS | inline |
| 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_to_letter(rws_letter_t const &rws_letter) | libsemigroups::RWS | static |
| rws_word_to_word(rws_word_t const *rws_word) | libsemigroups::RWS | static |
| set_confluent(bool val) | libsemigroups::RWS | inline |
| set_report(bool val) const | libsemigroups::RWS | inline |
| test_equals(word_t const &p, word_t const &q) | libsemigroups::RWS | |
| test_equals(rws_word_t const &p, rws_word_t const &q) | libsemigroups::RWS | |
| test_less_than(word_t const &p, word_t const &q) | libsemigroups::RWS | |
| test_less_than(rws_word_t const &p, rws_word_t const &q) | libsemigroups::RWS | |
| word_to_rws_word(word_t const &w) | libsemigroups::RWS | static |
| ~RWS() | libsemigroups::RWS |
1.8.13