petit/demo/petersen.dep_rels

   1 flow     1: Entry           -->  17: b(l)                            [ V]
   2 {[1] -> [i,1] : 2 <= i <= n}
   3 flow     1: Entry           -->  17: a(l,i)                          [ MV]
   4 {[In_1,In_2] -> [In_2,In_1] : 1 <= In_1 < In_2 <= n}
   5 flow     1: Entry           -->  17: b(l)                            [ M]
   6 {[In_1] -> [i,In_1] : 1 <= In_1 < i <= n}
   7 flow     1: Entry           -->  19: b(i)                            [ MV]
   8 {[In_1] -> [In_1] : 2 <= In_1 <= n}
   9 output   1: Entry           -->  19: b(i)                            [ M]
  10 {[In_1] -> [In_1] : 2 <= In_1 <= n}
  11 flow     1: Entry           -->  14: n                               [ MV]
  12 { ->  TRUE }
  13 flow     1: Entry           -->  17: s                               [ M]
  14 { -> [i,l] : 1 <= l < i <= n}
  15 flow     1: Entry           -->  19: s                               [ M]
  16 { -> [i] : 2 <= i <= n}
  17 output   1: Entry           -->  15: s                               [ M]
  18 { -> [i] : 2 <= i <= n}
  19 output   1: Entry           -->  17: s                               [ M]
  20 { -> [i,l] : 1 <= l < i <= n}
  21 flow    15: s               -->  17: s               (0)             [ Vo]
  22 {[i] -> [i,1] : 2 <= i <= n}
  23 may dd: {[0]}
  24 flow    15: s               -->  17: s               (0)             [ Mo]
  25 {[i] -> [i,l] : 1 <= l < i <= n}
  26 exact dd: {[0]}
  27 flow    15: s               -->  17: s               (+)             [ Mo]
  28 {[i] -> [i',l] : 2 <= i < i' <= n && 1 <= l < i'}
  29 exact dd: {[In_1]: 1 <= In_1}
  30 flow    15: s               -->  19: s               (0)             [ Mo]
  31 {[i] -> [i] : 2 <= i <= n}
  32 exact dd: {[0]}
  33 flow    15: s               -->  19: s               (+)             [ Mo]
  34 {[i] -> [i'] : 2 <= i < i' <= n}
  35 exact dd: {[In_1]: 1 <= In_1}
  36 output  15: s               -->  15: s               (+)             [ Mo]
  37 {[i] -> [i'] : 2 <= i < i' <= n}
  38 exact dd: {[In_1]: 1 <= In_1}
  39 output  15: s               -->  17: s               (0)             [ Mo]
  40 {[i] -> [i,l] : 1 <= l < i <= n}
  41 exact dd: {[0]}
  42 output  15: s               -->  17: s               (+)             [ Mo]
  43 {[i] -> [i',l] : 2 <= i < i' <= n && 1 <= l < i'}
  44 exact dd: {[In_1]: 1 <= In_1}
  45 anti    17: s               -->  15: s               (+)             [ Mo]
  46 {[i,l] -> [i'] : 1 <= l < i < i' <= n}
  47 exact dd: {[In_1]: 1 <= In_1}
  48 anti    17: s               -->  17: s               (0,+)           [ Mo]
  49 {[i,l] -> [i,l'] : 1 <= l < l' < i <= n}
  50 exact dd: {[0,In_2]: 1 <= In_2}
  51 anti    17: s               -->  17: s               (+,*)           [ Mo]
  52 {[i,l] -> [i',l'] : 1 <= l < i < i' <= n && 1 <= l' < i'}
  53 exact dd: {[In_1,In_2]: 1 <= In_1}
  54 flow    17: s               -->  17: s               (0,1)           [ VO]
  55 {[i,l] -> [i,l+1] : l+2 <= i <= n && 1 <= l}
  56 exact dd: {[0,1]}
  57 flow    17: s               -->  19: s               (0)             [ VO]
  58 {[i,i-1] -> [i] : 2 <= i <= n}
  59 may dd: {[0]}
  60 flow    17: s               -->  17: s               (0,+)           [ Mo]
  61 {[i,l] -> [i,l'] : 1 <= l < l' < i <= n}
  62 exact dd: {[0,In_2]: 1 <= In_2}
  63 flow    17: s               -->  17: s               (+,*)           [ Mo]
  64 {[i,l] -> [i',l'] : 1 <= l < i < i' <= n && 1 <= l' < i'}
  65 exact dd: {[In_1,In_2]: 1 <= In_1}
  66 flow    17: s               -->  19: s               (0)             [ Mo]
  67 {[i,l] -> [i] : 1 <= l < i <= n}
  68 exact dd: {[0]}
  69 flow    17: s               -->  19: s               (+)             [ Mo]
  70 {[i,l] -> [i'] : 1 <= l < i < i' <= n}
  71 exact dd: {[In_1]: 1 <= In_1}
  72 output  17: s               -->  15: s               (+)             [ Mo]
  73 {[i,l] -> [i'] : 1 <= l < i < i' <= n}
  74 exact dd: {[In_1]: 1 <= In_1}
  75 output  17: s               -->  17: s               (0,+)           [ Mo]
  76 {[i,l] -> [i,l'] : 1 <= l < l' < i <= n}
  77 exact dd: {[0,In_2]: 1 <= In_2}
  78 output  17: s               -->  17: s               (+,*)           [ Mo]
  79 {[i,l] -> [i',l'] : 1 <= l < i < i' <= n && 1 <= l' < i'}
  80 exact dd: {[In_1,In_2]: 1 <= In_1}
  81 anti    19: s               -->  15: s               (+)             [ Mo]
  82 {[i] -> [i'] : 2 <= i < i' <= n}
  83 exact dd: {[In_1]: 1 <= In_1}
  84 anti    19: s               -->  17: s               (+)             [ Mo]
  85 {[i] -> [i',l] : 2 <= i < i' <= n && 1 <= l < i'}
  86 exact dd: {[In_1]: 1 <= In_1}
  87 flow    19: b(i)            -->  17: b(l)            (+)             [ MVO]
  88 {[i] -> [i',i] : 2 <= i < i' <= n}
  89 may dd: {[In_1]: 1 <= In_1}
  90 flow    19: b(i)            -->  20: Exit                            [ MV]
  91 {[i] -> [i] : 2 <= i <= n}