test/reservoir/loechner3.cloog

   1 # Language
   2 c
   3
   4 # Context
   5
   6     1 3
   7     1    0    1
   8 0
   9
  10 # Number of statments
  11 1
  12
  13 1
  14 # { (i,j,k,l) | -i+l >= 0, j-1 >= 0, -j+l >= 0, k-1 >= 0, i-k >= 0, 1 >= 0 }
  15
  16     6 6
  17     1   -1    0    0    1    0
  18     1    0    1    0    0   -1
  19     1    0   -1    0    1    0
  20     1    0    0    1    0   -1
  21     1    1    0   -1    0    0
  22     1    0    0    0    0    1
  23
  24 0 0 0
  25 0
  26 # Scattering functions
  27 1
  28
  29     8 13
  30     0    1    0    0    0    0    0    0    0    0    0    0    0
  31     0    0    1    0    0    0    0    0   -1    0    0    0    0
  32     0    0    0    1    0    0    0    0    0    0    0    0    0
  33     0    0    0    0    1    0    0    0    0   -1   -1    0    0
  34     0    0    0    0    0    1    0    0    0    0    0    0    0
  35     0    0    0    0    0    0    1    0    0   -1    0    0    0
  36     0    0    0    0    0    0    0    1    0    0    0    0    0
  37     1    0    0    0    0    0    0    0    0    0    0    0    1
  38
  39 0