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.