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::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