1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
# test if-then-else generation
symbolic n,m;
r0:={[i,j]:1<=i,j<=n && m>1 && m<n};
r1:={[i,j]:1<=i,j<=n && m>1 && m>=n };
r2:={[i,j]:1<=i,j<=n && m<=1};
codegen 0 r0,r1,r2;
r0:={[i]:1<=i<=100 && n> 1};
r1:={[i,j]:1<=i,j<=100 && n>1};
r2:={[i,j]:1<=i,j<=100};
codegen 0 r0,r1,r2;
codegen 1 r0,r1,r2;
codegen 2 r0,r1,r2;
r0:={[i,j]:1<=i,j<=100 && exists (alpha: i=4alpha)};
r1:={[i,j]:10<=i,j<=100 && exists (alpha: i=4alpha+2)};
codegen 0 r0,r1;
codegen 1 r0,r1;
|
