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.