Searched refs:copy_relations_for_quotient (Results 1 – 4 of 4) sorted by relevance
575 void copy_relations_for_quotient(ToddCoxeter&);
653 void copy_relations_for_quotient(ToddCoxeter&);
383 copy_relations_for_quotient(copy); in ToddCoxeter()395 copy_relations_for_quotient(copy.congruence()); in ToddCoxeter()802 void ToddCoxeter::copy_relations_for_quotient(ToddCoxeter& copy) { in copy_relations_for_quotient() function in libsemigroups::congruence::ToddCoxeter
430 copy_relations_for_quotient(copy); in ToddCoxeter()441 copy_relations_for_quotient(copy.congruence()); in ToddCoxeter()891 void ToddCoxeter::copy_relations_for_quotient(ToddCoxeter& copy) { in copy_relations_for_quotient() function in libsemigroups::congruence::ToddCoxeter