Rho< BMat8, BMat8 >

Adapter for the action on RhoValue'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 rho value of the second argument. The kernel of the rho function should be Green's \(\mathscr{R}\)-relation on the semigroup in question.

Template Parameters

Element	the type of elements.
Point	the type of the rho 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 rho value of x as used in the Konieczny algorithm; for BMat8 this is the column space basis.

---

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

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