template<typename Scalar>
struct libsemigroups::MaxPlusPlus< Scalar >
Defined in matrix.hpp.
- Template Parameters
-
| Scalar | the type of the values in the semiring (must be signed integer type). |
This is a stateless struct with a single call operator of signature: Scalar operator()(Scalar x, Scalar y) const noexcept that returns \(x \oplus y\) which is defined by
\[ x\oplus y =
\begin{cases}
\max\{x, y\} & \text{if } x \neq -\infty\text{ and }y \neq -\infty
\\ \mbox{}
-\infty & \text{if } x = -\infty \text{ or }y = -\infty;
\end{cases}
\]
representing addition in the max-plus semiring.
