Lambda

using libsemigroups::KoniecznyTraits::Lambda = ::libsemigroups::Lambda<element_type, lambda_value_type>

Defined in adapters.hpp.

This type should be a stateless trivially default constructible with an operator of signature void operator()(TPointType&, TElementType const&), which should modify the first argument in-place to contain the lambda value of the second argument. The kernel of the lambda function should be Green’s \(\mathscr{L}\)-relation on the semigroup in question.

Used by KoniecznyTraits.

Template Parameters
  • TElementType: the type of the semigroup elements.

  • TPointType: the type of the lambda points.