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.
- Parameters
t – the type of the congruence being constructed
fp – a std::shared_ptr to a FroidurePinBase, this parameter is not copied by this constructor.
p – the policy::froidure_pin to use.
- Returns
A ToddCoxeter instance representing a congruence of type
t
over the semigroup represented byfp
.