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 by fp.

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.