My Pastes
Public Pastes
Layout Width
Share Pastebin
Guest
Public paste!

Untitled

By: a guest | Mar 21st, 2010 | Syntax: OCaml | Size: 10.12 KB | Hits: 65 | Expires: Never
Download | Raw | Embed | Report abuse
This paste has a previous version, view the difference. Copy text to clipboard
  1. # print_tree (prolonge_tree g MInf PInf 3 t');;
  2. |    Dep((3, 1), (3, 3)) : 0
  3. |    |    Dep((3, 6), (3, 4)) : 0
  4. |    |    |    Dep((2, 0), (5, 3)) : 0
  5. |    |    |    |    Dep((2, 7), (5, 4)) : 0
  6. |    |    |    |    Dep((2, 7), (4, 5)) : 0
  7. |    |    |    |    Dep((4, 6), (4, 4)) : -2
  8. |    |    |    Dep((2, 0), (4, 2)) : 0
  9. |    |    |    |    Dep((2, 7), (5, 4)) : 0
  10. |    |    |    |    Dep((2, 7), (4, 5)) : 0
  11. |    |    |    |    Dep((4, 6), (4, 4)) : -2
  12. |    |    |    Dep((4, 1), (4, 3)) : -46
  13. |    |    |    |    Dep((3, 4), (4, 3)) : 46
  14. |    |    |    |    Dep((2, 7), (4, 5)) : 2
  15. |    |    |    |    Dep((2, 7), (5, 4)) : 2
  16. |    |    Dep((6, 7), (5, 5)) : -3
  17. |    |    |    Dep((2, 0), (4, 2)) : 3
  18. |    |    |    |    Dep((4, 6), (4, 4)) : -3
  19. |    |    |    |    Dep((3, 6), (3, 4)) : -4
  20. |    |    |    |    Dep((5, 5), (4, 3)) : -4
  21. |    |    |    Dep((2, 0), (5, 3)) : 10
  22. |    |    |    Dep((4, 1), (4, 3)) : 8
  23. |    |    Dep((4, 6), (4, 4)) : -43
  24. |    |    |    Dep((3, 3), (4, 4)) : 43
  25. |    |    |    |    Dep((5, 7), (2, 4)) : -43
  26. |    |    |    |    Dep((5, 7), (3, 5)) : -43
  27. |    |    |    |    Dep((3, 6), (3, 4)) : -46
  28. |    |    |    Dep((2, 0), (4, 2)) : -42
  29. |    |    |    |    Dep((4, 4), (3, 3)) : 42
  30. |    |    |    |    Dep((5, 7), (3, 5)) : 1
  31. |    |    |    |    Dep((5, 7), (2, 4)) : 1
  32. |    |    |    Dep((2, 0), (5, 3)) : -122
  33. |    |    |    |    Dep((4, 4), (5, 3)) : 122
  34. |    |    |    |    Dep((4, 4), (3, 3)) : 42
  35. |    |    |    |    Dep((5, 7), (3, 5)) : 1
  36. |    Dep((4, 1), (4, 3)) : -47
  37. |    |    Dep((6, 7), (5, 5)) : 47
  38. |    |    |    Dep((5, 0), (2, 3)) : -47
  39. |    |    |    |    Dep((5, 5), (4, 3)) : 47
  40. |    |    |    |    Dep((4, 6), (4, 4)) : -4
  41. |    |    |    |    Dep((3, 6), (3, 4)) : -5
  42. |    |    |    Dep((5, 0), (3, 2)) : -47
  43. |    |    |    |    Dep((5, 5), (4, 3)) : 47
  44. |    |    |    |    Dep((4, 6), (4, 4)) : -4
  45. |    |    |    |    Dep((3, 6), (3, 4)) : -5
  46. |    |    |    Dep((3, 1), (3, 3)) : -50
  47. |    |    |    |    Dep((5, 5), (4, 3)) : 50
  48. |    |    |    |    Dep((4, 6), (4, 4)) : -1
  49. |    |    |    |    Dep((3, 6), (3, 4)) : -2
  50. |    |    Dep((3, 6), (3, 4)) : 0
  51. |    |    |    Dep((4, 3), (3, 4)) : 0
  52. |    |    |    |    Dep((3, 7), (3, 4)) : 0
  53. |    |    |    |    Dep((2, 7), (5, 4)) : -42
  54. |    |    |    |    Dep((2, 7), (4, 5)) : -42
  55. |    |    |    Dep((5, 0), (3, 2)) : -43
  56. |    |    |    |    Dep((3, 4), (4, 3)) : 43
  57. |    |    |    |    Dep((2, 7), (4, 5)) : -1
  58. |    |    |    |    Dep((2, 7), (5, 4)) : -1
  59. |    |    |    Dep((5, 0), (2, 3)) : -121
  60. |    |    |    |    Dep((3, 4), (2, 3)) : 121
  61. |    |    |    |    Dep((3, 4), (4, 3)) : 43
  62. |    |    |    |    Dep((2, 7), (4, 5)) : -1
  63. |    |    Dep((4, 6), (4, 4)) : 0
  64. |    |    |    Dep((5, 0), (2, 3)) : 0
  65. |    |    |    |    Dep((5, 7), (2, 4)) : 0
  66. |    |    |    |    Dep((5, 7), (3, 5)) : 0
  67. |    |    |    |    Dep((3, 6), (3, 4)) : -3
  68. |    |    |    Dep((5, 0), (3, 2)) : 0
  69. |    |    |    |    Dep((5, 7), (2, 4)) : 0
  70. |    |    |    |    Dep((5, 7), (3, 5)) : 0
  71. |    |    |    |    Dep((3, 6), (3, 4)) : -3
  72. |    |    |    Dep((3, 1), (3, 3)) : -44
  73. |    |    |    |    Dep((4, 4), (3, 3)) : 44
  74. |    |    |    |    Dep((5, 7), (3, 5)) : 3
  75. |    |    |    |    Dep((5, 7), (2, 4)) : 3
  76. |    Dep((6, 0), (5, 2)) : -51
  77. |    |    Dep((6, 7), (5, 5)) : 51
  78. |    |    |    Dep((4, 1), (4, 3)) : -51
  79. |    |    |    |    Dep((5, 5), (4, 3)) : 51
  80. |    |    |    |    Dep((4, 6), (4, 4)) : 0
  81. |    |    |    |    Dep((3, 6), (3, 4)) : -1
  82. |    |    |    Dep((5, 2), (4, 4)) : 6
  83. |    |    |    Dep((3, 1), (3, 3)) : 6
  84. |    |    Dep((3, 6), (3, 4)) : 4
  85. |    |    |    Dep((3, 1), (3, 3)) : -4
  86. |    |    |    |    Dep((2, 7), (4, 5)) : 4
  87. |    |    |    |    Dep((2, 7), (5, 4)) : 4
  88. |    |    |    |    Dep((4, 6), (4, 4)) : 2
  89. |    |    |    Dep((5, 2), (4, 4)) : -4
  90. |    |    |    |    Dep((2, 7), (4, 5)) : 4
  91. |    |    |    |    Dep((2, 7), (5, 4)) : 4
  92. |    |    |    |    Dep((6, 7), (5, 5)) : 0
  93. |    |    |    Dep((4, 1), (4, 3)) : -47
  94. |    |    |    |    Dep((3, 4), (4, 3)) : 47
  95. |    |    |    |    Dep((2, 7), (4, 5)) : 3
  96. |    |    |    |    Dep((2, 7), (5, 4)) : 3
  97. |    |    Dep((4, 6), (4, 4)) : -47
  98. |    |    |    Dep((5, 2), (4, 4)) : 47
  99. |    |    |    |    Dep((5, 7), (2, 4)) : -47
  100. |    |    |    |    Dep((5, 7), (3, 5)) : -47
  101. |    |    |    |    Dep((3, 6), (3, 4)) : -50
  102. |    |    |    Dep((4, 1), (4, 3)) : -4
  103. |    |    |    |    Dep((5, 7), (3, 5)) : 4
  104. |    |    |    |    Dep((5, 7), (2, 4)) : 4
  105. |    |    |    |    Dep((3, 6), (3, 4)) : 1
  106. |    |    |    Dep((3, 1), (3, 3)) : -46
  107. |    |    |    |    Dep((4, 4), (3, 3)) : 46
  108. |    |    |    |    Dep((5, 7), (3, 5)) : 5
  109. |    |    |    |    Dep((5, 7), (2, 4)) : 5
  110. - : unit = ()
  111. # let t = let l, _ = alphabeta g MInf PInf 3 in B l;;
  112. val t : tree =
  113.   B
  114.    [Node ((N 0, Dep ((3, 1), (3, 3))),
  115.      [Node ((N 0, Dep ((3, 6), (3, 4))),
  116.        [Node ((N 0, Dep ((2, 0), (5, 3))),
  117.          [Leaf (N 0, Dep ((2, 7), (5, 4))); Leaf (N 0, Dep ((2, 7), (4, 5)));
  118.           Leaf (N (-2), Dep ((4, 6), (4, 4)))]);
  119.         Node ((N 0, Dep ((2, 0), (4, 2))),
  120.          [Leaf (N 0, Dep ((2, 7), (5, 4))); Leaf (N 0, Dep ((2, 7), (4, 5)));
  121.           Leaf (N (-2), Dep ((4, 6), (4, 4)))]);
  122.         Node ((N (-46), Dep ((4, 1), (4, 3))),
  123.          [Leaf (N 46, Dep ((3, 4), (4, 3)));
  124.           Leaf (N 2, Dep ((2, 7), (4, 5))); Leaf (N 2, Dep ((2, 7), (5, 4)))])]);
  125.       Node ((N (-3), Dep ((6, 7), (5, 5))),
  126.        [Node ((N 3, Dep ((2, 0), (4, 2))),
  127.          [Leaf (N (-3), Dep ((4, 6), (4, 4)));
  128.           Leaf (N (-4), Dep ((3, 6), (3, 4)));
  129.           Leaf (N (-4), Dep ((5, 5), (4, 3)))]);
  130.         Leaf (N 10, Dep ((2, 0), (5, 3))); Leaf (N 8, Dep ((4, 1), (4, 3)))]);
  131.       Node ((N (-43), Dep ((4, 6), (4, 4))),
  132.        [Node ((N 43, Dep ((3, 3), (4, 4))),
  133.          [Leaf (N (-43), Dep ((5, 7), (2, 4))); Leaf ...]); ...]);
  134.        ...]);
  135.      ...]
  136. # print_tree t;;
  137. |    Dep((3, 1), (3, 3)) : 0
  138. |    |    Dep((3, 6), (3, 4)) : 0
  139. |    |    |    Dep((2, 0), (5, 3)) : 0
  140. |    |    |    |    Dep((2, 7), (5, 4)) : 0
  141. |    |    |    |    Dep((2, 7), (4, 5)) : 0
  142. |    |    |    |    Dep((4, 6), (4, 4)) : -2
  143. |    |    |    Dep((2, 0), (4, 2)) : 0
  144. |    |    |    |    Dep((2, 7), (5, 4)) : 0
  145. |    |    |    |    Dep((2, 7), (4, 5)) : 0
  146. |    |    |    |    Dep((4, 6), (4, 4)) : -2
  147. |    |    |    Dep((4, 1), (4, 3)) : -46
  148. |    |    |    |    Dep((3, 4), (4, 3)) : 46
  149. |    |    |    |    Dep((2, 7), (4, 5)) : 2
  150. |    |    |    |    Dep((2, 7), (5, 4)) : 2
  151. |    |    Dep((6, 7), (5, 5)) : -3
  152. |    |    |    Dep((2, 0), (4, 2)) : 3
  153. |    |    |    |    Dep((4, 6), (4, 4)) : -3
  154. |    |    |    |    Dep((3, 6), (3, 4)) : -4
  155. |    |    |    |    Dep((5, 5), (4, 3)) : -4
  156. |    |    |    Dep((2, 0), (5, 3)) : 10
  157. |    |    |    Dep((4, 1), (4, 3)) : 8
  158. |    |    Dep((4, 6), (4, 4)) : -43
  159. |    |    |    Dep((3, 3), (4, 4)) : 43
  160. |    |    |    |    Dep((5, 7), (2, 4)) : -43
  161. |    |    |    |    Dep((5, 7), (3, 5)) : -43
  162. |    |    |    |    Dep((3, 6), (3, 4)) : -46
  163. |    |    |    Dep((2, 0), (4, 2)) : -42
  164. |    |    |    |    Dep((4, 4), (3, 3)) : 42
  165. |    |    |    |    Dep((5, 7), (3, 5)) : 1
  166. |    |    |    |    Dep((5, 7), (2, 4)) : 1
  167. |    |    |    Dep((2, 0), (5, 3)) : -122
  168. |    |    |    |    Dep((4, 4), (5, 3)) : 122
  169. |    |    |    |    Dep((4, 4), (3, 3)) : 42
  170. |    |    |    |    Dep((5, 7), (3, 5)) : 1
  171. |    Dep((6, 0), (5, 2)) : -4
  172. |    |    Dep((3, 6), (3, 4)) : 4
  173. |    |    |    Dep((3, 1), (3, 3)) : -4
  174. |    |    |    |    Dep((2, 7), (4, 5)) : 4
  175. |    |    |    |    Dep((2, 7), (5, 4)) : 4
  176. |    |    |    |    Dep((4, 6), (4, 4)) : 2
  177. |    |    |    Dep((5, 2), (4, 4)) : -4
  178. |    |    |    |    Dep((2, 7), (4, 5)) : 4
  179. |    |    |    |    Dep((2, 7), (5, 4)) : 4
  180. |    |    |    |    Dep((6, 7), (5, 5)) : 0
  181. |    |    |    Dep((4, 1), (4, 3)) : -47
  182. |    |    |    |    Dep((3, 4), (4, 3)) : 47
  183. |    |    |    |    Dep((2, 7), (4, 5)) : 3
  184. |    |    |    |    Dep((2, 7), (5, 4)) : 3
  185. |    |    Dep((4, 6), (4, 4)) : -47
  186. |    |    |    Dep((5, 2), (4, 4)) : 47
  187. |    |    |    |    Dep((5, 7), (2, 4)) : -47
  188. |    |    |    |    Dep((5, 7), (3, 5)) : -47
  189. |    |    |    |    Dep((3, 6), (3, 4)) : -50
  190. |    |    |    Dep((4, 1), (4, 3)) : -4
  191. |    |    |    |    Dep((5, 7), (3, 5)) : 4
  192. |    |    |    |    Dep((5, 7), (2, 4)) : 4
  193. |    |    |    |    Dep((3, 6), (3, 4)) : 1
  194. |    |    |    Dep((3, 1), (3, 3)) : -46
  195. |    |    |    |    Dep((4, 4), (3, 3)) : 46
  196. |    |    |    |    Dep((5, 7), (3, 5)) : 5
  197. |    |    |    |    Dep((5, 7), (2, 4)) : 5
  198. |    |    Dep((6, 7), (5, 5)) : 0
  199. |    Dep((4, 1), (4, 3)) : -47
  200. |    |    Dep((6, 7), (5, 5)) : 47
  201. |    |    |    Dep((5, 0), (2, 3)) : -47
  202. |    |    |    |    Dep((5, 5), (4, 3)) : 47
  203. |    |    |    |    Dep((4, 6), (4, 4)) : -4
  204. |    |    |    |    Dep((3, 6), (3, 4)) : -5
  205. |    |    |    Dep((5, 0), (3, 2)) : -47
  206. |    |    |    |    Dep((5, 5), (4, 3)) : 47
  207. |    |    |    |    Dep((4, 6), (4, 4)) : -4
  208. |    |    |    |    Dep((3, 6), (3, 4)) : -5
  209. |    |    |    Dep((3, 1), (3, 3)) : -50
  210. |    |    |    |    Dep((5, 5), (4, 3)) : 50
  211. |    |    |    |    Dep((4, 6), (4, 4)) : -1
  212. |    |    |    |    Dep((3, 6), (3, 4)) : -2
  213. |    |    Dep((3, 6), (3, 4)) : 0
  214. |    |    |    Dep((4, 3), (3, 4)) : 0
  215. |    |    |    |    Dep((3, 7), (3, 4)) : 0
  216. |    |    |    |    Dep((2, 7), (5, 4)) : -42
  217. |    |    |    |    Dep((2, 7), (4, 5)) : -42
  218. |    |    |    Dep((5, 0), (3, 2)) : -43
  219. |    |    |    |    Dep((3, 4), (4, 3)) : 43
  220. |    |    |    |    Dep((2, 7), (4, 5)) : -1
  221. |    |    |    |    Dep((2, 7), (5, 4)) : -1
  222. |    |    |    Dep((5, 0), (2, 3)) : -121
  223. |    |    |    |    Dep((3, 4), (2, 3)) : 121
  224. |    |    |    |    Dep((3, 4), (4, 3)) : 43
  225. |    |    |    |    Dep((2, 7), (4, 5)) : -1
  226. |    |    Dep((4, 6), (4, 4)) : 0
  227. |    |    |    Dep((5, 0), (2, 3)) : 0
  228. |    |    |    |    Dep((5, 7), (2, 4)) : 0
  229. |    |    |    |    Dep((5, 7), (3, 5)) : 0
  230. |    |    |    |    Dep((3, 6), (3, 4)) : -3
  231. |    |    |    Dep((5, 0), (3, 2)) : 0
  232. |    |    |    |    Dep((5, 7), (2, 4)) : 0
  233. |    |    |    |    Dep((5, 7), (3, 5)) : 0
  234. |    |    |    |    Dep((3, 6), (3, 4)) : -3
  235. |    |    |    Dep((3, 1), (3, 3)) : -44
  236. |    |    |    |    Dep((4, 4), (3, 3)) : 44
  237. |    |    |    |    Dep((5, 7), (3, 5)) : 3
  238. |    |    |    |    Dep((5, 7), (2, 4)) : 3
create new paste | create new version of this paste RAW Paste Data