operator*(BMat8 const&)

BMat8 libsemigroups::BMat8::operator*(BMat8 const &that) const noexcept

Returns the matrix product of this and that.

This member function returns the standard matrix product (over the boolean semiring) of two BMat8 objects. Uses the technique given here.

Return

A BMat8.

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

Parameters
  • that: the matrix we want to multiply by this.