tests/generic_condition2.scop

   1 context: '{  :  }'
   2 arrays:
   3 - context: '{  :  }'
   4   extent: '{ a[] }'
   5   element_type: int
   6 statements:
   7 - line: 9
   8   domain: '{ S_0[i, j] : (i >= 0 and i <= 4 and j >= i and j <= 0) or (exists (e0
   9     = [(2 + 4i)/5]: i >= 2 and i <= 4 and j >= i and 5e0 <= 2 + 4i and 5e0 >= -2 +
  10     4i and 5e0 <= 5i - j)) }'
  11   schedule: '{ S_0[i, j] -> [0, i, j] }'
  12   body:
  13     type: binary
  14     operation: =
  15     arguments:
  16     - type: access
  17       relation: '{ S_0[i, j] -> a[] }'
  18       read: 0
  19       write: 1
  20     - type: access
  21       relation: '{ S_0[i, j] -> [5] }'
  22       read: 1
  23       write: 0