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)