add_rules(FroidurePinBase&)

void libsemigroups::CongruenceWrapper::add_rules(FroidurePinBase &S)

Add the rules of a finite presentation for S to this.

Return

(None)

Complexity

At most \(O(|S||A|)\) where \(A\) is a generating set for S.

Parameters
Exceptions