plus¶
-
int64_t
libsemigroups::NaturalSemiring::plus(int64_t x, int64_t y) const override¶ Returns
x+ymodulo the congruence \(t = t + p\) where \(t\) and \(p\) are the threshold and period of the semiring, respectively.
libsemigroups::NaturalSemiring::plus(int64_t x, int64_t y) const override¶Returns x + y modulo the congruence \(t = t + p\) where \(t\) and \(p\) are the threshold and period of the semiring, respectively.