test_inputs/codegen/isolate6.st

   1 # Example from the manual
   2 domain: "{ A[i,j] : 0 <= i,j and i + j <= 100 }"
   3 child:
   4   schedule: "[{ A[i,j] -> [floor(i/10)] }, \
   5         { A[i,j] -> [floor(j/10)] }, \
   6         { A[i,j] -> [i] }, { A[i,j] -> [j] }]"
   7   options: "{ isolate[[] -> [a,b,c,d]] : 0 <= 10a,10b and \
   8         10a+9+10b+9 <= 100; [isolate[] -> unroll[3]] }"