TTobias GrosserUpdate isl to 94d707d
1de4e381创建于 2015年3月19日历史提交
domain: "{ A[]; B[i] : 0 <= i < 10 }"
child:
  schedule: "[{ A[] -> [0]; B[i] -> [i] }]"
  child:
    sequence:
    - filter: "{ A[] }"
    - filter: "{ B[i] }"