prod¶
-
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.