Lambda< BMat8, BMat8 >

Adapter for the action on LambdaValue's.

Defined in adapters.hpp.

This type should be a stateless trivially default constructible with an operator of signature void operator()(Point&, Element 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.

Template Parameters

Element	the type of elements.
Point	the type of the lambda points.

The third template parameter exists for SFINAE.

Used by:

• KoniecznyTraits.

Public Member Functions
void	operator() (BMat8 &res, BMat8 const &x) const noexcept

Member Function Documentation

operator()()

void operator() ( BMat8 & res, BMat8 const & x ) const

inlinenoexcept

Returns the lambda value of x as used in the Konieczny algorithm; for BMat8 this is the row space basis.

---

The documentation for this struct was generated from the following file:

• /home/joseph/Dev/Comp_Maths/sandbox/libsemigroups/include/libsemigroups/bmat8.hpp