test/reservoir/lim-lam3.cloog

   1 # Language
   2 c
   3
   4 # Context
   5
   6     2 3
   7     1    1   -1
   8     1    0    1
   9 0
  10
  11 # Number of statments
  12 4
  13
  14 1
  15 # { (i,j,k,l) | -i+l >= 0, i-j-1 >= 0, k-1 >= 0, j-k-1 >= 0, 1 >= 0 }
  16
  17     5 6
  18     1   -1    0    0    1    0
  19     1    1   -1    0    0   -1
  20     1    0    0    1    0   -1
  21     1    0    1   -1    0   -1
  22     1    0    0    0    0    1
  23
  24 0 0 0
  25 1
  26 # { (i,j,k) | -i+k >= 0, j-1 >= 0, i-j-1 >= 0, 1 >= 0 }
  27
  28     4 5
  29     1   -1    0    1    0
  30     1    0    1    0   -1
  31     1    1   -1    0   -1
  32     1    0    0    0    1
  33
  34 0 0 0
  35 1
  36 # { (i,j,k) | -i+k >= 0, j-1 >= 0, i-j-1 >= 0, 1 >= 0 }
  37
  38     4 5
  39     1   -1    0    1    0
  40     1    0    1    0   -1
  41     1    1   -1    0   -1
  42     1    0    0    0    1
  43
  44 0 0 0
  45 1
  46 # { (i,j) | i-1 >= 0, -i+j >= 0, 1 >= 0 }
  47
  48     3 4
  49     1    1    0   -1
  50     1   -1    1    0
  51     1    0    0    1
  52
  53 0 0 0
  54 0
  55 # Scattering functions
  56 4
  57
  58     8 13
  59     0    1    0    0    0    0    0    0    0    0    0    0    0
  60     0    0    1    0    0    0    0    0   -1   -2   -2    0   -5
  61     0    0    0    1    0    0    0    0    0    0    0    0    0
  62     0    0    0    0    1    0    0    0    0   -1    0    0    0
  63     0    0    0    0    0    1    0    0    0    0    0    0    0
  64     0    0    0    0    0    0    1    0    0    0   -1    0    0
  65     0    0    0    0    0    0    0    1    0    0    0    0    0
  66     1    0    0    0    0    0    0    0    0    0    0    0    1
  67
  68
  69     8 12
  70     0    1    0    0    0    0    0    0    0    0    0    0
  71     0    0    1    0    0    0    0    0   -1   -4    0   -3
  72     0    0    0    1    0    0    0    0    0    0    0   -1
  73     0    0    0    0    1    0    0    0    0   -1    0    0
  74     0    0    0    0    0    1    0    0    0    0    0   -1
  75     0    0    0    0    0    0    1    0    0    0    0    0
  76     0    0    0    0    0    0    0    1    0    0    0    0
  77     1    0    0    0    0    0    0    0    0    0    0    1
  78
  79
  80     8 12
  81     0    1    0    0    0    0    0    0    0    0    0    0
  82     0    0    1    0    0    0    0    0   -3   -2    0   -1
  83     0    0    0    1    0    0    0    0    0    0    0   -2
  84     0    0    0    0    1    0    0    0    0   -1    0    0
  85     0    0    0    0    0    1    0    0    0    0    0    0
  86     0    0    0    0    0    0    1    0    0    0    0    0
  87     0    0    0    0    0    0    0    1    0    0    0    0
  88     1    0    0    0    0    0    0    0    0    0    0    1
  89
  90
  91     8 11
  92     0    1    0    0    0    0    0    0    0    0    0
  93     0    0    1    0    0    0    0    0   -5    0    0
  94     0    0    0    1    0    0    0    0    0    0   -2
  95     0    0    0    0    1    0    0    0    0    0    0
  96     0    0    0    0    0    1    0    0    0    0    0
  97     0    0    0    0    0    0    1    0    0    0    0
  98     0    0    0    0    0    0    0    1    0    0    0
  99     1    0    0    0    0    0    0    0    0    0    1
 100
 101 0