plus

int64_t libsemigroups::SemiringWithThreshold::plus(int64_t, int64_t) const = 0

Returns the sum, in the semiring, of the parameters.