test/reservoir/two.cloog

   1 # Scan
   2 #  D = { (i, j, k) | 0 <= i < 10, 1 <= j < 20, 2i + 3j = k, i + j + 3 = 3k }
   3 #
   4 # language: C
   5 c
   6
   7 # parameter (none)
   8 1 2
   9 1 1
  10 0
  11
  12 1 # Number of statements
  13
  14 1
  15 6 5
  16 #  i  j  k  1
  17 1  1  0  0  0
  18 1 -1  0  0 10
  19 1  0  1  0 -1
  20 1  0 -1  0 20
  21 0  2  3 -1  0
  22 0  1  1 -1  3
  23 0  0  0
  24 0
  25
  26 0 # Scattering functions