ToddCoxeter(congruence_type, T const&)¶
-
template<typename T>
inline libsemigroups::congruence::ToddCoxeter::ToddCoxeter(congruence_type type, T const &S)¶ A constructor that creates a new ToddCoxeter instance representing a left, right, or two-sided congruence over the semigroup represented by a FroidurePin instance of the type specified by the libsemigroups::congruence_type.
Warning
The parameter
S
is copied, this might be expensive, use a std::shared_ptr to avoid the copy!