template<size_t T, typename Scalar>
struct libsemigroups::MinPlusTruncProd< T, Scalar >
Defined in matrix.hpp.
This is a stateless struct with a single call operator of signature: Scalar operator()(Scalar x, Scalar y) const noexcept that returns \(x
\otimes y\) which is defined by
\[ x\otimes y =
\begin{cases}
\min\{x + y, T\} & \text{if } x \neq \infty\text{ and }y \neq
\infty \\ \mbox{}
\infty & \text{if } x = \infty \text{ or }y = \infty;
\end{cases}
\]
representing multiplication in the quotient of the min-plus semiring by the congruence \(T = T + 1\).
- Template Parameters
-
| T | the threshold (point at which the entries in the min-plus semiring are truncated). |
| Scalar | the type of the values in the semiring. |
