ToddCoxeter(congruence_type, T const&)¶
-
template<typename
T
>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!