diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-09-17 22:25:50 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-09-17 22:25:50 +0900 |
| commit | d90c10cd95e399dd7614df76ee06acd1bf721833 (patch) | |
| tree | 42fd557836de39d4a32a303c40f42393906a6e4c /comparison/Inpla/src/ack-stream_3-11-reuse.in | |
| parent | 4b0da2732d7adcaa7d85db2ee329f8a52ef88c42 (diff) | |
| parent | b10fccefe9a6435328ff9d554995fb5710f74f26 (diff) | |
| download | inpla-d90c10cd95e399dd7614df76ee06acd1bf721833.tar.gz inpla-d90c10cd95e399dd7614df76ee06acd1bf721833.zip | |
Merge branch 'develop'
Diffstat (limited to 'comparison/Inpla/src/ack-stream_3-11-reuse.in')
| -rw-r--r-- | comparison/Inpla/src/ack-stream_3-11-reuse.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/comparison/Inpla/src/ack-stream_3-11-reuse.in b/comparison/Inpla/src/ack-stream_3-11-reuse.in index 7d7c701..4a05f82 100644 --- a/comparison/Inpla/src/ack-stream_3-11-reuse.in +++ b/comparison/Inpla/src/ack-stream_3-11-reuse.in @@ -24,7 +24,7 @@ Ack(ret, n) >< (int m) | _ => (*L)Ackm(ret, m)~n; Ackm(ret, int m) >< (int n) -| n==0 => Ack(ret,Inc(0)) ~ (m-1) +| n==0 => (*L)Ack(ret,Inc(0)) ~ (m-1) | _ => (*L)Ack(cnt,n-1)~m, Ack(ret,cnt)~(m-1); Ackm(ret, int m) >< Inc(n) @@ -34,8 +34,8 @@ 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) => Ack(cnt,n)~m, Sumup(ret,0)~cnt; +AckMain(ret)><(int m, int n) => (*L)Ack(cnt,n)~m, (*R)Sumup(ret,0)~cnt; +//AckMain(ret)><(int m, int n) => Ack(cnt,n)~m, Sumup(ret,0)~cnt; AckMain(ret)~(3,11); ret; |