diff options
Diffstat (limited to 'omegalib/examples/old_test/wak4')
| -rw-r--r-- | omegalib/examples/old_test/wak4 | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/omegalib/examples/old_test/wak4 b/omegalib/examples/old_test/wak4 deleted file mode 100644 index 48224b9..0000000 --- a/omegalib/examples/old_test/wak4 +++ /dev/null @@ -1,9 +0,0 @@ -symbolic a1,a2,a3,a4,a5,b1,b2,b3,b4,b5; -IS1 := {[i] : a1,a2,a3,a4,a5 <= i <= b1,b2,b3,b4,b5 }; -IS2 := {[i] : a1,a2,a3,a4,a5 <= i <= b1,b2,b3,b4,b5 }; - -T1 := {[i] -> [i,0]}; -T2 := {[i] -> [i,1]}; - -codegen T1:IS1,T2:IS2; -codegen 2 T1:IS1,T2:IS2; |