test/reservoir/long.cloog

   1 # Language
   2 c
   3
   4 # Context
   5
   6    15 11
   7     1    1    0    0    0    0    0    0    0    0  -10
   8     1    0    1    0    0    0    0    0    0    0  -10
   9     1    0    0    1    0    0    0    0    0    0  -10
  10     1    0    0    0    1    0    0    0    0    0   -1
  11     1    0    0    0   -1    0    0    0    0    0    2
  12     1    0    0    0    0    1    0    0    0    0   -1
  13     1    0    0    0    0   -1    0    0    0    0    2
  14     1    0    0    0    0    0    1    0    0    0   -1
  15     1    0    0    0    0    0   -1    0    0    0    2
  16     1    0    0    0    0    0    0    1    0    0    0
  17     1    0    0    0    0    0    0   -1    0    0    1
  18     1    0    0    0    0    0    0    0    1    0    0
  19     1    0    0    0    0    0    0    0   -1    0    1
  20     1    0    0    0    0    0    0    0    0    1    0
  21     1    0    0    0    0    0    0    0    0   -1    1
  22 0
  23
  24 # Number of statments
  25 4
  26
  27 1
  28 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-p >= 0, -j+m-1 >= 0, k-o >= 0, -k+l-1 >= 0, 1 >= 0 }
  29
  30     7 14
  31     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
  32     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
  33     1    0    1    0    0    0    0    0   -1    0    0    0    0    0
  34     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
  35     1    0    0    1    0    0    0   -1    0    0    0    0    0    0
  36     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
  37     1    0    0    0    0    0    0    0    0    0    0    0    0    1
  38
  39 0 0 0
  40 1
  41 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-p >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
  42
  43     7 14
  44     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
  45     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
  46     1    0    1    0    0    0    0    0   -1    0    0    0    0    0
  47     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
  48     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
  49     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
  50     1    0    0    0    0    0    0    0    0    0    0    0    0    1
  51
  52 0 0 0
  53 1
  54 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-o >= 0, -k+l-1 >= 0, 1 >= 0 }
  55
  56     7 14
  57     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
  58     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
  59     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
  60     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
  61     1    0    0    1    0    0    0   -1    0    0    0    0    0    0
  62     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
  63     1    0    0    0    0    0    0    0    0    0    0    0    0    1
  64
  65 0 0 0
  66 1
  67 # { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
  68
  69     7 14
  70     1    1    0    0    0    0    0    0    0    0    0    0    0   -1
  71     1   -1    0    0    0    0    1    0    0    0    0    0    0   -1
  72     1    0    1    0    0    0    0    0    0    0    0    0    0   -1
  73     1    0   -1    0    0    1    0    0    0    0    0    0    0   -1
  74     1    0    0    1    0    0    0    0    0    0    0    0    0   -1
  75     1    0    0   -1    1    0    0    0    0    0    0    0    0   -1
  76     1    0    0    0    0    0    0    0    0    0    0    0    0    1
  77
  78 0 0 0
  79 0
  80 # Scattering functions
  81 4
  82
  83     8 21
  84     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
  85     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
  86     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
  87     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0
  88     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
  89     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
  90     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
  91     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
  92
  93
  94     8 21
  95     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
  96     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
  97     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
  98     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0
  99     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 100     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 101     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
 102     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 103
 104
 105     8 21
 106     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 107     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 108     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 109     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0
 110     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 111     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 112     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
 113     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 114
 115
 116     8 21
 117     0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0
 118     0    0    1    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0
 119     0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 120     0    0    0    0    1    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0
 121     0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0    0   -1
 122     0    0    0    0    0    0    1    0    0    0   -1    0    0    0    0    0    0    0    0    0    0
 123     0    0    0    0    0    0    0    1    0    0    0    0    0    0    0    0    0    0    0    0    0
 124     1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    1
 125
 126 0
 127