template<typename Mat>
struct libsemigroups::Rank< Mat, RankState< Mat > >

Specialization of the Rank adapter for instances of BMat

Warning: The template type Mat must satisfy IsBMat<Mat>. If not, template substitution will fail.

Public Member Functions
size_t	operator() (RankState< Mat > const &state, Mat const &x) const
	Returns the rank of `x`.

Member Function Documentation

◆ operator()()

template<typename Mat>

size_t operator()	(	RankState< Mat > const &	state,
		Mat const &	x ) const

inline

Returns the rank of x.

The rank of a Mat may be defined as the rank of the Transformation obtained via the action of the Mat on the row orbit of the semigroup.

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

/home/joseph/Dev/Comp_Maths/sandbox/libsemigroups/include/libsemigroups/bmat-adapters.hpp