imagerightaction.rst

ImageRightAction

This struct is a specialisation of :cppImageRightAction for boolean matrices and containers of bitsets.

tparam Container

a container type where :cppIsBitSet\<typename Container::value_type> is true. For example, Container might be detail::StaticVector1<BitSet<N>, N> or std::vector<BitSet<N>> for some value of N with 0 ≤ N ≤ 64.

tparam Mat

a type such that :cppIsBMat<Mat> is true.

Given a row basis pt and a boolean matrix x, this function computes the row basis of the space obtained by right multiplication of the rows in pt by the matrix x, and modifies res to contain the resulting row basis.

param res

container to store the result.

param pt

the container on which to act.

param x

the matrix which is acting.

returns

(None).

complexity

O(r²c) where r is the number of rows in pt and c is the number of columns in x.

This struct is a specialisation of :cppImageRightAction for boolean matrices and bitsets.

tparam N

a value that exceeds the number of rows in any instance of Mat passed to the call operator.

tparam Mat

a type such that :cppIsBMat<Mat> is true.

Given a bitset pt (representing a row of a boolean matrix) and a boolean matrix x, this function computes the row obtained by right multiplying pt by the matrix x, and modifies res to contain the resulting bitset.

param res

bitset to contain the result.

param pt

the bitset on which to act.

param x

the matrix which is acting.

returns

(None).

complexity

O(r²) where r is the number of rows in x.