RhoValue< Mat >

template<typename Mat>
struct libsemigroups::RhoValue< Mat >

Specialization of the RhoValue adapter for BMat.

Note

The the type chosen here limits the Konieczny algorithm to BMats of degree at most 64 (or 32 on 32-bit systems).

Warning

The template type Mat must be a BMat type (IsBMat<Mat> must be true). If not, template substitution will fail.

See also

RhoValue.

Public Types
using	type = typename LambdaValue<Mat>::type
	The type of Rho Values.

Member Typedef Documentation

type

template<typename Mat>

using type = typename LambdaValue<Mat>::type

For BMats, type is StaticVector1<BitSet<N>, N>, where N is the maximum width of BitSet on the system. This represents the column space basis of a BMat.

---

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

• /Users/jdm/libsemigroups/include/libsemigroups/bmat-adapters.hpp