libsemigroups
libsemigroups::RWS Member List

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::RWSinline
confluent() constlibsemigroups::RWSinline
knuth_bendix()libsemigroups::RWSinline
knuth_bendix(std::atomic< bool > &killed)libsemigroups::RWS
knuth_bendix_by_overlap_length()libsemigroups::RWSinline
max_AB_BC enum value (defined in libsemigroups::RWS)libsemigroups::RWS
nr_rules() constlibsemigroups::RWSinline
operator<<(std::ostream &os, RWS const &rws)libsemigroups::RWSfriend
overlap_measure enum namelibsemigroups::RWS
rewrite(std::string *w) constlibsemigroups::RWSinline
rewrite(std::string w) constlibsemigroups::RWSinline
rule(std::string p, std::string q) constlibsemigroups::RWS
rules() constlibsemigroups::RWS
RWS(ReductionOrdering *order, std::string alphabet=STANDARD_ALPHABET)libsemigroups::RWSinlineexplicit
RWS()libsemigroups::RWSinline
RWS(std::string alphabet)libsemigroups::RWSinlineexplicit
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_t typedeflibsemigroups::RWS
rws_word_to_word(rws_word_t const *rws_word)libsemigroups::RWSinlinestatic
set_check_confluence_interval(size_t interval)libsemigroups::RWSinline
set_max_overlap(size_t val)libsemigroups::RWSinline
set_max_rules(size_t val)libsemigroups::RWSinline
set_overlap_measure(overlap_measure measure)libsemigroups::RWS
set_report(bool val) constlibsemigroups::RWSinline
set_report_interval(size_t interval)libsemigroups::RWSinline
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::RWSinlinestatic
UNBOUNDEDlibsemigroups::RWSstatic
word_to_rws_word(word_t const &w, rws_word_t *ww)libsemigroups::RWSinlinestatic
word_to_rws_word(word_t const &w)libsemigroups::RWSinlinestatic
~RWS()libsemigroups::RWS