test/levenshtein-1-2-3.cloog

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