cmake build

1 files changed, 0 insertions, 19 deletions

diff --git a/omega/examples/if_then b/omega/examples/if_then
deleted file mode 100755
index 9f159c7..0000000
--- a/omega/examples/if_then
+++ /dev/null
@@ -1,19 +0,0 @@
-# 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;