test/reservoir/lim-lam4.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,l) | i-1 >= 0, -i+l-1 >= 0, j >= 0, k >= 0, -j-k+l-1 >= 0, 1 >= 0 }
  15
  16     6 6
  17     1    1    0    0    0   -1
  18     1   -1    0    0    1   -1
  19     1    0    1    0    0    0
  20     1    0    0    1    0    0
  21     1    0   -1   -1    1   -1
  22     1    0    0    0    0    1
  23
  24 0 0 0
  25 1
  26 # { (i,j,k,l) | i-1 >= 0, -i+l-1 >= 0, j >= 0, -j+k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
  27
  28     6 6
  29     1    1    0    0    0   -1
  30     1   -1    0    0    1   -1
  31     1    0    1    0    0    0
  32     1    0   -1    1    0   -1
  33     1    0    0   -1    1   -1
  34     1    0    0    0    0    1
  35
  36 0 0 0
  37 0
  38 # Scattering functions
  39 2
  40
  41     8 13
  42     0    1    0    0    0    0    0    0    0    0    0    0    0
  43     0    0    1    0    0    0    0    0   -1   -1   -1    0    0
  44     0    0    0    1    0    0    0    0    0    0    0    0    0
  45     0    0    0    0    1    0    0    0    0    0    1    0    0
  46     0    0    0    0    0    1    0    0    0    0    0    0    0
  47     0    0    0    0    0    0    1    0    0    0   -1    0    0
  48     0    0    0    0    0    0    0    1    0    0    0    0    0
  49     1    0    0    0    0    0    0    0    0    0    0    0    1
  50
  51
  52     8 13
  53     0    1    0    0    0    0    0    0    0    0    0    0    0
  54     0    0    1    0    0    0    0    0   -1    0   -1    0    0
  55     0    0    0    1    0    0    0    0    0    0    0    0    0
  56     0    0    0    0    1    0    0    0    0   -1    1    0    0
  57     0    0    0    0    0    1    0    0    0    0    0    0   -1
  58     0    0    0    0    0    0    1    0    0    0   -1    0    0
  59     0    0    0    0    0    0    0    1    0    0    0    0    0
  60     1    0    0    0    0    0    0    0    0    0    0    0    1
  61
  62 0