plus

int64_t libsemigroups::NaturalSemiring::plus(int64_t x, int64_t y) const

Returns x + y modulo the congruence \(t = t + p\) where \(t\) and \(p\) are the threshold and period of the semiring, respectively.