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.