diff options
Diffstat (limited to 'comparison/Inpla/src/bsort-20000-reuse.in')
| -rw-r--r-- | comparison/Inpla/src/bsort-20000-reuse.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/comparison/Inpla/src/bsort-20000-reuse.in b/comparison/Inpla/src/bsort-20000-reuse.in index 0b7e551..f7348d5 100644 --- a/comparison/Inpla/src/bsort-20000-reuse.in +++ b/comparison/Inpla/src/bsort-20000-reuse.in @@ -22,8 +22,8 @@ bs_Cons(r, int n)>< x:xs => (*L)bs_ConsCons(r, n, x) ~ xs; bs_Cons(r, int n)>< [] => r~(*R)[]; bs_ConsCons(r, int n, int x) >< (int y):ys -| x < y => r~x:cnt, (*L)bs(cnt, (*R)(y:ys)) ~(n-1) -| _ => r~y:cnt, (*L)bs(cnt, (*R)(x:ys))~(n-1); +| x < y => r~(*R)(x:cnt), (*L)bs(cnt, y:ys) ~(n-1) +| _ => r~(*R)(y:cnt), (*L)bs(cnt, x:ys)~(n-1); bs_ConsCons(r, int n, int x) >< [] => r~(*R)[x]; go(r,xs) >< (int n) @@ -45,13 +45,13 @@ make_RandList(ret) >< (int n) // validation checks -valid(ret) >< [] => ret~True; +valid(ret) >< [] => ret~(*L)True; valid(ret) >< x:xs => (*L)valid_Cons(ret,x)~xs; valid_Cons(ret, int x) >< [] => ret~True; valid_Cons(ret, int x) >< (int y):ys | x<=y => (*L)valid_Cons(ret,y)~ys -| _ => ret~False, Eraser~ys; +| _ => ret~(*L)False, (*R)Eraser~ys; // The `Eraser' is a built-in agent defined for any agents as follows: //Eraser >< Alpha(a1, ..., a5) => Eraser~a1, ..., Eraser~a5; |