Lambda¶
-
using
libsemigroups::Konieczny
::
Lambda
= typename TTraits::Lambda¶ 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.