diff options
Diffstat (limited to 'sample')
| -rw-r--r-- | sample/qsort.in | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/sample/qsort.in b/sample/qsort.in index 35de8e4..1582213 100644 --- a/sample/qsort.in +++ b/sample/qsort.in @@ -3,17 +3,16 @@ // Rules qsort(ret) >< [] => ret~[]; qsort(ret) >< (int x):xs => - part(x, left, right)~xs, - qsort(cntl)~left, qsort(cntr)~right, - Append(ret, x:cntl)~cntr; + Append(ret, x:right)~left, part(smaller, larger, x)~xs, + qsort(left)~smaller, qsort(right)~larger; -// Note: `Append' is implemented as built-in. -// Append(ret, a)~b --> ret ~ b@a +// Note: `Append' is implemented as the following built-in agent: +// Append(ret, b)~a --> ret ~ a@b -part(int x, a, b) >< [] => a~[], b~[]; -part(int x, a, b) >< (int y):ys -| y<x => b~(y:cnt), part(x, a, cnt)~ys -| _ => a~(y:cnt), part(x, cnt, b)~ys; +part(smaller, larger, int x) >< [] => smaller~[], larger~[]; +part(smaller, larger, int x) >< (int y):ys +| y<x => smaller~(y:cnt), part(cnt, larger, x)~ys +| _ => larger~(y:cnt), part(smaller, cnt, x)~ys; // Nets |