omega/examples/old_test/wak1


1
2
3
4
5
6
7
8
9
10
11
12
13

symbolic a1,a2,a3,b1,b2,b3;

IS1 := {[i] : a1 <= i <= b1 };
IS2 := {[i] : a2 <= i <= b2 };
IS3 := {[i] : a3 <= i <= b3 };

T1 := {[i] -> [i,0]};
T2 := {[i] -> [i,1]};
T3 := {[i] -> [i,2]};

codegen 0 T1:IS1,T2:IS2,T3:IS3;

codegen T1:IS1,T2:IS2,T3:IS3;