prefill(Table const&)ΒΆ

void libsemigroups::congruence::ToddCoxeter::prefill(Table const&)

This member function allows a ToddCoxeter instance to be prefilled with an existing coset table.

The argument should represent the left or right Cayley graph of a finite semigroup. If an invalid table is given, then an exception is thrown.