prod¶
-
inline virtual int64_t libsemigroups::TropicalMinPlusSemiring::prod(int64_t x, int64_t y) const override¶
Returns POSITIVE_INFINITY if either parameter equals POSITIVE_INFINITY, otherwise return the minimum of the usual integer sum of the parameters and the threshold of the semiring.