test/reservoir/lim-lam6.cloog

   1 # Language
   2 c
   3
   4 # Context
   5
   6     1 3
   7     1    0    1
   8 0
   9
  10 # Number of statments
  11 2
  12
  13 1
  14 # { (i,j,k) | i >= 0, -i+k >= 0, j-1 >= 0, -j+k >= 0, 1 >= 0 }
  15
  16     5 5
  17     1    1    0    0    0
  18     1   -1    0    1    0
  19     1    0    1    0   -1
  20     1    0   -1    1    0
  21     1    0    0    0    1
  22
  23 0 0 0
  24 1
  25 # { (i,j,k) | i-1 >= 0, -i+k >= 0, j >= 0, -j+k >= 0, 1 >= 0 }
  26
  27     5 5
  28     1    1    0    0   -1
  29     1   -1    0    1    0
  30     1    0    1    0    0
  31     1    0   -1    1    0
  32     1    0    0    0    1
  33
  34 0 0 0
  35 0
  36 # Scattering functions
  37 2
  38
  39     6 10
  40     0    1    0    0    0    0    0    0    0    0
  41     0    0    1    0    0    0   -1    0    0    0
  42     0    0    0    1    0    0    0    0    0    0
  43     0    0    0    0    1    0    0   -1    0    0
  44     0    0    0    0    0    1    0    0    0    0
  45     1    0    0    0    0    0    0    0    0    1
  46
  47
  48     6 10
  49     0    1    0    0    0    0    0    0    0   -1
  50     0    0    1    0    0    0    0   -1    0    0
  51     0    0    0    1    0    0    0    0    0    0
  52     0    0    0    0    1    0   -1    0    0    0
  53     0    0    0    0    0    1    0    0    0    0
  54     1    0    0    0    0    0    0    0    0    1
  55
  56 0