diff options
Diffstat (limited to 'omegalib/examples/experiments/swim/swim-codegen.input')
-rwxr-xr-x | omegalib/examples/experiments/swim/swim-codegen.input | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/omegalib/examples/experiments/swim/swim-codegen.input b/omegalib/examples/experiments/swim/swim-codegen.input deleted file mode 100755 index 4e558bc..0000000 --- a/omegalib/examples/experiments/swim/swim-codegen.input +++ /dev/null @@ -1,53 +0,0 @@ -symbolic N3,M,N; - - -s0:= {[t,i,j] : 0 <= j <= N-1 && 0 <= i <= M-1 && 0 <= t <= N3-1 }; -t0:={[t,i,j] -> [0,t,0,i,0,j,0]}; -s1:= {[t,j] : 0 <= j <= N-1 && 0 <= t <= N3-1}; -t1:={[t,j] -> [0,t,1,j,0,0,0]}; -s2:= {[t,i] : 0 <= i <= M-1 && 0 <= t <= N3-1}; -t2:={[t,i] -> [0,t,2,i,0,0,0]}; -s3:= {[t] : 0 <= t <= N3-1 }; -t3:={[t] -> [0,t,3,0,0,0,0]}; -s4:= {[t,i,j] : 0 <= j <= N-1 && i=M-1 && 0 <= t <= N3-1 }; -t4:={[t,i,j] -> [0,t,4,i,0,j,0] }; -s5:= {[t,j] : 0 <= j <= N-1 && 0 <= t <= N3-1 }; -t5:={[t,j] -> [0,t,8,j,0,0,0]}; -s6:= {[t,i] : 0 <= i <= M-1 && 0 <= t <= N3-1 }; -t6:={[t,i] -> [0,t,9,i,0,0,0]}; -s7:= {[t] : 0 <= t <= N3-1 }; -t7:={[t] -> [0,t,10,0,0,0,0]}; -s8:= {[t,i,j] : 0 <= j <= N-1 && M-2 <= i <= M-1 && 0 <= t <= N3-1 }; -t8:= {[t,i,j] -> [0,t,12,i,0,j,0]}; -s9:= {[t,j] : 0 <= j <= N-1 && 0 <= t <= N3-1 }; -t9:={[t,j] -> [0,t,15,j,0,0,0]}; -s10:= {[t,i] : 0 <= i <= M-1 && 0 <= t <= N3-1 }; -t10:={[t,i] -> [0,t,16,i,3,0,0]}; -s11:= {[t] : 0 <= t <= N3-1 }; -t11:={[t] -> [0,t,17,0,0,0,0]}; -s12:= {[t,i,j] : 0 <= j <= N-1 && 0 <= i <= 1 && 0 <= t <= N3-1 }; -t12:= {[t,i,j] -> [0,t,11,i,0,j,0]}; -s13:= {[t,i,j] : N-2 <= j <= N-1 && 2 <= i <= M-3 && 0 <= t <= N3-1 }; -t13:= {[t,i,j] -> [0,t,14,i,0,j,0]}; -s14:= {[t,i,j] : 0 <= j <= 1 && 2 <= i <= M-3 && 0 <= t <= N3-1 }; -t14:= {[t,i,j] -> [0,t,13,i,0,j,0]}; -s15:= {[t,i,j] : 2 <= j <= N-3 && 2 <= i <= M-3 && 0 <= t <= N3-1 }; -t15:={[t,i,j] -> [0,t,0,i+3,0,j+2,2]}; - -s16:= {[t,i,j] : 0 <= j <= N-1 && i=0 && 0 <= t <= N3-1 }; -t16:={[t,i,j] -> [0,t,5,i,0,j,0] }; - -s17:= {[t,i,j] : j =N-1 && 1<= i <=M-2 && 0 <= t <= N3-1 }; -t17:={[t,i,j] -> [0,t,6,i,0,j,0] }; - -s18:= {[t,i,j] : j =0 && 1<= i <=M-2 && 0 <= t <= N3-1}; -t18:={[t,i,j] -> [0,t,7,i,0,j,0] }; - -s19:= {[t,i,j] :1 <= j <= N-2 && 1 <= i <= M-2 && 0 <= t <= N3-1 }; -t19:={[t,i,j] -> [0,t,0,i+2,0,j+1,1]}; - - - -codegen 2 t0:s0,t1:s1,t2:s2,t3:s3,t4:s4,t5:s5,t6:s6,t7:s7,t8:s8,t9:s9,t10:s10,t11:s11,t12:s12,t13:s13,t14:s14,t15:s15,t16:s16,t17:s17,t18:s18,t19:s19; -#codegen 2 s0,t1:s1,t2:s2,t3:s3,t4:s4,t5:s5,t6:s6,t7:s7,t8:s8,t9:s9,t10:s10,t11:s11,t12:s12,t13:s13,t14:s14,t15:s15,t16:s16,t17:s17,t18:s18,t19:s19; - |