LambdaValue< Mat >

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

Defined in bmat-adapters.hpp.

Specialization of the LambdaValue 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

LambdaValue.

Public Types
using	type = detail::StaticVector1<BitSet<N>, N>
	The type of Lambda Values.

Member Typedef Documentation

type

template<typename Mat>

using type = detail::StaticVector1<BitSet<N>, N>

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 the BMats.

---

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

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