ToddCoxeter(congruence_type, std::shared_ptr<FroidurePinBase>, policy::froidure_pin)¶
-
libsemigroups::congruence::ToddCoxeter
::
ToddCoxeter
(congruence_type t, std::shared_ptr<FroidurePinBase> fp, policy::froidure_pin p = policy::froidure_pin::use_cayley_graph)¶ Construct from a FroidurePinBase.
- Return
A ToddCoxeter instance representing a congruence of type
t
over the semigroup represented byfp
.- Parameters
t
: the type of the congruence being constructedfp
: a std::shared_ptr to a FroidurePinBase, this parameter is not copied by this constructor.p
: the policy::froidure_pin to use.