Initialization

This page contains information about the member functions of the ToddCoxeter that can be used to initialize the object.

inline void libsemigroups::congruence::ToddCoxeter::prefill(table_type const &table)

Prefill the coset table.

This function can be used to prefill a ToddCoxeter instance to be with an existing coset table. The argument should represent the left or right Cayley graph of a finite semigroup.

Complexity

Linear in the total number of entries in the table table.

Parameters

table – the table

Throws

LibsemigroupsException – if the table table is not valid.

Returns

(None)