diff options
Diffstat (limited to 'omegalib/examples/old_test/m4.oc-rt')
| -rw-r--r-- | omegalib/examples/old_test/m4.oc-rt | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/omegalib/examples/old_test/m4.oc-rt b/omegalib/examples/old_test/m4.oc-rt new file mode 100644 index 0000000..d710dce --- /dev/null +++ b/omegalib/examples/old_test/m4.oc-rt @@ -0,0 +1,28 @@ +>>> T1:={[i,j]->[j,i,0]}; +>>> T2:={[i,j]->[j,i,1]}; +>>> IS:={[i,j]: 1 <= i,j <= 9}; +>>> +>>> newIS1 := T1 \ IS; +>>> newIS1; +{[i,j] -> [j,i,0] : 1 <= i <= 9 && 1 <= j <= 9} +>>> newIS2 := T2 \ IS; +>>> newIS2; +{[i,j] -> [j,i,1] : 1 <= i <= 9 && 1 <= j <= 9} +>>> +>>> codegen T1:IS,T2:IS; +for(t1 = 1; t1 <= 9; t1++) { + for(t2 = 1; t2 <= 9; t2++) { + s1(t2,t1); + s2(t2,t1); + } +} + +>>> codegen 2 T1:IS,T2:IS; +for(t1 = 1; t1 <= 9; t1++) { + for(t2 = 1; t2 <= 9; t2++) { + s1(t2,t1); + s2(t2,t1); + } +} + + |