diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2023-05-13 20:33:39 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2023-05-13 20:33:39 +0900 |
| commit | 08815780ada5aad05bc3156bb23a1c975e3c12f3 (patch) | |
| tree | cbc006b8b4a05c1fb42f9ae8aeddad38b81d471e /comparison/Inpla/src/ack-stream_3-11-reuse.in | |
| parent | 28208263a3f8d6ababb285f1df34df98c2d5d4a0 (diff) | |
| download | inpla-08815780ada5aad05bc3156bb23a1c975e3c12f3.tar.gz inpla-08815780ada5aad05bc3156bb23a1c975e3c12f3.zip | |
v0.11.0
Diffstat (limited to 'comparison/Inpla/src/ack-stream_3-11-reuse.in')
| -rw-r--r-- | comparison/Inpla/src/ack-stream_3-11-reuse.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/comparison/Inpla/src/ack-stream_3-11-reuse.in b/comparison/Inpla/src/ack-stream_3-11-reuse.in index 4a05f82..dc1a0fd 100644 --- a/comparison/Inpla/src/ack-stream_3-11-reuse.in +++ b/comparison/Inpla/src/ack-stream_3-11-reuse.in @@ -28,13 +28,13 @@ Ackm(ret, int m) >< (int n) | _ => (*L)Ack(cnt,n-1)~m, Ack(ret,cnt)~(m-1); Ackm(ret, int m) >< Inc(n) -=> (*L)Ack(cnt,n)~m, (*R)Ack(ret,cnt)~(m-1); +=> (*R)Ack(cnt,n)~m, (*L)Ack(ret,cnt)~(m-1); Sumup(ret, int sum) >< Inc(x) => (*L)Sumup(ret, sum+1)~x; Sumup(ret, int sum) >< (int n) => ret~sum+n; -AckMain(ret)><(int m, int n) => (*L)Ack(cnt,n)~m, (*R)Sumup(ret,0)~cnt; +AckMain(ret)><(int m, int n) => (*R)Ack(cnt,n)~m, (*L)Sumup(ret,0)~cnt; //AckMain(ret)><(int m, int n) => Ack(cnt,n)~m, Sumup(ret,0)~cnt; AckMain(ret)~(3,11); |