congruence::KnuthBendix¶
-
class
KnuthBendix
: public libsemigroups::CongruenceInterface¶ Defined in
knuth-bendix.hpp
.On this page we describe the functionality relating to the Knuth-Bendix algorithm for computing congruences of semigroups and monoids.
This page contains details of the member functions of the class libsemigroups::congruence::KnuthBendix.
- See
- Example
KnuthBendix kb; kb.set_nr_generators(2); kb.add_pair({0, 0, 0}, {0}); kb.add_pair({0}, {1, 1}); kb.nr_classes(); // 5 kb.word_to_class_index({0, 0, 1}); // 4 kb.word_to_class_index({0, 0, 0, 0, 1}); // 4 kb.word_to_class_index({0, 1, 1, 0, 0, 1}); // 4 kb.word_to_class_index({0, 0, 0}); // 0 kb.word_to_class_index({1}); // 1 kb.word_to_class_index({0, 0, 0, 0}); // 2
Constructors¶
Converters¶
Initialisation¶
Attributes¶
- cbegin_generating_pairs
- cbegin_ntc
- cend_generating_pairs
- cend_ntc
- has_parent_froidure_pin
- has_quotient_froidure_pin
- is_quotient_obviously_finite
- is_quotient_obviously_infinite
- kind
- knuth_bendix
- non_trivial_classes
- nr_classes
- nr_generating_pairs
- nr_generators
- nr_non_trivial_classes
- parent_froidure_pin
- quotient_froidure_pin