prod

int64_t libsemigroups::TropicalMaxPlusSemiring::prod(int64_t x, int64_t y) const override

Returns libsemigroups::NEGATIVE_INFINITY if either parameter equal libsemgroups::NEGATIVE_INFINITY, otherwise returns the minimum of the usual integer sum of the parameters and the threshold of the semiring.