libsemigroups
libsemigroups::RWS Member List

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::RWSinline
add_rules(Congruence &cong)libsemigroups::RWSinline
is_confluent() constlibsemigroups::RWSinline
knuth_bendix()libsemigroups::RWSinline
knuth_bendix(std::atomic< bool > &killed)libsemigroups::RWS
letter_to_rws_letter(letter_t const &a)libsemigroups::RWSstatic
letter_to_rws_word(letter_t const &a)libsemigroups::RWSstatic
nr_rules() constlibsemigroups::RWSinline
rewrite(rws_word_t *w) constlibsemigroups::RWS
rewrite(rws_word_t w) constlibsemigroups::RWSinline
rules_cbegin() constlibsemigroups::RWSinline
rules_cend() constlibsemigroups::RWSinline
RWS(ReductionOrdering *order)libsemigroups::RWSinlineexplicit
RWS()libsemigroups::RWSinline
RWS(std::vector< relation_t > const &relations)libsemigroups::RWSinlineexplicit
RWS(ReductionOrdering *order, std::vector< relation_t > const &relations)libsemigroups::RWSinline
RWS(Congruence &cong)libsemigroups::RWSinlineexplicit
rws_letter_to_letter(rws_letter_t const &rws_letter)libsemigroups::RWSstatic
rws_word_to_word(rws_word_t const *rws_word)libsemigroups::RWSstatic
set_confluent(bool val)libsemigroups::RWSinline
set_report(bool val) constlibsemigroups::RWSinline
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::RWSstatic
~RWS()libsemigroups::RWS