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