gecoder-with-gecode 0.9.0 → 0.9.1

Sign up to get free protection for your applications and to get access to all the features.
Files changed (919) hide show
  1. data/CHANGES +6 -0
  2. data/README +1 -1
  3. data/THANKS +18 -0
  4. data/example/equation_system.rb +3 -1
  5. data/example/magic_sequence.rb +3 -1
  6. data/example/queens.rb +3 -1
  7. data/example/send_more_money.rb +24 -30
  8. data/example/send_most_money.rb +15 -26
  9. data/example/square_tiling.rb +3 -1
  10. data/example/sudoku-set.rb +3 -1
  11. data/ext/{gecode-2.1.1 → gecode-2.2.0}/LICENSE +0 -0
  12. data/ext/{gecode-2.1.1 → gecode-2.2.0}/Makefile.contribs +0 -0
  13. data/ext/gecode-2.2.0/Makefile.dep +8056 -0
  14. data/ext/gecode-2.2.0/Makefile.in +1590 -0
  15. data/ext/gecode-2.2.0/changelog.in +2698 -0
  16. data/ext/gecode-2.2.0/configure +13112 -0
  17. data/ext/gecode-2.2.0/configure.ac +273 -0
  18. data/ext/gecode-2.2.0/configure.ac.in +269 -0
  19. data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/README +0 -0
  20. data/ext/gecode-2.2.0/contribs/qecode/Doxyfile +263 -0
  21. data/ext/gecode-2.2.0/contribs/qecode/Implicative.cc +267 -0
  22. data/ext/gecode-2.2.0/contribs/qecode/Implicative.hh +164 -0
  23. data/ext/gecode-2.2.0/contribs/qecode/Makefile.in.in +163 -0
  24. data/ext/gecode-2.2.0/contribs/qecode/OptVar.cc +82 -0
  25. data/ext/gecode-2.2.0/contribs/qecode/OptVar.hh +123 -0
  26. data/ext/gecode-2.2.0/contribs/qecode/Strategy.cc +131 -0
  27. data/ext/gecode-2.2.0/contribs/qecode/Strategy.hh +91 -0
  28. data/ext/gecode-2.2.0/contribs/qecode/StrategyNode.cc +62 -0
  29. data/ext/gecode-2.2.0/contribs/qecode/StrategyNode.hh +47 -0
  30. data/ext/gecode-2.2.0/contribs/qecode/autom4te.cache/output.0 +2264 -0
  31. data/ext/gecode-2.2.0/contribs/qecode/autom4te.cache/requests +115 -0
  32. data/ext/gecode-2.2.0/contribs/qecode/autom4te.cache/traces.0 +57 -0
  33. data/ext/gecode-2.2.0/contribs/qecode/config.log +147 -0
  34. data/ext/gecode-2.2.0/contribs/qecode/config.status +817 -0
  35. data/ext/gecode-2.2.0/contribs/qecode/configure +2264 -0
  36. data/ext/gecode-2.2.0/contribs/qecode/configure.ac +23 -0
  37. data/ext/gecode-2.2.0/contribs/qecode/examples/COMPILING +13 -0
  38. data/ext/gecode-2.2.0/contribs/qecode/examples/MatrixGame.cpp +140 -0
  39. data/ext/gecode-2.2.0/contribs/qecode/examples/NimFibo.cpp +73 -0
  40. data/ext/gecode-2.2.0/contribs/qecode/examples/connect-5-3-3-3.cpp +842 -0
  41. data/ext/gecode-2.2.0/contribs/qecode/examples/network-pricing.cc +146 -0
  42. data/ext/gecode-2.2.0/contribs/qecode/examples/optim2.cc +149 -0
  43. data/ext/gecode-2.2.0/contribs/qecode/examples/stress_test.cpp +240 -0
  44. data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/heap.cc +0 -0
  45. data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/myDom.cc +0 -0
  46. data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/myspace.cc +0 -0
  47. data/ext/gecode-2.2.0/contribs/qecode/myspace.hh +68 -0
  48. data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/qecode.hh +0 -0
  49. data/ext/gecode-2.2.0/contribs/qecode/qsolver.cc +268 -0
  50. data/ext/gecode-2.2.0/contribs/qecode/qsolver.hh +46 -0
  51. data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/shortdesc.ac +0 -0
  52. data/ext/{gecode-2.1.1 → gecode-2.2.0}/contribs/qecode/vartype.hh +0 -0
  53. data/ext/{gecode-2.1.1 → gecode-2.2.0}/doxygen/doxygen.conf.in +0 -0
  54. data/ext/gecode-2.2.0/doxygen/doxygen.hh.in +1112 -0
  55. data/ext/gecode-2.2.0/doxygen/reflection.hh +417 -0
  56. data/ext/gecode-2.2.0/examples/all-interval.cc +133 -0
  57. data/ext/gecode-2.2.0/examples/alpha.cc +137 -0
  58. data/ext/gecode-2.2.0/examples/bacp.cc +521 -0
  59. data/ext/gecode-2.2.0/examples/baseline.cc +87 -0
  60. data/ext/gecode-2.2.0/examples/bibd.cc +203 -0
  61. data/ext/gecode-2.2.0/examples/black-hole.cc +389 -0
  62. data/ext/gecode-2.2.0/examples/crew.cc +286 -0
  63. data/ext/gecode-2.2.0/examples/crowded-chess.cc +424 -0
  64. data/ext/gecode-2.2.0/examples/domino.cc +297 -0
  65. data/ext/gecode-2.2.0/examples/donald.cc +107 -0
  66. data/ext/gecode-2.2.0/examples/eq20.cc +125 -0
  67. data/ext/gecode-2.2.0/examples/golf.cc +297 -0
  68. data/ext/gecode-2.2.0/examples/golomb-ruler.cc +199 -0
  69. data/ext/gecode-2.2.0/examples/graph-color.cc +407 -0
  70. data/ext/gecode-2.2.0/examples/grocery.cc +113 -0
  71. data/ext/gecode-2.2.0/examples/hamming.cc +129 -0
  72. data/ext/gecode-2.2.0/examples/ind-set.cc +143 -0
  73. data/ext/gecode-2.2.0/examples/javascript.cc +163 -0
  74. data/ext/gecode-2.2.0/examples/kakuro.cc +686 -0
  75. data/ext/gecode-2.2.0/examples/knights.cc +220 -0
  76. data/ext/gecode-2.2.0/examples/langford-number.cc +225 -0
  77. data/ext/gecode-2.2.0/examples/magic-sequence.cc +146 -0
  78. data/ext/gecode-2.2.0/examples/magic-square.cc +138 -0
  79. data/ext/gecode-2.2.0/examples/minesweeper.cc +304 -0
  80. data/ext/gecode-2.2.0/examples/money.cc +105 -0
  81. data/ext/gecode-2.2.0/examples/nonogram.cc +492 -0
  82. data/ext/gecode-2.2.0/examples/ortho-latin.cc +172 -0
  83. data/ext/gecode-2.2.0/examples/partition.cc +141 -0
  84. data/ext/gecode-2.2.0/examples/pentominoes.cc +949 -0
  85. data/ext/gecode-2.2.0/examples/perfect-square.cc +311 -0
  86. data/ext/gecode-2.2.0/examples/photo.cc +170 -0
  87. data/ext/gecode-2.2.0/examples/queen-armies.cc +284 -0
  88. data/ext/gecode-2.2.0/examples/queens.cc +147 -0
  89. data/ext/gecode-2.2.0/examples/queens.js +57 -0
  90. data/ext/gecode-2.2.0/examples/sports-league.cc +342 -0
  91. data/ext/gecode-2.2.0/examples/steiner.cc +192 -0
  92. data/ext/gecode-2.2.0/examples/stress-distinct.cc +90 -0
  93. data/ext/gecode-2.2.0/examples/stress-domain.cc +99 -0
  94. data/ext/gecode-2.2.0/examples/stress-element.cc +112 -0
  95. data/ext/gecode-2.2.0/examples/stress-exec.cc +97 -0
  96. data/ext/gecode-2.2.0/examples/stress-extensional.cc +134 -0
  97. data/ext/gecode-2.2.0/examples/stress-linear-bool.cc +97 -0
  98. data/ext/gecode-2.2.0/examples/stress-min.cc +98 -0
  99. data/ext/gecode-2.2.0/examples/stress-search.cc +88 -0
  100. data/ext/gecode-2.2.0/examples/sudoku.cc +2341 -0
  101. data/ext/gecode-2.2.0/examples/support.hh +338 -0
  102. data/ext/gecode-2.2.0/examples/support/example.cc +64 -0
  103. data/ext/gecode-2.2.0/examples/support/example.icc +321 -0
  104. data/ext/gecode-2.2.0/examples/support/options.cc +226 -0
  105. data/ext/gecode-2.2.0/examples/support/options.icc +276 -0
  106. data/ext/gecode-2.2.0/examples/tsp.cc +317 -0
  107. data/ext/gecode-2.2.0/examples/warehouses.cc +191 -0
  108. data/ext/gecode-2.2.0/gecode.m4 +1046 -0
  109. data/ext/gecode-2.2.0/gecode/cpltset.hh +797 -0
  110. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/array.cc +0 -0
  111. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/array.icc +0 -0
  112. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/bddmanager.cc +0 -0
  113. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/bddmanager.icc +0 -0
  114. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch.cc +0 -0
  115. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch.hh +0 -0
  116. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch/select-val.icc +0 -0
  117. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/branch/select-view.icc +0 -0
  118. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/atmost.cc +0 -0
  119. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/cardinality.cc +0 -0
  120. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/distinct.cc +0 -0
  121. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/dom.cc +0 -0
  122. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/partition.cc +0 -0
  123. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/rangeroots.cc +0 -0
  124. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/rel.cc +0 -0
  125. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/select.cc +0 -0
  126. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/constraints/singleton.cc +0 -0
  127. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/exception.icc +0 -0
  128. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators.hh +0 -0
  129. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/binary.icc +0 -0
  130. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/nary.icc +0 -0
  131. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/naryone.icc +0 -0
  132. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/narytwo.icc +0 -0
  133. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/singleton.icc +0 -0
  134. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/propagators/unary.icc +0 -0
  135. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/support.cc +0 -0
  136. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/support.icc +0 -0
  137. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp.icc +0 -0
  138. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp/cpltset.cc +0 -0
  139. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp/cpltset.icc +0 -0
  140. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var-imp/cpltset.vis +0 -0
  141. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var/cpltset.cc +0 -0
  142. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/var/cpltset.icc +0 -0
  143. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/view.icc +0 -0
  144. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/view/cpltset.icc +0 -0
  145. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/cpltset/view/print.cc +0 -0
  146. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist.hh +0 -0
  147. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addchild.cc +0 -0
  148. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addchild.hh +0 -0
  149. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addvisualisationdialog.cc +0 -0
  150. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/addvisualisationdialog.hh +0 -0
  151. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/better.hh +0 -0
  152. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/config.cc +0 -0
  153. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/config.hh +0 -0
  154. data/ext/gecode-2.2.0/gecode/gist/drawingcursor.cc +281 -0
  155. data/ext/gecode-2.2.0/gecode/gist/drawingcursor.hh +103 -0
  156. data/ext/gecode-2.2.0/gecode/gist/drawingcursor.icc +70 -0
  157. data/ext/gecode-2.2.0/gecode/gist/gecodelogo.cc +672 -0
  158. data/ext/gecode-2.2.0/gecode/gist/gecodelogo.hh +64 -0
  159. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/gist.cc +0 -0
  160. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/gist.icc +0 -0
  161. data/ext/gecode-2.2.0/gecode/gist/layoutcursor.cc +115 -0
  162. data/ext/gecode-2.2.0/gecode/gist/layoutcursor.hh +75 -0
  163. data/ext/gecode-2.2.0/gecode/gist/layoutcursor.icc +48 -0
  164. data/ext/gecode-2.2.0/gecode/gist/mainwindow.cc +274 -0
  165. data/ext/gecode-2.2.0/gecode/gist/mainwindow.hh +86 -0
  166. data/ext/gecode-2.2.0/gecode/gist/node.cc +148 -0
  167. data/ext/gecode-2.2.0/gecode/gist/node.hh +117 -0
  168. data/ext/gecode-2.2.0/gecode/gist/node.icc +99 -0
  169. data/ext/gecode-2.2.0/gecode/gist/nodecursor.cc +123 -0
  170. data/ext/gecode-2.2.0/gecode/gist/nodecursor.hh +147 -0
  171. data/ext/gecode-2.2.0/gecode/gist/nodecursor.icc +122 -0
  172. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/nodevisitor.hh +0 -0
  173. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/nodevisitor.icc +0 -0
  174. data/ext/gecode-2.2.0/gecode/gist/preferences.cc +120 -0
  175. data/ext/gecode-2.2.0/gecode/gist/preferences.hh +79 -0
  176. data/ext/gecode-2.2.0/gecode/gist/spacenode.cc +468 -0
  177. data/ext/gecode-2.2.0/gecode/gist/spacenode.hh +227 -0
  178. data/ext/gecode-2.2.0/gecode/gist/spacenode.icc +170 -0
  179. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/test.cc +0 -0
  180. data/ext/gecode-2.2.0/gecode/gist/textoutput.cc +134 -0
  181. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/textoutput.hh +0 -0
  182. data/ext/gecode-2.2.0/gecode/gist/treecanvas.cc +1343 -0
  183. data/ext/gecode-2.2.0/gecode/gist/treecanvas.hh +361 -0
  184. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/ui_addchild.hh +0 -0
  185. data/ext/gecode-2.2.0/gecode/gist/ui_addvisualisationdialog.hh +165 -0
  186. data/ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.cc +192 -0
  187. data/ext/gecode-2.2.0/gecode/gist/visualisation/intvaritem.hh +75 -0
  188. data/ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.cc +235 -0
  189. data/ext/gecode-2.2.0/gecode/gist/visualisation/setvaritem.hh +77 -0
  190. data/ext/gecode-2.2.0/gecode/gist/visualisation/vararrayitem.hh +125 -0
  191. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/vararrayview.cc +0 -0
  192. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/vararrayview.hh +0 -0
  193. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/vararrayviewt.hh +0 -0
  194. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/varitem.cc +0 -0
  195. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/gist/visualisation/varitem.hh +0 -0
  196. data/ext/gecode-2.2.0/gecode/gist/visualnode.cc +474 -0
  197. data/ext/gecode-2.2.0/gecode/gist/visualnode.hh +226 -0
  198. data/ext/gecode-2.2.0/gecode/gist/visualnode.icc +198 -0
  199. data/ext/gecode-2.2.0/gecode/gist/zoomToFitIcon.icc +113 -0
  200. data/ext/gecode-2.2.0/gecode/int.hh +2116 -0
  201. data/ext/gecode-2.2.0/gecode/int/arithmetic.cc +237 -0
  202. data/ext/gecode-2.2.0/gecode/int/arithmetic.hh +827 -0
  203. data/ext/gecode-2.2.0/gecode/int/arithmetic/abs.icc +278 -0
  204. data/ext/gecode-2.2.0/gecode/int/arithmetic/divmod.icc +496 -0
  205. data/ext/gecode-2.2.0/gecode/int/arithmetic/max.icc +474 -0
  206. data/ext/gecode-2.2.0/gecode/int/arithmetic/mult.icc +858 -0
  207. data/ext/gecode-2.2.0/gecode/int/arithmetic/sqr.icc +464 -0
  208. data/ext/gecode-2.2.0/gecode/int/arithmetic/sqrt.icc +260 -0
  209. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/array.cc +0 -0
  210. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/array.icc +0 -0
  211. data/ext/gecode-2.2.0/gecode/int/bool.cc +734 -0
  212. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool.hh +0 -0
  213. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/base.icc +0 -0
  214. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/eq.icc +0 -0
  215. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/eqv.icc +0 -0
  216. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/bool/lq.icc +0 -0
  217. data/ext/gecode-2.2.0/gecode/int/bool/or.icc +1000 -0
  218. data/ext/gecode-2.2.0/gecode/int/branch.cc +167 -0
  219. data/ext/gecode-2.2.0/gecode/int/branch.hh +587 -0
  220. data/ext/gecode-2.2.0/gecode/int/branch/create-branch.icc +190 -0
  221. data/ext/gecode-2.2.0/gecode/int/branch/select-val.icc +340 -0
  222. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/branch/select-view.icc +0 -0
  223. data/ext/gecode-2.2.0/gecode/int/channel.cc +165 -0
  224. data/ext/gecode-2.2.0/gecode/int/channel.hh +259 -0
  225. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/base.icc +0 -0
  226. data/ext/gecode-2.2.0/gecode/int/channel/dom.icc +348 -0
  227. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-multi.cc +0 -0
  228. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-multi.icc +0 -0
  229. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-single.cc +0 -0
  230. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/channel/link-single.icc +0 -0
  231. data/ext/gecode-2.2.0/gecode/int/channel/val.icc +278 -0
  232. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/circuit.cc +0 -0
  233. data/ext/gecode-2.2.0/gecode/int/circuit.hh +175 -0
  234. data/ext/gecode-2.2.0/gecode/int/circuit/base.icc +266 -0
  235. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/circuit/dom.icc +0 -0
  236. data/ext/gecode-2.2.0/gecode/int/circuit/val.icc +126 -0
  237. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/count.cc +0 -0
  238. data/ext/gecode-2.2.0/gecode/int/count.hh +487 -0
  239. data/ext/gecode-2.2.0/gecode/int/count/int.icc +620 -0
  240. data/ext/gecode-2.2.0/gecode/int/count/rel.icc +144 -0
  241. data/ext/gecode-2.2.0/gecode/int/count/view.icc +449 -0
  242. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/cumulatives.cc +0 -0
  243. data/ext/gecode-2.2.0/gecode/int/cumulatives.hh +138 -0
  244. data/ext/gecode-2.2.0/gecode/int/cumulatives/val.icc +455 -0
  245. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct.cc +0 -0
  246. data/ext/gecode-2.2.0/gecode/int/distinct.hh +341 -0
  247. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/bilink.icc +0 -0
  248. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/bnd.icc +0 -0
  249. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/combptr.icc +0 -0
  250. data/ext/gecode-2.2.0/gecode/int/distinct/dom.icc +752 -0
  251. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/edge.icc +0 -0
  252. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/node.icc +0 -0
  253. data/ext/gecode-2.2.0/gecode/int/distinct/ter-dom.icc +136 -0
  254. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/distinct/val.icc +0 -0
  255. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom.cc +0 -0
  256. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom.hh +0 -0
  257. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom/range.icc +0 -0
  258. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/dom/spec.icc +0 -0
  259. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/element.cc +0 -0
  260. data/ext/gecode-2.2.0/gecode/int/element.hh +239 -0
  261. data/ext/gecode-2.2.0/gecode/int/element/int.icc +444 -0
  262. data/ext/gecode-2.2.0/gecode/int/element/view.icc +584 -0
  263. data/ext/gecode-2.2.0/gecode/int/exception.icc +174 -0
  264. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional.cc +0 -0
  265. data/ext/gecode-2.2.0/gecode/int/extensional.hh +415 -0
  266. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/base.icc +0 -0
  267. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/basic.icc +0 -0
  268. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/bitset.icc +0 -0
  269. data/ext/gecode-2.2.0/gecode/int/extensional/dfa.cc +565 -0
  270. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/dfa.icc +0 -0
  271. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/incremental.icc +0 -0
  272. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/layered-graph.icc +0 -0
  273. data/ext/gecode-2.2.0/gecode/int/extensional/tuple-set.cc +285 -0
  274. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/extensional/tuple-set.icc +0 -0
  275. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc.cc +0 -0
  276. data/ext/gecode-2.2.0/gecode/int/gcc.hh +329 -0
  277. data/ext/gecode-2.2.0/gecode/int/gcc/bnd.icc +660 -0
  278. data/ext/gecode-2.2.0/gecode/int/gcc/dom.icc +531 -0
  279. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/gccbndsup.icc +0 -0
  280. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/graphsup.icc +0 -0
  281. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/lbc.icc +0 -0
  282. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/occur.icc +0 -0
  283. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/gcc/ubc.icc +0 -0
  284. data/ext/gecode-2.2.0/gecode/int/gcc/val.icc +400 -0
  285. data/ext/gecode-2.2.0/gecode/int/int-set.cc +157 -0
  286. data/ext/gecode-2.2.0/gecode/int/int-set.icc +195 -0
  287. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/limits.icc +0 -0
  288. data/ext/gecode-2.2.0/gecode/int/linear-bool.cc +235 -0
  289. data/ext/gecode-2.2.0/gecode/int/linear-int.cc +272 -0
  290. data/ext/gecode-2.2.0/gecode/int/linear.hh +1849 -0
  291. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/bool-int.icc +0 -0
  292. data/ext/gecode-2.2.0/gecode/int/linear/bool-post.cc +433 -0
  293. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/bool-scale.icc +0 -0
  294. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/bool-view.icc +0 -0
  295. data/ext/gecode-2.2.0/gecode/int/linear/int-bin.icc +605 -0
  296. data/ext/gecode-2.2.0/gecode/int/linear/int-dom.icc +539 -0
  297. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/int-nary.icc +0 -0
  298. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/int-noview.icc +0 -0
  299. data/ext/gecode-2.2.0/gecode/int/linear/int-post.cc +493 -0
  300. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/int-ter.icc +0 -0
  301. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/linear/post.icc +0 -0
  302. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/propagator.icc +0 -0
  303. data/ext/gecode-2.2.0/gecode/int/rel.cc +420 -0
  304. data/ext/gecode-2.2.0/gecode/int/rel.hh +627 -0
  305. data/ext/gecode-2.2.0/gecode/int/rel/eq.icc +885 -0
  306. data/ext/gecode-2.2.0/gecode/int/rel/lex.icc +275 -0
  307. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/rel/lq-le.icc +0 -0
  308. data/ext/gecode-2.2.0/gecode/int/rel/nq.icc +118 -0
  309. data/ext/gecode-2.2.0/gecode/int/sorted.cc +81 -0
  310. data/ext/gecode-2.2.0/gecode/int/sorted.hh +118 -0
  311. data/ext/gecode-2.2.0/gecode/int/sorted/matching.icc +173 -0
  312. data/ext/gecode-2.2.0/gecode/int/sorted/narrowing.icc +249 -0
  313. data/ext/gecode-2.2.0/gecode/int/sorted/order.icc +212 -0
  314. data/ext/gecode-2.2.0/gecode/int/sorted/propagate.icc +702 -0
  315. data/ext/gecode-2.2.0/gecode/int/sorted/sortsup.icc +563 -0
  316. data/ext/gecode-2.2.0/gecode/int/support-values.hh +158 -0
  317. data/ext/gecode-2.2.0/gecode/int/support-values.icc +203 -0
  318. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/unshare.cc +0 -0
  319. data/ext/gecode-2.2.0/gecode/int/var-imp.icc +745 -0
  320. data/ext/gecode-2.2.0/gecode/int/var-imp/bool.cc +105 -0
  321. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/bool.icc +0 -0
  322. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/bool.vis +0 -0
  323. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/delta.icc +0 -0
  324. data/ext/gecode-2.2.0/gecode/int/var-imp/int.cc +408 -0
  325. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/int.icc +0 -0
  326. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var-imp/int.vis +0 -0
  327. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var/bool.cc +0 -0
  328. data/ext/gecode-2.2.0/gecode/int/var/bool.icc +128 -0
  329. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/var/int.cc +0 -0
  330. data/ext/gecode-2.2.0/gecode/int/var/int.icc +153 -0
  331. data/ext/gecode-2.2.0/gecode/int/view.icc +1918 -0
  332. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/bool.icc +0 -0
  333. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/constint.icc +0 -0
  334. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/int.icc +0 -0
  335. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/iter.icc +0 -0
  336. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/minus.icc +0 -0
  337. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/offset.icc +0 -0
  338. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/print.cc +0 -0
  339. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/rtest.icc +0 -0
  340. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/scale.icc +0 -0
  341. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/int/view/zero.icc +0 -0
  342. data/ext/gecode-2.2.0/gecode/iter.hh +98 -0
  343. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-add.icc +0 -0
  344. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-append.icc +0 -0
  345. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-array.icc +0 -0
  346. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-cache.icc +0 -0
  347. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-compl.icc +0 -0
  348. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-diff.icc +0 -0
  349. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-empty.icc +0 -0
  350. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-inter.icc +0 -0
  351. data/ext/gecode-2.2.0/gecode/iter/ranges-map.icc +260 -0
  352. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-minmax.icc +0 -0
  353. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-minus.icc +0 -0
  354. data/ext/gecode-2.2.0/gecode/iter/ranges-negative.icc +137 -0
  355. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-offset.icc +0 -0
  356. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-operations.icc +0 -0
  357. data/ext/gecode-2.2.0/gecode/iter/ranges-positive.icc +139 -0
  358. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-scale.icc +0 -0
  359. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-singleton-append.icc +0 -0
  360. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-singleton.icc +0 -0
  361. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-size.icc +0 -0
  362. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-union.icc +0 -0
  363. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/ranges-values.icc +0 -0
  364. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-array.icc +0 -0
  365. data/ext/gecode-2.2.0/gecode/iter/values-inter.icc +130 -0
  366. data/ext/gecode-2.2.0/gecode/iter/values-map.icc +136 -0
  367. data/ext/gecode-2.2.0/gecode/iter/values-minus.icc +130 -0
  368. data/ext/gecode-2.2.0/gecode/iter/values-negative.icc +116 -0
  369. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-offset.icc +0 -0
  370. data/ext/gecode-2.2.0/gecode/iter/values-positive.icc +123 -0
  371. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-ranges.icc +0 -0
  372. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-singleton.icc +0 -0
  373. data/ext/gecode-2.2.0/gecode/iter/values-union.icc +137 -0
  374. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/values-unique.icc +0 -0
  375. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges-compl.icc +0 -0
  376. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges-inter.icc +0 -0
  377. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges-union.icc +0 -0
  378. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/iter/virtual-ranges.icc +0 -0
  379. data/ext/gecode-2.2.0/gecode/kernel.hh +188 -0
  380. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/advisor.icc +0 -0
  381. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/array.icc +0 -0
  382. data/ext/gecode-2.2.0/gecode/kernel/branching.icc +433 -0
  383. data/ext/gecode-2.2.0/gecode/kernel/core.cc +474 -0
  384. data/ext/gecode-2.2.0/gecode/kernel/core.icc +2311 -0
  385. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/exception.icc +0 -0
  386. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/macros.icc +0 -0
  387. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/memory-manager.cc +0 -0
  388. data/ext/gecode-2.2.0/gecode/kernel/memory-manager.icc +454 -0
  389. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/modevent.icc +0 -0
  390. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/propagator.icc +0 -0
  391. data/ext/gecode-2.2.0/gecode/kernel/reflection.cc +951 -0
  392. data/ext/gecode-2.2.0/gecode/kernel/reflection.icc +1213 -0
  393. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/shared-array.icc +0 -0
  394. data/ext/gecode-2.2.0/gecode/kernel/var-imp.icc +433 -0
  395. data/ext/gecode-2.2.0/gecode/kernel/var-map.cc +269 -0
  396. data/ext/gecode-2.2.0/gecode/kernel/var-map.icc +230 -0
  397. data/ext/gecode-2.2.0/gecode/kernel/var-traits.icc +79 -0
  398. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/kernel/var-type.cc +0 -0
  399. data/ext/gecode-2.2.0/gecode/kernel/var-type.icc +915 -0
  400. data/ext/gecode-2.2.0/gecode/kernel/var.icc +114 -0
  401. data/ext/gecode-2.2.0/gecode/kernel/view.icc +413 -0
  402. data/ext/gecode-2.2.0/gecode/minimodel.hh +1206 -0
  403. data/ext/gecode-2.2.0/gecode/minimodel/arithmetic.icc +118 -0
  404. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/bool-expr.cc +0 -0
  405. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/bool-expr.icc +0 -0
  406. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/bool-rel.icc +0 -0
  407. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/exception.icc +0 -0
  408. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/lin-expr.icc +0 -0
  409. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/lin-rel.icc +0 -0
  410. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/matrix.icc +0 -0
  411. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/minimodel/reg.cc +0 -0
  412. data/ext/gecode-2.2.0/gecode/search.hh +759 -0
  413. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/bab.cc +0 -0
  414. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/bab.icc +0 -0
  415. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/dfs.cc +0 -0
  416. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/dfs.icc +0 -0
  417. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/engine-ctrl.icc +0 -0
  418. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/lds.cc +0 -0
  419. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/lds.icc +0 -0
  420. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/options.cc +0 -0
  421. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/options.icc +0 -0
  422. data/ext/gecode-2.2.0/gecode/search/reco-stack.icc +277 -0
  423. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/restart.icc +0 -0
  424. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/statistics.icc +0 -0
  425. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/stop.cc +0 -0
  426. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/search/stop.icc +0 -0
  427. data/ext/gecode-2.2.0/gecode/serialization.hh +149 -0
  428. data/ext/gecode-2.2.0/gecode/serialization/boost.cc +78 -0
  429. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/serialization/boost.icc +0 -0
  430. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/serialization/flatzinc.cc +0 -0
  431. data/ext/gecode-2.2.0/gecode/serialization/javascript.cc +343 -0
  432. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/serialization/javascript.hh +0 -0
  433. data/ext/gecode-2.2.0/gecode/serialization/register.cc +8498 -0
  434. data/ext/gecode-2.2.0/gecode/set.hh +970 -0
  435. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/array.cc +0 -0
  436. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/array.icc +0 -0
  437. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch.cc +0 -0
  438. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch.hh +0 -0
  439. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch/select-val.icc +0 -0
  440. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/branch/select-view.icc +0 -0
  441. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/cardinality.cc +0 -0
  442. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex.cc +0 -0
  443. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex.hh +0 -0
  444. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/conv.cc +0 -0
  445. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/conv.icc +0 -0
  446. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/hull.cc +0 -0
  447. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/convex/hull.icc +0 -0
  448. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct.cc +0 -0
  449. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct.hh +0 -0
  450. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct/atmostOne.cc +0 -0
  451. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/distinct/atmostOne.icc +0 -0
  452. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/dom.cc +0 -0
  453. data/ext/gecode-2.2.0/gecode/set/element.cc +135 -0
  454. data/ext/gecode-2.2.0/gecode/set/element.hh +233 -0
  455. data/ext/gecode-2.2.0/gecode/set/element/disjoint.cc +308 -0
  456. data/ext/gecode-2.2.0/gecode/set/element/disjoint.icc +75 -0
  457. data/ext/gecode-2.2.0/gecode/set/element/idxarray.hh +113 -0
  458. data/ext/gecode-2.2.0/gecode/set/element/idxarray.icc +155 -0
  459. data/ext/gecode-2.2.0/gecode/set/element/inter.icc +348 -0
  460. data/ext/gecode-2.2.0/gecode/set/element/union.icc +371 -0
  461. data/ext/gecode-2.2.0/gecode/set/element/unionConst.icc +334 -0
  462. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/exception.icc +0 -0
  463. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int.cc +0 -0
  464. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int.hh +0 -0
  465. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/card.icc +0 -0
  466. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/channel-bool.icc +0 -0
  467. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/channel-int.icc +0 -0
  468. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/match.icc +0 -0
  469. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/minmax.icc +0 -0
  470. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/int/weights.icc +0 -0
  471. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/limits.icc +0 -0
  472. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors-compiler.hh +0 -0
  473. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors.cc +0 -0
  474. data/ext/gecode-2.2.0/gecode/set/projectors.hh +438 -0
  475. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/compiler.cc +0 -0
  476. data/ext/gecode-2.2.0/gecode/set/projectors/formula.cc +312 -0
  477. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/formula.icc +0 -0
  478. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector-set.cc +0 -0
  479. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector-set.icc +0 -0
  480. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector.cc +0 -0
  481. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/projector.icc +0 -0
  482. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator.hh +0 -0
  483. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/card.icc +0 -0
  484. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/nary.icc +0 -0
  485. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/re-nary.cc +0 -0
  486. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/propagator/re-nary.icc +0 -0
  487. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/set-expr.cc +0 -0
  488. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/projectors/set-expr.icc +0 -0
  489. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/propagator.icc +0 -0
  490. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op-const.cc +0 -0
  491. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op.cc +0 -0
  492. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op.hh +0 -0
  493. data/ext/gecode-2.2.0/gecode/set/rel-op/common.icc +613 -0
  494. data/ext/gecode-2.2.0/gecode/set/rel-op/inter.icc +452 -0
  495. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/partition.icc +0 -0
  496. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/post.icc +0 -0
  497. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/subofunion.icc +0 -0
  498. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/superofinter.icc +0 -0
  499. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel-op/union.icc +0 -0
  500. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel.cc +0 -0
  501. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel.hh +0 -0
  502. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/common.icc +0 -0
  503. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/eq.icc +0 -0
  504. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/nosubset.icc +0 -0
  505. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/nq.icc +0 -0
  506. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/re-eq.icc +0 -0
  507. data/ext/gecode-2.2.0/gecode/set/rel/re-subset.icc +174 -0
  508. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/rel/subset.icc +0 -0
  509. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence.cc +0 -0
  510. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence.hh +0 -0
  511. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/common.icc +0 -0
  512. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq-u.cc +0 -0
  513. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq-u.icc +0 -0
  514. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq.cc +0 -0
  515. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/sequence/seq.icc +0 -0
  516. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp.icc +0 -0
  517. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/delta.icc +0 -0
  518. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/integerset.cc +0 -0
  519. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/integerset.icc +0 -0
  520. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/iter.icc +0 -0
  521. data/ext/gecode-2.2.0/gecode/set/var-imp/set.cc +215 -0
  522. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/set.icc +0 -0
  523. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var-imp/set.vis +0 -0
  524. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/var/set.cc +0 -0
  525. data/ext/gecode-2.2.0/gecode/set/var/set.icc +303 -0
  526. data/ext/gecode-2.2.0/gecode/set/view.icc +1451 -0
  527. data/ext/gecode-2.2.0/gecode/set/view/complement.icc +614 -0
  528. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/const.icc +0 -0
  529. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/offset.icc +0 -0
  530. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/print.cc +0 -0
  531. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/set.icc +0 -0
  532. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/set/view/singleton.icc +0 -0
  533. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support.hh +0 -0
  534. data/ext/gecode-2.2.0/gecode/support/block-allocator.icc +159 -0
  535. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/AUTHORS +0 -0
  536. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/ChangeLog +0 -0
  537. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/NEWS +0 -0
  538. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/README +0 -0
  539. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bdd.h +0 -0
  540. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bddio.c +0 -0
  541. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bddop.c +0 -0
  542. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bddtree.h +0 -0
  543. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bvec.c +0 -0
  544. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/bvec.h +0 -0
  545. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/cache.c +0 -0
  546. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/cache.h +0 -0
  547. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/config.h +0 -0
  548. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/cppext.cc +0 -0
  549. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/fdd.c +0 -0
  550. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/fdd.h +0 -0
  551. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/imatrix.c +0 -0
  552. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/imatrix.h +0 -0
  553. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/kernel.c +0 -0
  554. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/kernel.h +0 -0
  555. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/pairs.c +0 -0
  556. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/prime.c +0 -0
  557. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/prime.h +0 -0
  558. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/reorder.c +0 -0
  559. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/buddy/tree.c +0 -0
  560. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/cast.icc +0 -0
  561. data/ext/gecode-2.2.0/gecode/support/config.icc.in +83 -0
  562. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/dynamic-array.icc +0 -0
  563. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/dynamic-stack.icc +0 -0
  564. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/exception.cc +0 -0
  565. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/exception.icc +0 -0
  566. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/macros.icc +0 -0
  567. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/map.icc +0 -0
  568. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/marked-pointer.icc +0 -0
  569. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/memory.icc +0 -0
  570. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/random.icc +0 -0
  571. data/ext/gecode-2.2.0/gecode/support/sentinel-stack.icc +138 -0
  572. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/sort.icc +0 -0
  573. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/static-pqueue.icc +0 -0
  574. data/ext/{gecode-2.1.1 → gecode-2.2.0}/gecode/support/static-stack.icc +0 -0
  575. data/ext/gecode-2.2.0/gecode/support/symbol.cc +241 -0
  576. data/ext/gecode-2.2.0/gecode/support/symbol.icc +134 -0
  577. data/ext/{gecode-2.1.1 → gecode-2.2.0}/install-sh +0 -0
  578. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/AppleHelpbookInfo.plist +0 -0
  579. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/allexamples.perl +0 -0
  580. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/Makefile.am +0 -0
  581. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/changelog +0 -0
  582. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/control +0 -0
  583. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/copyright +0 -0
  584. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/gecode.info +0 -0
  585. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/gecode.install +0 -0
  586. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/gecode.spec +0 -0
  587. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/debian/rules +0 -0
  588. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/back.png +0 -0
  589. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/footer.html +0 -0
  590. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/gecode-logo-100.png +0 -0
  591. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/header.html +0 -0
  592. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/doxygen/stylesheet.css +0 -0
  593. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/fixproperties.sh +0 -0
  594. data/ext/gecode-2.2.0/misc/gecode-gist.pc.in +45 -0
  595. data/ext/gecode-2.2.0/misc/gecode-minimodel.pc.in +45 -0
  596. data/ext/gecode-2.2.0/misc/gecode-search.pc.in +45 -0
  597. data/ext/gecode-2.2.0/misc/gecode-serialization.pc.in +45 -0
  598. data/ext/gecode-2.2.0/misc/gecode.pc.in +45 -0
  599. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genchangelog.perl +0 -0
  600. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genlcovmakefile.perl +0 -0
  601. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genlicense.perl +0 -0
  602. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/genregistry.perl +0 -0
  603. data/ext/gecode-2.2.0/misc/genstatistics.perl +179 -0
  604. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/gentxtchangelog.perl +0 -0
  605. data/ext/gecode-2.2.0/misc/genvariables.perl +905 -0
  606. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/getrevision.perl +0 -0
  607. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/makedepend.perl +0 -0
  608. data/ext/{gecode-2.1.1 → gecode-2.2.0}/misc/svn-ignore.txt +0 -0
  609. data/ext/gecode-2.2.0/test/assign.cc +181 -0
  610. data/ext/gecode-2.2.0/test/assign.hh +93 -0
  611. data/ext/gecode-2.2.0/test/assign/bool.cc +61 -0
  612. data/ext/gecode-2.2.0/test/assign/int.cc +70 -0
  613. data/ext/gecode-2.2.0/test/branch.cc +563 -0
  614. data/ext/gecode-2.2.0/test/branch.hh +144 -0
  615. data/ext/gecode-2.2.0/test/branch/bool.cc +61 -0
  616. data/ext/gecode-2.2.0/test/branch/cpltset.cc +71 -0
  617. data/ext/gecode-2.2.0/test/branch/int.cc +70 -0
  618. data/ext/gecode-2.2.0/test/branch/set.cc +74 -0
  619. data/ext/gecode-2.2.0/test/cpltset.cc +568 -0
  620. data/ext/gecode-2.2.0/test/cpltset.hh +125 -0
  621. data/ext/gecode-2.2.0/test/cpltset/atmost.cc +155 -0
  622. data/ext/gecode-2.2.0/test/cpltset/cardinality.cc +138 -0
  623. data/ext/gecode-2.2.0/test/cpltset/dom.cc +137 -0
  624. data/ext/gecode-2.2.0/test/cpltset/partition.cc +210 -0
  625. data/ext/gecode-2.2.0/test/cpltset/rel.cc +158 -0
  626. data/ext/gecode-2.2.0/test/cpltset/select.cc +216 -0
  627. data/ext/gecode-2.2.0/test/int.cc +688 -0
  628. data/ext/gecode-2.2.0/test/int.hh +267 -0
  629. data/ext/gecode-2.2.0/test/int.icc +266 -0
  630. data/ext/gecode-2.2.0/test/int/arithmetic.cc +766 -0
  631. data/ext/gecode-2.2.0/test/int/basic.cc +77 -0
  632. data/ext/gecode-2.2.0/test/int/bool.cc +340 -0
  633. data/ext/gecode-2.2.0/test/int/channel.cc +238 -0
  634. data/ext/gecode-2.2.0/test/int/circuit.cc +100 -0
  635. data/ext/gecode-2.2.0/test/int/count.cc +357 -0
  636. data/ext/gecode-2.2.0/test/int/distinct.cc +248 -0
  637. data/ext/gecode-2.2.0/test/int/dom.cc +123 -0
  638. data/ext/gecode-2.2.0/test/int/element.cc +333 -0
  639. data/ext/gecode-2.2.0/test/int/extensional.cc +475 -0
  640. data/ext/gecode-2.2.0/test/int/gcc.cc +293 -0
  641. data/ext/gecode-2.2.0/test/int/linear.cc +383 -0
  642. data/ext/gecode-2.2.0/test/int/mm-arithmetic.cc +302 -0
  643. data/ext/gecode-2.2.0/test/int/mm-bool.cc +4342 -0
  644. data/ext/gecode-2.2.0/test/int/mm-count.cc +295 -0
  645. data/ext/gecode-2.2.0/test/int/mm-lin.cc +2035 -0
  646. data/ext/gecode-2.2.0/test/int/mm-rel.cc +136 -0
  647. data/ext/gecode-2.2.0/test/int/rel.cc +416 -0
  648. data/ext/gecode-2.2.0/test/int/scheduling.cc +276 -0
  649. data/ext/gecode-2.2.0/test/int/sorted.cc +165 -0
  650. data/ext/gecode-2.2.0/test/int/unshare.cc +109 -0
  651. data/ext/gecode-2.2.0/test/search.cc +618 -0
  652. data/ext/gecode-2.2.0/test/set.cc +753 -0
  653. data/ext/gecode-2.2.0/test/set.hh +286 -0
  654. data/ext/gecode-2.2.0/test/set.icc +108 -0
  655. data/ext/gecode-2.2.0/test/set/convex.cc +139 -0
  656. data/ext/gecode-2.2.0/test/set/distinct.cc +116 -0
  657. data/ext/gecode-2.2.0/test/set/dom.cc +292 -0
  658. data/ext/gecode-2.2.0/test/set/int.cc +473 -0
  659. data/ext/gecode-2.2.0/test/set/projection.cc +436 -0
  660. data/ext/gecode-2.2.0/test/set/rel-op-const.cc +368 -0
  661. data/ext/gecode-2.2.0/test/set/rel-op.cc +465 -0
  662. data/ext/gecode-2.2.0/test/set/rel.cc +125 -0
  663. data/ext/gecode-2.2.0/test/set/select.cc +299 -0
  664. data/ext/gecode-2.2.0/test/set/sequence.cc +125 -0
  665. data/ext/gecode-2.2.0/test/test.cc +287 -0
  666. data/ext/gecode-2.2.0/test/test.hh +175 -0
  667. data/ext/gecode-2.2.0/test/test.icc +93 -0
  668. data/ext/{gecode-2.1.1 → gecode-2.2.0}/variables.vsl +0 -0
  669. data/lib/gecoder/bindings.rb +7 -5
  670. data/lib/gecoder/bindings/bindings.rb +8 -8
  671. data/lib/gecoder/interface.rb +4 -2
  672. data/lib/gecoder/interface/binding_changes.rb +1 -1
  673. data/lib/gecoder/interface/branch.rb +1 -1
  674. data/lib/gecoder/interface/constraints/bool_enum_constraints.rb +4 -4
  675. data/lib/gecoder/interface/constraints/bool_var_constraints.rb +2 -2
  676. data/lib/gecoder/interface/constraints/extensional_regexp.rb +1 -1
  677. data/lib/gecoder/interface/constraints/fixnum_enum_constraints.rb +2 -2
  678. data/lib/gecoder/interface/constraints/int_enum/extensional.rb +5 -5
  679. data/lib/gecoder/interface/constraints/int_enum_constraints.rb +4 -4
  680. data/lib/gecoder/interface/constraints/int_var_constraints.rb +2 -2
  681. data/lib/gecoder/interface/constraints/selected_set/select.rb +8 -8
  682. data/lib/gecoder/interface/constraints/set_enum/element.rb +79 -0
  683. data/lib/gecoder/interface/constraints/set_enum_constraints.rb +5 -5
  684. data/lib/gecoder/interface/constraints/set_var_constraints.rb +2 -2
  685. data/lib/gecoder/interface/convenience.rb +99 -0
  686. data/lib/gecoder/interface/enum_wrapper.rb +1 -1
  687. data/lib/gecoder/interface/mixin.rb +486 -0
  688. data/lib/gecoder/interface/search.rb +23 -22
  689. data/lib/gecoder/version.rb +1 -1
  690. data/specs/branch.rb +5 -3
  691. data/specs/constraints/bool/boolean.rb +3 -1
  692. data/specs/constraints/bool/linear.rb +3 -1
  693. data/specs/constraints/bool_enum/bool_enum_relation.rb +3 -1
  694. data/specs/constraints/bool_enum/channel.rb +3 -1
  695. data/specs/constraints/fixnum_enum/element.rb +3 -1
  696. data/specs/constraints/int/arithmetic.rb +3 -1
  697. data/specs/constraints/int/channel.rb +3 -1
  698. data/specs/constraints/int/linear.rb +3 -1
  699. data/specs/constraints/int/linear_properties.rb +3 -1
  700. data/specs/constraints/int_enum/arithmetic.rb +3 -1
  701. data/specs/constraints/int_enum/channel.rb +3 -1
  702. data/specs/constraints/int_enum/count.rb +3 -1
  703. data/specs/constraints/int_enum/distinct.rb +3 -1
  704. data/specs/constraints/int_enum/element.rb +3 -1
  705. data/specs/constraints/int_enum/sort.rb +3 -1
  706. data/specs/constraints/property_helper.rb +10 -10
  707. data/specs/constraints/reification_sugar.rb +3 -1
  708. data/specs/constraints/selected_set/select.rb +6 -5
  709. data/specs/constraints/selected_set/select_properties.rb +12 -10
  710. data/specs/constraints/set/channel.rb +3 -1
  711. data/specs/constraints/set/domain.rb +4 -4
  712. data/specs/constraints/set/relation.rb +4 -4
  713. data/specs/constraints/set_enum/channel.rb +3 -1
  714. data/specs/constraints/set_enum/distinct.rb +3 -1
  715. data/specs/constraints/set_enum/element.rb +77 -0
  716. data/specs/enum_wrapper.rb +1 -1
  717. data/specs/mixin.rb +78 -0
  718. data/specs/model.rb +5 -5
  719. data/specs/search.rb +20 -14
  720. data/specs/selected_set.rb +3 -3
  721. data/specs/set_elements.rb +2 -2
  722. data/tasks/distribution.rake +25 -4
  723. metadata +739 -602
  724. data/example/money.rb +0 -36
  725. data/ext/gecode-2.1.1/Makefile.dep +0 -7622
  726. data/ext/gecode-2.1.1/Makefile.in +0 -1568
  727. data/ext/gecode-2.1.1/changelog.in +0 -2459
  728. data/ext/gecode-2.1.1/configure +0 -11631
  729. data/ext/gecode-2.1.1/configure.ac +0 -249
  730. data/ext/gecode-2.1.1/configure.ac.in +0 -245
  731. data/ext/gecode-2.1.1/contribs/qecode/Doxyfile +0 -263
  732. data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.cc +0 -82
  733. data/ext/gecode-2.1.1/contribs/qecode/FirstFailValueHeuristic.hh +0 -37
  734. data/ext/gecode-2.1.1/contribs/qecode/Makefile.in.in +0 -162
  735. data/ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.cc +0 -172
  736. data/ext/gecode-2.1.1/contribs/qecode/NaiveValueHeuristics.hh +0 -63
  737. data/ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.cc +0 -37
  738. data/ext/gecode-2.1.1/contribs/qecode/SDFVariableHeuristic.hh +0 -35
  739. data/ext/gecode-2.1.1/contribs/qecode/configure +0 -2264
  740. data/ext/gecode-2.1.1/contribs/qecode/configure.ac +0 -23
  741. data/ext/gecode-2.1.1/contribs/qecode/examples/COMPILING +0 -13
  742. data/ext/gecode-2.1.1/contribs/qecode/examples/MatrixGame.cpp +0 -144
  743. data/ext/gecode-2.1.1/contribs/qecode/examples/NimFibo.cpp +0 -73
  744. data/ext/gecode-2.1.1/contribs/qecode/examples/stress_test.cpp +0 -179
  745. data/ext/gecode-2.1.1/contribs/qecode/extensivecomparator.cc +0 -34
  746. data/ext/gecode-2.1.1/contribs/qecode/extensivecomparator.hh +0 -46
  747. data/ext/gecode-2.1.1/contribs/qecode/implicative.cc +0 -595
  748. data/ext/gecode-2.1.1/contribs/qecode/implicative.hh +0 -184
  749. data/ext/gecode-2.1.1/contribs/qecode/myspace.hh +0 -69
  750. data/ext/gecode-2.1.1/contribs/qecode/qecore.cc +0 -145
  751. data/ext/gecode-2.1.1/contribs/qecode/qecore.hh +0 -247
  752. data/ext/gecode-2.1.1/contribs/qecode/qsolver.cc +0 -168
  753. data/ext/gecode-2.1.1/contribs/qecode/qsolver.hh +0 -73
  754. data/ext/gecode-2.1.1/contribs/qecode/valueHeuristic.hh +0 -91
  755. data/ext/gecode-2.1.1/contribs/qecode/warner.cc +0 -101
  756. data/ext/gecode-2.1.1/contribs/qecode/warner.hh +0 -83
  757. data/ext/gecode-2.1.1/doxygen/doxygen.hh.in +0 -1111
  758. data/ext/gecode-2.1.1/doxygen/reflection.hh +0 -417
  759. data/ext/gecode-2.1.1/gecode.m4 +0 -956
  760. data/ext/gecode-2.1.1/gecode/cpltset.hh +0 -797
  761. data/ext/gecode-2.1.1/gecode/gist/analysiscursor.cc +0 -115
  762. data/ext/gecode-2.1.1/gecode/gist/analysiscursor.hh +0 -77
  763. data/ext/gecode-2.1.1/gecode/gist/drawingcursor.cc +0 -245
  764. data/ext/gecode-2.1.1/gecode/gist/drawingcursor.hh +0 -101
  765. data/ext/gecode-2.1.1/gecode/gist/gecodelogo.icc +0 -522
  766. data/ext/gecode-2.1.1/gecode/gist/mainwindow.cc +0 -254
  767. data/ext/gecode-2.1.1/gecode/gist/mainwindow.hh +0 -86
  768. data/ext/gecode-2.1.1/gecode/gist/node.cc +0 -100
  769. data/ext/gecode-2.1.1/gecode/gist/node.hh +0 -89
  770. data/ext/gecode-2.1.1/gecode/gist/nodecursor.cc +0 -124
  771. data/ext/gecode-2.1.1/gecode/gist/nodecursor.hh +0 -122
  772. data/ext/gecode-2.1.1/gecode/gist/nodecursor.icc +0 -79
  773. data/ext/gecode-2.1.1/gecode/gist/postscript.cc +0 -543
  774. data/ext/gecode-2.1.1/gecode/gist/postscript.hh +0 -56
  775. data/ext/gecode-2.1.1/gecode/gist/preferences.cc +0 -110
  776. data/ext/gecode-2.1.1/gecode/gist/preferences.hh +0 -76
  777. data/ext/gecode-2.1.1/gecode/gist/reflectionhelpers.cc +0 -55
  778. data/ext/gecode-2.1.1/gecode/gist/reflectionhelpers.hh +0 -58
  779. data/ext/gecode-2.1.1/gecode/gist/shapelist.cc +0 -331
  780. data/ext/gecode-2.1.1/gecode/gist/shapelist.hh +0 -140
  781. data/ext/gecode-2.1.1/gecode/gist/spacenode.cc +0 -531
  782. data/ext/gecode-2.1.1/gecode/gist/spacenode.hh +0 -224
  783. data/ext/gecode-2.1.1/gecode/gist/textoutput.cc +0 -114
  784. data/ext/gecode-2.1.1/gecode/gist/treecanvas.cc +0 -1140
  785. data/ext/gecode-2.1.1/gecode/gist/treecanvas.hh +0 -324
  786. data/ext/gecode-2.1.1/gecode/gist/ui_addvisualisationdialog.hh +0 -163
  787. data/ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.cc +0 -175
  788. data/ext/gecode-2.1.1/gecode/gist/visualisation/intvaritem.hh +0 -71
  789. data/ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.cc +0 -219
  790. data/ext/gecode-2.1.1/gecode/gist/visualisation/setvaritem.hh +0 -73
  791. data/ext/gecode-2.1.1/gecode/gist/visualisation/vararrayitem.hh +0 -123
  792. data/ext/gecode-2.1.1/gecode/gist/visualnode.cc +0 -303
  793. data/ext/gecode-2.1.1/gecode/gist/visualnode.hh +0 -166
  794. data/ext/gecode-2.1.1/gecode/int.hh +0 -2035
  795. data/ext/gecode-2.1.1/gecode/int/arithmetic.cc +0 -136
  796. data/ext/gecode-2.1.1/gecode/int/arithmetic.hh +0 -440
  797. data/ext/gecode-2.1.1/gecode/int/arithmetic/abs.icc +0 -279
  798. data/ext/gecode-2.1.1/gecode/int/arithmetic/max.icc +0 -253
  799. data/ext/gecode-2.1.1/gecode/int/arithmetic/mult.icc +0 -522
  800. data/ext/gecode-2.1.1/gecode/int/arithmetic/sqr.icc +0 -218
  801. data/ext/gecode-2.1.1/gecode/int/arithmetic/sqrt.icc +0 -138
  802. data/ext/gecode-2.1.1/gecode/int/bool.cc +0 -642
  803. data/ext/gecode-2.1.1/gecode/int/bool/or.icc +0 -1000
  804. data/ext/gecode-2.1.1/gecode/int/branch.cc +0 -301
  805. data/ext/gecode-2.1.1/gecode/int/branch.hh +0 -576
  806. data/ext/gecode-2.1.1/gecode/int/branch/select-val.icc +0 -338
  807. data/ext/gecode-2.1.1/gecode/int/channel.cc +0 -114
  808. data/ext/gecode-2.1.1/gecode/int/channel.hh +0 -259
  809. data/ext/gecode-2.1.1/gecode/int/channel/dom.icc +0 -347
  810. data/ext/gecode-2.1.1/gecode/int/channel/val.icc +0 -276
  811. data/ext/gecode-2.1.1/gecode/int/circuit.hh +0 -175
  812. data/ext/gecode-2.1.1/gecode/int/circuit/base.icc +0 -271
  813. data/ext/gecode-2.1.1/gecode/int/circuit/val.icc +0 -122
  814. data/ext/gecode-2.1.1/gecode/int/count.hh +0 -487
  815. data/ext/gecode-2.1.1/gecode/int/count/int.icc +0 -619
  816. data/ext/gecode-2.1.1/gecode/int/count/rel.icc +0 -144
  817. data/ext/gecode-2.1.1/gecode/int/count/view.icc +0 -449
  818. data/ext/gecode-2.1.1/gecode/int/cumulatives.hh +0 -141
  819. data/ext/gecode-2.1.1/gecode/int/cumulatives/val.icc +0 -429
  820. data/ext/gecode-2.1.1/gecode/int/distinct.hh +0 -341
  821. data/ext/gecode-2.1.1/gecode/int/distinct/dom.icc +0 -750
  822. data/ext/gecode-2.1.1/gecode/int/distinct/ter-dom.icc +0 -136
  823. data/ext/gecode-2.1.1/gecode/int/element.hh +0 -239
  824. data/ext/gecode-2.1.1/gecode/int/element/int.icc +0 -441
  825. data/ext/gecode-2.1.1/gecode/int/element/view.icc +0 -584
  826. data/ext/gecode-2.1.1/gecode/int/exception.icc +0 -163
  827. data/ext/gecode-2.1.1/gecode/int/extensional.hh +0 -415
  828. data/ext/gecode-2.1.1/gecode/int/extensional/dfa.cc +0 -565
  829. data/ext/gecode-2.1.1/gecode/int/extensional/tuple-set.cc +0 -311
  830. data/ext/gecode-2.1.1/gecode/int/gcc.hh +0 -329
  831. data/ext/gecode-2.1.1/gecode/int/gcc/bnd.icc +0 -660
  832. data/ext/gecode-2.1.1/gecode/int/gcc/dom.icc +0 -531
  833. data/ext/gecode-2.1.1/gecode/int/gcc/val.icc +0 -400
  834. data/ext/gecode-2.1.1/gecode/int/int-set.cc +0 -153
  835. data/ext/gecode-2.1.1/gecode/int/int-set.icc +0 -191
  836. data/ext/gecode-2.1.1/gecode/int/linear-bool.cc +0 -220
  837. data/ext/gecode-2.1.1/gecode/int/linear-int.cc +0 -240
  838. data/ext/gecode-2.1.1/gecode/int/linear.hh +0 -1849
  839. data/ext/gecode-2.1.1/gecode/int/linear/bool-post.cc +0 -433
  840. data/ext/gecode-2.1.1/gecode/int/linear/int-bin.icc +0 -605
  841. data/ext/gecode-2.1.1/gecode/int/linear/int-dom.icc +0 -539
  842. data/ext/gecode-2.1.1/gecode/int/linear/int-post.cc +0 -493
  843. data/ext/gecode-2.1.1/gecode/int/rel.cc +0 -431
  844. data/ext/gecode-2.1.1/gecode/int/rel.hh +0 -657
  845. data/ext/gecode-2.1.1/gecode/int/rel/eq.icc +0 -848
  846. data/ext/gecode-2.1.1/gecode/int/rel/lex.icc +0 -248
  847. data/ext/gecode-2.1.1/gecode/int/rel/nq.icc +0 -269
  848. data/ext/gecode-2.1.1/gecode/int/sorted.cc +0 -91
  849. data/ext/gecode-2.1.1/gecode/int/sorted.hh +0 -117
  850. data/ext/gecode-2.1.1/gecode/int/sorted/matching.icc +0 -182
  851. data/ext/gecode-2.1.1/gecode/int/sorted/narrowing.icc +0 -257
  852. data/ext/gecode-2.1.1/gecode/int/sorted/order.icc +0 -208
  853. data/ext/gecode-2.1.1/gecode/int/sorted/propagate.icc +0 -669
  854. data/ext/gecode-2.1.1/gecode/int/sorted/sortsup.icc +0 -596
  855. data/ext/gecode-2.1.1/gecode/int/var-imp.icc +0 -745
  856. data/ext/gecode-2.1.1/gecode/int/var-imp/bool.cc +0 -104
  857. data/ext/gecode-2.1.1/gecode/int/var-imp/int.cc +0 -407
  858. data/ext/gecode-2.1.1/gecode/int/var/bool.icc +0 -126
  859. data/ext/gecode-2.1.1/gecode/int/var/int.icc +0 -151
  860. data/ext/gecode-2.1.1/gecode/int/view.icc +0 -1894
  861. data/ext/gecode-2.1.1/gecode/iter.hh +0 -90
  862. data/ext/gecode-2.1.1/gecode/iter/values-minus.icc +0 -130
  863. data/ext/gecode-2.1.1/gecode/kernel.hh +0 -182
  864. data/ext/gecode-2.1.1/gecode/kernel/branching.icc +0 -447
  865. data/ext/gecode-2.1.1/gecode/kernel/core.cc +0 -473
  866. data/ext/gecode-2.1.1/gecode/kernel/core.icc +0 -2295
  867. data/ext/gecode-2.1.1/gecode/kernel/memory-manager.icc +0 -458
  868. data/ext/gecode-2.1.1/gecode/kernel/reflection.cc +0 -921
  869. data/ext/gecode-2.1.1/gecode/kernel/reflection.icc +0 -1012
  870. data/ext/gecode-2.1.1/gecode/kernel/var-imp.icc +0 -433
  871. data/ext/gecode-2.1.1/gecode/kernel/var-map.cc +0 -269
  872. data/ext/gecode-2.1.1/gecode/kernel/var-map.icc +0 -227
  873. data/ext/gecode-2.1.1/gecode/kernel/var-traits.icc +0 -72
  874. data/ext/gecode-2.1.1/gecode/kernel/var-type.icc +0 -915
  875. data/ext/gecode-2.1.1/gecode/kernel/var.icc +0 -120
  876. data/ext/gecode-2.1.1/gecode/kernel/view.icc +0 -611
  877. data/ext/gecode-2.1.1/gecode/minimodel.hh +0 -1165
  878. data/ext/gecode-2.1.1/gecode/minimodel/arithmetic.cc +0 -179
  879. data/ext/gecode-2.1.1/gecode/search.hh +0 -752
  880. data/ext/gecode-2.1.1/gecode/search/reco-stack.icc +0 -237
  881. data/ext/gecode-2.1.1/gecode/serialization.hh +0 -149
  882. data/ext/gecode-2.1.1/gecode/serialization/boost.cc +0 -78
  883. data/ext/gecode-2.1.1/gecode/serialization/javascript.cc +0 -340
  884. data/ext/gecode-2.1.1/gecode/serialization/register.cc +0 -8142
  885. data/ext/gecode-2.1.1/gecode/set.hh +0 -970
  886. data/ext/gecode-2.1.1/gecode/set/projectors.hh +0 -438
  887. data/ext/gecode-2.1.1/gecode/set/projectors/formula.cc +0 -312
  888. data/ext/gecode-2.1.1/gecode/set/rel-op/common.icc +0 -557
  889. data/ext/gecode-2.1.1/gecode/set/rel-op/inter.icc +0 -409
  890. data/ext/gecode-2.1.1/gecode/set/rel/re-subset.icc +0 -172
  891. data/ext/gecode-2.1.1/gecode/set/select.cc +0 -135
  892. data/ext/gecode-2.1.1/gecode/set/select.hh +0 -233
  893. data/ext/gecode-2.1.1/gecode/set/select/disjoint.cc +0 -308
  894. data/ext/gecode-2.1.1/gecode/set/select/disjoint.icc +0 -75
  895. data/ext/gecode-2.1.1/gecode/set/select/idxarray.hh +0 -113
  896. data/ext/gecode-2.1.1/gecode/set/select/idxarray.icc +0 -155
  897. data/ext/gecode-2.1.1/gecode/set/select/inter.icc +0 -349
  898. data/ext/gecode-2.1.1/gecode/set/select/union.icc +0 -371
  899. data/ext/gecode-2.1.1/gecode/set/select/unionConst.icc +0 -334
  900. data/ext/gecode-2.1.1/gecode/set/var-imp/set.cc +0 -214
  901. data/ext/gecode-2.1.1/gecode/set/var/set.icc +0 -303
  902. data/ext/gecode-2.1.1/gecode/set/view.icc +0 -1503
  903. data/ext/gecode-2.1.1/gecode/set/view/complement.icc +0 -629
  904. data/ext/gecode-2.1.1/gecode/support/block-allocator.icc +0 -158
  905. data/ext/gecode-2.1.1/gecode/support/config.icc.in +0 -80
  906. data/ext/gecode-2.1.1/gecode/support/sentinel-stack.icc +0 -122
  907. data/ext/gecode-2.1.1/gecode/support/symbol.cc +0 -226
  908. data/ext/gecode-2.1.1/gecode/support/symbol.icc +0 -130
  909. data/ext/gecode-2.1.1/misc/gecode-gist.pc.in +0 -45
  910. data/ext/gecode-2.1.1/misc/gecode-minimodel.pc.in +0 -45
  911. data/ext/gecode-2.1.1/misc/gecode-search.pc.in +0 -45
  912. data/ext/gecode-2.1.1/misc/gecode-serialization.pc.in +0 -45
  913. data/ext/gecode-2.1.1/misc/gecode.pc.in +0 -45
  914. data/ext/gecode-2.1.1/misc/genstatistics.perl +0 -178
  915. data/ext/gecode-2.1.1/misc/genvariables.perl +0 -905
  916. data/lib/gecoder/interface/constraints/set_enum/select.rb +0 -79
  917. data/lib/gecoder/interface/model.rb +0 -453
  918. data/lib/gecoder/interface/model_sugar.rb +0 -84
  919. data/specs/constraints/set_enum/select.rb +0 -73
@@ -0,0 +1,1206 @@
1
+ /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
2
+ /*
3
+ * Main authors:
4
+ * Christian Schulte <schulte@gecode.org>
5
+ * Guido Tack <tack@gecode.org>
6
+ * Mikael Lagerkvist <lagerkvist@gecode.org>
7
+ *
8
+ * Copyright:
9
+ * Christian Schulte, 2004
10
+ * Guido Tack, 2004
11
+ * Mikael Lagerkvist, 2005
12
+ *
13
+ * Last modified:
14
+ * $Date: 2008-07-11 10:54:36 +0200 (Fri, 11 Jul 2008) $ by $Author: tack $
15
+ * $Revision: 7354 $
16
+ *
17
+ * This file is part of Gecode, the generic constraint
18
+ * development environment:
19
+ * http://www.gecode.org
20
+ *
21
+ * Permission is hereby granted, free of charge, to any person obtaining
22
+ * a copy of this software and associated documentation files (the
23
+ * "Software"), to deal in the Software without restriction, including
24
+ * without limitation the rights to use, copy, modify, merge, publish,
25
+ * distribute, sublicense, and/or sell copies of the Software, and to
26
+ * permit persons to whom the Software is furnished to do so, subject to
27
+ * the following conditions:
28
+ *
29
+ * The above copyright notice and this permission notice shall be
30
+ * included in all copies or substantial portions of the Software.
31
+ *
32
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
33
+ * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
34
+ * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
35
+ * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
36
+ * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
37
+ * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
38
+ * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
39
+ *
40
+ */
41
+
42
+ #ifndef __GECODE_MINIMODEL_HH__
43
+ #define __GECODE_MINIMODEL_HH__
44
+
45
+ #include "gecode/kernel.hh"
46
+ #include "gecode/int.hh"
47
+ #include "gecode/int/linear.hh"
48
+
49
+ #include "gecode/minimodel/exception.icc"
50
+
51
+ #include <iostream>
52
+
53
+ /*
54
+ * Support for DLLs under Windows
55
+ *
56
+ */
57
+
58
+ #if !defined(GECODE_STATIC_LIBS) && \
59
+ (defined(__CYGWIN__) || defined(__MINGW32__) || defined(_MSC_VER))
60
+
61
+ #ifdef GECODE_BUILD_MINIMODEL
62
+ #define GECODE_MINIMODEL_EXPORT __declspec( dllexport )
63
+ #else
64
+ #define GECODE_MINIMODEL_EXPORT __declspec( dllimport )
65
+ #endif
66
+
67
+ #else
68
+
69
+ #ifdef GECODE_GCC_HAS_CLASS_VISIBILITY
70
+
71
+ #define GECODE_MINIMODEL_EXPORT __attribute__ ((visibility("default")))
72
+
73
+ #else
74
+
75
+ #define GECODE_MINIMODEL_EXPORT
76
+
77
+ #endif
78
+ #endif
79
+
80
+ namespace Gecode {
81
+
82
+ /// Minimal modelling support
83
+ namespace MiniModel {
84
+
85
+ /// Linear expressions
86
+ template <class Var>
87
+ class LinExpr {
88
+ public:
89
+ /// Type of linear expression
90
+ enum NodeType {
91
+ NT_VAR, ///< Linear term with variable
92
+ NT_ADD, ///< Addition of linear terms
93
+ NT_SUB, ///< Subtraction of linear terms
94
+ NT_MUL ///< Multiplication by coefficient
95
+ };
96
+ private:
97
+ typedef typename VarViewTraits<Var>::View View;
98
+ /// Nodes for linear expressions
99
+ class Node {
100
+ public:
101
+ /// Nodes are reference counted
102
+ unsigned int use;
103
+ /// Variables in tree
104
+ unsigned int n;
105
+ /// Type of expression
106
+ NodeType t;
107
+ /// Subexpressions
108
+ Node *l, *r;
109
+ /// Coefficient and offset
110
+ int a, c;
111
+ /// Variable (potentially)
112
+ Var x;
113
+ /// Default constructor
114
+ Node(void);
115
+ /// Generate linear terms from expression
116
+ int fill(Int::Linear::Term<View> t[], int i, int m,
117
+ int c_i, int& c_o) const;
118
+ /// Decrement reference count and possibly free memory
119
+ bool decrement(void);
120
+ /// Memory management
121
+ static void* operator new(size_t size);
122
+ /// Memory management
123
+ static void operator delete(void* p,size_t size);
124
+ };
125
+ Node* n;
126
+ public:
127
+ /// Default constructor
128
+ LinExpr(void);
129
+ /// Create expression
130
+ LinExpr(const Var& x, int a=1);
131
+ /// Copy constructor
132
+ LinExpr(const LinExpr& e);
133
+ /// Create expression for type and subexpressions
134
+ LinExpr(const LinExpr& e0, NodeType t, const LinExpr& e1);
135
+ /// Create expression for type and subexpression
136
+ LinExpr(const LinExpr& e0, NodeType t, int c);
137
+ /// Create expression for multiplication
138
+ LinExpr(int a, const LinExpr& e);
139
+ /// Assignment operator
140
+ const LinExpr& operator=(const LinExpr& e);
141
+ /// Post propagator
142
+ void post(Space* home, IntRelType irt,
143
+ IntConLevel icl, PropKind pk) const;
144
+ /// Post reified propagator
145
+ void post(Space* home, IntRelType irt, const BoolVar& b,
146
+ IntConLevel icl, PropKind pk) const;
147
+ /// Post propagator and return variable for value
148
+ IntVar post(Space* home,
149
+ IntConLevel icl, PropKind pk) const;
150
+ /// Destructor
151
+ ~LinExpr(void);
152
+ };
153
+
154
+ /// Linear relations
155
+ template<class Var>
156
+ class LinRel {
157
+ private:
158
+ /// Linear expression describing the entire relation
159
+ LinExpr<Var> e;
160
+ /// Which relation
161
+ IntRelType irt;
162
+ /// Negate relation type
163
+ static IntRelType neg(IntRelType irt);
164
+ public:
165
+ /// Default constructor
166
+ LinRel(void);
167
+ /// Create linear relation for expressions \a l and \a r
168
+ LinRel(const LinExpr<Var>& l, IntRelType irt, const LinExpr<Var>& r);
169
+ /// Create linear relation for expression \a l and integer \a r
170
+ LinRel(const LinExpr<Var>& l, IntRelType irt, int r);
171
+ /// Create linear relation for integer \a l and expression \a r
172
+ LinRel(int l, IntRelType irt, const LinExpr<Var>& r);
173
+ /// Post propagator for relation (if \a t is false for negated relation)
174
+ void post(Space* home, bool t,
175
+ IntConLevel icl, PropKind pk) const;
176
+ /// Post reified propagator for relation
177
+ void post(Space* home, const BoolVar& b,
178
+ IntConLevel icl, PropKind pk) const;
179
+ };
180
+
181
+ }
182
+
183
+ }
184
+
185
+ /**
186
+ * \defgroup TaskModelMiniModelLin Linear expressions and relations
187
+ *
188
+ * Linear expressions can be freely composed of sums and differences of
189
+ * integer variables (Gecode::IntVar) or Boolean variables (Gecode::BoolVar)
190
+ * possibly with integer coefficients and integer constants.
191
+ *
192
+ * Note that both integer and Boolean variables are automatically available
193
+ * as linear expressions.
194
+ *
195
+ * Linear relations are obtained from linear expressions with the normal
196
+ * relation operators.
197
+ *
198
+ * \ingroup TaskModelMiniModel
199
+ */
200
+
201
+ //@{
202
+
203
+ /// Construct linear expression as sum of linear expression and integer
204
+ Gecode::MiniModel::LinExpr<Gecode::IntVar>
205
+ operator+(int,
206
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>&);
207
+ /// Construct linear expression as sum of integer and linear expression
208
+ Gecode::MiniModel::LinExpr<Gecode::IntVar>
209
+ operator+(const Gecode::MiniModel::LinExpr<Gecode::IntVar>&,
210
+ int);
211
+ /// Construct linear expression as sum of linear expressions
212
+ Gecode::MiniModel::LinExpr<Gecode::IntVar>
213
+ operator+(const Gecode::MiniModel::LinExpr<Gecode::IntVar>&,
214
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>&);
215
+ /// Construct linear expression as difference of linear expression and integer
216
+ Gecode::MiniModel::LinExpr<Gecode::IntVar>
217
+ operator-(int,
218
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>&);
219
+ /// Construct linear expression as difference of integer and linear expression
220
+ Gecode::MiniModel::LinExpr<Gecode::IntVar>
221
+ operator-(const Gecode::MiniModel::LinExpr<Gecode::IntVar>&,
222
+ int);
223
+ /// Construct linear expression as difference of linear expressions
224
+ Gecode::MiniModel::LinExpr<Gecode::IntVar>
225
+ operator-(const Gecode::MiniModel::LinExpr<Gecode::IntVar>&,
226
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>&);
227
+ /// Construct linear expression as negative of linear expression
228
+ Gecode::MiniModel::LinExpr<Gecode::IntVar>
229
+ operator-(const Gecode::MiniModel::LinExpr<Gecode::IntVar>&);
230
+
231
+ /// Construct linear expression as product of integer coefficient and integer variable
232
+ Gecode::MiniModel::LinExpr<Gecode::IntVar>
233
+ operator*(int, const Gecode::IntVar&);
234
+ /// Construct linear expression as product of integer coefficient and integer variable
235
+ Gecode::MiniModel::LinExpr<Gecode::IntVar>
236
+ operator*(const Gecode::IntVar&, int);
237
+ /// Construct linear expression as product of integer coefficient and linear expression
238
+ Gecode::MiniModel::LinExpr<Gecode::IntVar>
239
+ operator*(const Gecode::MiniModel::LinExpr<Gecode::IntVar>&, int);
240
+ /// Construct linear expression as product of integer coefficient and linear expression
241
+ Gecode::MiniModel::LinExpr<Gecode::IntVar>
242
+ operator*(int, const Gecode::MiniModel::LinExpr<Gecode::IntVar>&);
243
+
244
+
245
+ /// Construct linear expression as sum of linear expression and integer
246
+ Gecode::MiniModel::LinExpr<Gecode::BoolVar>
247
+ operator+(int,
248
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>&);
249
+ /// Construct linear expression as sum of integer and linear expression
250
+ Gecode::MiniModel::LinExpr<Gecode::BoolVar>
251
+ operator+(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>&,
252
+ int);
253
+ /// Construct linear expression as sum of linear expressions
254
+ Gecode::MiniModel::LinExpr<Gecode::BoolVar>
255
+ operator+(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>&,
256
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>&);
257
+ /// Construct linear expression as difference of linear expression and integer
258
+ Gecode::MiniModel::LinExpr<Gecode::BoolVar>
259
+ operator-(int,
260
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>&);
261
+ /// Construct linear expression as difference of integer and linear expression
262
+ Gecode::MiniModel::LinExpr<Gecode::BoolVar>
263
+ operator-(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>&,
264
+ int);
265
+ /// Construct linear expression as difference of linear expressions
266
+ Gecode::MiniModel::LinExpr<Gecode::BoolVar>
267
+ operator-(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>&,
268
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>&);
269
+ /// Construct linear expression as negative of linear expression
270
+ Gecode::MiniModel::LinExpr<Gecode::BoolVar>
271
+ operator-(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>&);
272
+
273
+ /// Construct linear expression as product of integer coefficient and integer variable
274
+ Gecode::MiniModel::LinExpr<Gecode::BoolVar>
275
+ operator*(int, const Gecode::BoolVar&);
276
+ /// Construct linear expression as product of integer coefficient and integer variable
277
+ Gecode::MiniModel::LinExpr<Gecode::BoolVar>
278
+ operator*(const Gecode::BoolVar&, int);
279
+ /// Construct linear expression as product of integer coefficient and linear expression
280
+ Gecode::MiniModel::LinExpr<Gecode::BoolVar>
281
+ operator*(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>&, int);
282
+ /// Construct linear expression as product of integer coefficient and linear expression
283
+ Gecode::MiniModel::LinExpr<Gecode::BoolVar>
284
+ operator*(int, const Gecode::MiniModel::LinExpr<Gecode::BoolVar>&);
285
+
286
+
287
+ /// Construct linear equality relation
288
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
289
+ operator==(int l,
290
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>& r);
291
+ /// Construct linear equality relation
292
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
293
+ operator==(const Gecode::MiniModel::LinExpr<Gecode::IntVar>& l,
294
+ int r);
295
+ /// Construct linear equality relation
296
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
297
+ operator==(const Gecode::MiniModel::LinExpr<Gecode::IntVar>& l,
298
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>& r);
299
+
300
+ /// Construct linear disequality relation
301
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
302
+ operator!=(int l,
303
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>& r);
304
+ /// Construct linear disequality relation
305
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
306
+ operator!=(const Gecode::MiniModel::LinExpr<Gecode::IntVar>& l,
307
+ int r);
308
+ /// Construct linear disequality relation
309
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
310
+ operator!=(const Gecode::MiniModel::LinExpr<Gecode::IntVar>& l,
311
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>& r);
312
+
313
+ /// Construct linear inequality relation
314
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
315
+ operator<(int l,
316
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>& r);
317
+ /// Construct linear inequality relation
318
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
319
+ operator<(const Gecode::MiniModel::LinExpr<Gecode::IntVar>& l,
320
+ int r);
321
+ /// Construct linear inequality relation
322
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
323
+ operator<(const Gecode::MiniModel::LinExpr<Gecode::IntVar>& l,
324
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>& r);
325
+
326
+ /// Construct linear inequality relation
327
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
328
+ operator<=(int l,
329
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>& r);
330
+ /// Construct linear inequality relation
331
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
332
+ operator<=(const Gecode::MiniModel::LinExpr<Gecode::IntVar>& l,
333
+ int r);
334
+ /// Construct linear inequality relation
335
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
336
+ operator<=(const Gecode::MiniModel::LinExpr<Gecode::IntVar>& l,
337
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>& r);
338
+
339
+ /// Construct linear inequality relation
340
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
341
+ operator>(int l,
342
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>& r);
343
+ /// Construct linear inequality relation
344
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
345
+ operator>(const Gecode::MiniModel::LinExpr<Gecode::IntVar>& l,
346
+ int r);
347
+ /// Construct linear inequality relation
348
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
349
+ operator>(const Gecode::MiniModel::LinExpr<Gecode::IntVar>& l,
350
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>& r);
351
+
352
+ /// Construct linear inequality relation
353
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
354
+ operator>=(int l,
355
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>& r);
356
+ /// Construct linear inequality relation
357
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
358
+ operator>=(const Gecode::MiniModel::LinExpr<Gecode::IntVar>& l,
359
+ int r);
360
+ /// Construct linear inequality relation
361
+ Gecode::MiniModel::LinRel<Gecode::IntVar>
362
+ operator>=(const Gecode::MiniModel::LinExpr<Gecode::IntVar>& l,
363
+ const Gecode::MiniModel::LinExpr<Gecode::IntVar>& r);
364
+
365
+
366
+ /// Construct linear equality relation
367
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
368
+ operator==(int l,
369
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& r);
370
+ /// Construct linear equality relation
371
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
372
+ operator==(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& l,
373
+ int r);
374
+ /// Construct linear equality relation
375
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
376
+ operator==(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& l,
377
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& r);
378
+
379
+ /// Construct linear disequality relation
380
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
381
+ operator!=(int l,
382
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& r);
383
+ /// Construct linear disequality relation
384
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
385
+ operator!=(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& l,
386
+ int r);
387
+ /// Construct linear disequality relation
388
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
389
+ operator!=(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& l,
390
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& r);
391
+
392
+ /// Construct linear inequality relation
393
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
394
+ operator<(int l,
395
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& r);
396
+ /// Construct linear inequality relation
397
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
398
+ operator<(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& l,
399
+ int r);
400
+ /// Construct linear inequality relation
401
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
402
+ operator<(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& l,
403
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& r);
404
+
405
+ /// Construct linear inequality relation
406
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
407
+ operator<=(int l,
408
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& r);
409
+ /// Construct linear inequality relation
410
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
411
+ operator<=(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& l,
412
+ int r);
413
+ /// Construct linear inequality relation
414
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
415
+ operator<=(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& l,
416
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& r);
417
+
418
+ /// Construct linear inequality relation
419
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
420
+ operator>(int l,
421
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& r);
422
+ /// Construct linear inequality relation
423
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
424
+ operator>(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& l,
425
+ int r);
426
+ /// Construct linear inequality relation
427
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
428
+ operator>(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& l,
429
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& r);
430
+
431
+ /// Construct linear inequality relation
432
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
433
+ operator>=(int l,
434
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& r);
435
+ /// Construct linear inequality relation
436
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
437
+ operator>=(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& l,
438
+ int r);
439
+ /// Construct linear inequality relation
440
+ Gecode::MiniModel::LinRel<Gecode::BoolVar>
441
+ operator>=(const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& l,
442
+ const Gecode::MiniModel::LinExpr<Gecode::BoolVar>& r);
443
+
444
+ //@}
445
+
446
+ namespace Gecode {
447
+
448
+ namespace MiniModel {
449
+
450
+ /// Boolean expressions
451
+ class BoolExpr {
452
+ public:
453
+ /// Type of Boolean expression
454
+ enum NodeType {
455
+ NT_VAR, ///< Variable
456
+ NT_NOT, ///< Negation
457
+ NT_AND, ///< Conjunction
458
+ NT_OR, ///< Disjunction
459
+ NT_IMP, ///< Implication
460
+ NT_XOR, ///< Exclusive or
461
+ NT_EQV, ///< Equivalence
462
+ NT_RLIN_INT, ///< Reified linear relation (integer variables)
463
+ NT_RLIN_BOOL ///< Reified linear relation (Boolean variables)
464
+ };
465
+ /// Node for Boolean expression
466
+ class Node {
467
+ public:
468
+ /// Nodes are reference counted
469
+ unsigned int use;
470
+ /// Number of variables in subtree with same type (for AND and OR)
471
+ unsigned int same;
472
+ /// Type of expression
473
+ NodeType t;
474
+ /// Subexpressions
475
+ Node *l, *r;
476
+ /// Possibly a variable
477
+ BoolVar x;
478
+ /// Possibly a reified linear relation over integer variables
479
+ LinRel<IntVar> rl_int;
480
+ /// Possibly a reified linear relation over Boolean variables
481
+ LinRel<BoolVar> rl_bool;
482
+
483
+ /// Default constructor
484
+ Node(void);
485
+ /// Decrement reference count and possibly free memory
486
+ GECODE_MINIMODEL_EXPORT
487
+ bool decrement(void);
488
+ /// Post propagators for nested conjunctive and disjunctive expression
489
+ GECODE_MINIMODEL_EXPORT
490
+ int post(Space* home, NodeType t, BoolVarArgs& b, int i,
491
+ IntConLevel icl, PropKind pk) const;
492
+ /// Post propagators for expression
493
+ GECODE_MINIMODEL_EXPORT
494
+ void post(Space* home, BoolVar b,
495
+ IntConLevel icl, PropKind pk) const;
496
+ /// Post propagators for expression
497
+ GECODE_MINIMODEL_EXPORT
498
+ BoolVar post(Space* home,
499
+ IntConLevel icl, PropKind pk) const;
500
+ /// Post propagators for relation
501
+ GECODE_MINIMODEL_EXPORT
502
+ void post(Space* home, bool t,
503
+ IntConLevel icl, PropKind pk) const;
504
+
505
+ /// Memory management
506
+ static void* operator new(size_t size);
507
+ /// Memory management
508
+ static void operator delete(void* p,size_t size);
509
+ };
510
+ private:
511
+ /// Pointer to node for expression
512
+ Node* n;
513
+ public:
514
+ /// Copy constructor
515
+ BoolExpr(const BoolExpr& e);
516
+ /// Construct expression for type and subexpresssions
517
+ GECODE_MINIMODEL_EXPORT
518
+ BoolExpr(const BoolExpr& l, NodeType t, const BoolExpr& r);
519
+ /// Construct expression for variable
520
+ GECODE_MINIMODEL_EXPORT
521
+ BoolExpr(const BoolVar& x);
522
+ /// Construct expression for negation
523
+ GECODE_MINIMODEL_EXPORT
524
+ BoolExpr(const BoolExpr& e, NodeType t);
525
+ /// Construct expression for reified linear relation
526
+ GECODE_MINIMODEL_EXPORT
527
+ BoolExpr(const LinRel<IntVar>& rl);
528
+ /// Construct expression for reified linear relation
529
+ GECODE_MINIMODEL_EXPORT
530
+ BoolExpr(const LinRel<BoolVar>& rl);
531
+ /// Post propagators for expression
532
+ BoolVar post(Space* home, IntConLevel icl, PropKind pk) const;
533
+ /// Post propagators for relation
534
+ void post(Space* home, bool t, IntConLevel icl, PropKind pk) const;
535
+
536
+ /// Assignment operator
537
+ GECODE_MINIMODEL_EXPORT
538
+ const BoolExpr& operator=(const BoolExpr& e);
539
+ /// Destructor
540
+ GECODE_MINIMODEL_EXPORT
541
+ ~BoolExpr(void);
542
+ };
543
+
544
+ /// Boolean relations
545
+ class BoolRel {
546
+ private:
547
+ /// Expression
548
+ BoolExpr e;
549
+ /// Whether expression is true or false
550
+ bool t;
551
+ public:
552
+ /// Constructor
553
+ BoolRel(const BoolExpr& e, bool t);
554
+ /// Post propagators for relation
555
+ void post(Space* home, IntConLevel icl, PropKind pk) const;
556
+ };
557
+ }
558
+
559
+ }
560
+
561
+ /**
562
+ * \defgroup TaskModelMiniModelBool Boolean expressions and relations
563
+ *
564
+ * Boolean expressions can be freely composed of variables with
565
+ * the usual connectives and reified linear expressions.
566
+ *
567
+ * Boolean relations are obtained from Boolean expressions with
568
+ * functions \a tt (stating that the expression must be true)
569
+ * and \a ff (stating that the expression must be false).
570
+ *
571
+ * \ingroup TaskModelMiniModel
572
+ */
573
+
574
+ //@{
575
+
576
+ /// Negated Boolean expression
577
+ Gecode::MiniModel::BoolExpr
578
+ operator!(const Gecode::MiniModel::BoolExpr&);
579
+
580
+ /// Conjunction of Boolean expressions
581
+ Gecode::MiniModel::BoolExpr
582
+ operator&&(const Gecode::MiniModel::BoolExpr&,
583
+ const Gecode::MiniModel::BoolExpr&);
584
+
585
+ /// Disjunction of Boolean expressions
586
+ Gecode::MiniModel::BoolExpr
587
+ operator||(const Gecode::MiniModel::BoolExpr&,
588
+ const Gecode::MiniModel::BoolExpr&);
589
+
590
+ /// Exclusive-or of Boolean expressions
591
+ Gecode::MiniModel::BoolExpr
592
+ operator^(const Gecode::MiniModel::BoolExpr&,
593
+ const Gecode::MiniModel::BoolExpr&);
594
+
595
+ /// Reification of linear relations
596
+ template <class Var>
597
+ Gecode::MiniModel::BoolExpr
598
+ operator~(const Gecode::MiniModel::LinRel<Var>&);
599
+
600
+ namespace Gecode {
601
+
602
+ /// Equivalence of Boolean expressions
603
+ MiniModel::BoolExpr
604
+ eqv(const MiniModel::BoolExpr&,
605
+ const MiniModel::BoolExpr&);
606
+ /// Implication of Boolean expressions
607
+ MiniModel::BoolExpr
608
+ imp(const MiniModel::BoolExpr&,
609
+ const MiniModel::BoolExpr&);
610
+
611
+ /// State that Boolean expression must be true
612
+ MiniModel::BoolRel
613
+ tt(const MiniModel::BoolExpr&);
614
+
615
+ /// State that Boolean expression must be false
616
+ MiniModel::BoolRel
617
+ ff(const MiniModel::BoolExpr&);
618
+
619
+ }
620
+
621
+ //@}
622
+
623
+ namespace Gecode {
624
+
625
+ /**
626
+ * \defgroup TaskModelMiniModelPost Posting of expressions and relations
627
+ *
628
+ * \ingroup TaskModelMiniModel
629
+ */
630
+ //@{
631
+ /// Post linear expression and return its value
632
+ template <class Var>
633
+ IntVar post(Space* home, const MiniModel::LinExpr<Var>& e,
634
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
635
+ /// Post linear expression (special case for integer variable) and return its value
636
+ IntVar post(Space* home, const IntVar& x,
637
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
638
+ /// Post linear expression (special case for constant) and return its value
639
+ IntVar post(Space* home, int n,
640
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
641
+
642
+ /// Post linear relation
643
+ template <class Var>
644
+ void post(Space* home, const MiniModel::LinRel<Var>& r,
645
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
646
+ /// Make it work for special integer only-case
647
+ void post(Space* home, bool r,
648
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
649
+
650
+ /// Post Boolean expression and return its value
651
+ BoolVar post(Space* home, const MiniModel::BoolExpr& e,
652
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
653
+ /// Post Boolean expression (special case for variable) and return its value
654
+ BoolVar post(Space* home, const BoolVar& b,
655
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
656
+ /// Post Boolean relation
657
+ void post(Space* home, const MiniModel::BoolRel& r,
658
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
659
+ //@}
660
+
661
+ }
662
+
663
+ #include "gecode/minimodel/lin-expr.icc"
664
+ #include "gecode/minimodel/lin-rel.icc"
665
+ #include "gecode/minimodel/bool-expr.icc"
666
+ #include "gecode/minimodel/bool-rel.icc"
667
+
668
+ namespace Gecode {
669
+
670
+ /**
671
+ * \brief Regular expressions over integer values
672
+ *
673
+ * \ingroup TaskModelMiniModel
674
+ */
675
+ class GECODE_MINIMODEL_EXPORT REG {
676
+ private:
677
+ /// Implementation of the actual expression tree
678
+ class Exp;
679
+ /// The expression tree
680
+ Exp* e;
681
+ /// Initialize with given expression tree \a
682
+ REG(Exp* e);
683
+ public:
684
+ /// Initialize as empty sequence (epsilon)
685
+ REG(void);
686
+ /// Initialize as single integer \a s
687
+ REG(int s);
688
+ /**
689
+ * \brief Initialize as alternative of integers
690
+ *
691
+ * Throws an exception of type MiniModel::TooFewArguments if \a x
692
+ * is empty.
693
+ */
694
+ REG(const IntArgs& x);
695
+
696
+ /// Initialize from regular expression \a r
697
+ REG(const REG& r);
698
+ /// Assign to regular expression \a r
699
+ const REG& operator=(const REG& r);
700
+
701
+ /// Return expression for: this expression followed by \a r
702
+ REG operator+(const REG& r);
703
+ /// This expression is followed by \a r
704
+ REG& operator+=(const REG& r);
705
+ /// Return expression for: this expression or \a r
706
+ REG operator|(const REG& r);
707
+ /// This expression or \a r
708
+ REG& operator|=(const REG& r);
709
+ /// Return expression for: this expression arbitrarily often (Kleene star)
710
+ REG operator*(void);
711
+ /// Return expression for: this expression at least once
712
+ REG operator+(void);
713
+ /// Return expression for: this expression at least \a n and at most \a m times
714
+ REG operator()(unsigned int n, unsigned int m);
715
+ /// Return expression for: this expression at least \a n times
716
+ REG operator()(unsigned int n);
717
+ /// Print expression
718
+ std::ostream& print(std::ostream&) const;
719
+ /// Return DFA for regular expression
720
+ operator DFA(void);
721
+ /// Destructor
722
+ ~REG(void);
723
+ };
724
+
725
+ }
726
+
727
+ /** \relates Gecode::REG
728
+ * Print regular expression \a r
729
+ */
730
+ GECODE_MINIMODEL_EXPORT std::ostream&
731
+ operator<<(std::ostream&, const Gecode::REG& r);
732
+
733
+
734
+ namespace Gecode {
735
+
736
+ /**
737
+ * \defgroup TaskModelMiniModelArith Arithmetic functions
738
+ *
739
+ * \ingroup TaskModelMiniModel
740
+ */
741
+ //@{
742
+ /** \brief Return variable constrained to \f$|x|\f$
743
+ *
744
+ * Supports both bounds consistency (\a icl = ICL_BND, default)
745
+ * and domain consistency (\a icl = ICL_DOM).
746
+ */
747
+ IntVar
748
+ abs(Space* home, IntVar x,
749
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
750
+ /** \brief Return variable constrained to \f$\min(x,y)\f$
751
+ *
752
+ * Supports both bounds consistency (\a icl = ICL_BND, default)
753
+ * and domain consistency (\a icl = ICL_DOM).
754
+ */
755
+ IntVar
756
+ min(Space* home, IntVar x, IntVar y,
757
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
758
+ /** \brief Return variable constrained to \f$\min(x)\f$
759
+ *
760
+ * Supports both bounds consistency (\a icl = ICL_BND, default)
761
+ * and domain consistency (\a icl = ICL_DOM).
762
+ */
763
+ IntVar
764
+ min(Space* home, const IntVarArgs& x,
765
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
766
+ /** \brief Return variable constrained to \f$\max(x,y)\f$
767
+ *
768
+ * Supports both bounds consistency (\a icl = ICL_BND, default)
769
+ * and domain consistency (\a icl = ICL_DOM).
770
+ */
771
+ IntVar
772
+ max(Space* home, IntVar x, IntVar y,
773
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
774
+ /** \brief Return variable constrained to \f$\max(x)\f$
775
+ *
776
+ * Supports both bounds consistency (\a icl = ICL_BND, default)
777
+ * and domain consistency (\a icl = ICL_DOM).
778
+ */
779
+ IntVar
780
+ max(Space* home, const IntVarArgs& x,
781
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
782
+ /** \brief Return variable constrained to \f$x\cdot y\f$
783
+ *
784
+ * Supports both bounds consistency (\a icl = ICL_BND, default)
785
+ * and domain consistency (\a icl = ICL_DOM).
786
+ */
787
+ IntVar
788
+ mult(Space* home, IntVar x, IntVar y,
789
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
790
+ /** \brief Return variable constrained to \f$x^2\f$
791
+ *
792
+ * Supports both bounds consistency (\a icl = ICL_BND, default)
793
+ * and domain consistency (\a icl = ICL_DOM).
794
+ */
795
+ IntVar
796
+ sqr(Space* home, IntVar x,
797
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
798
+ /** \brief Return variable constrained to \f$\lfloor\sqrt{x}\rfloor\f$
799
+ *
800
+ * Supports both bounds consistency (\a icl = ICL_BND, default)
801
+ * and domain consistency (\a icl = ICL_DOM).
802
+ */
803
+ IntVar
804
+ sqrt(Space* home, IntVar x,
805
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
806
+ /** \brief Return variable constrained to \f$x+y\f$
807
+ *
808
+ * Supports both bounds consistency (\a icl = ICL_BND, default)
809
+ * and domain consistency (\a icl = ICL_DOM).
810
+ */
811
+ IntVar
812
+ plus(Space* home, IntVar x, IntVar y,
813
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
814
+ /** Return variable constrained to \f$x-y\f$
815
+ *
816
+ * Supports both bounds consistency (\a icl = ICL_BND, default)
817
+ * and domain consistency (\a icl = ICL_DOM).
818
+ */
819
+ IntVar
820
+ minus(Space* home, IntVar x, IntVar y,
821
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF);
822
+ //@}
823
+ }
824
+
825
+ #include "gecode/minimodel/arithmetic.icc"
826
+
827
+ namespace Gecode {
828
+
829
+ /**
830
+ * \defgroup TaskModelMiniModelChannel Channel functions
831
+ *
832
+ * \ingroup TaskModelMiniModel
833
+ */
834
+ //@{
835
+ /// Return Boolean variable equal to \f$x\f$
836
+ inline BoolVar
837
+ channel(Space* home, IntVar x,
838
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
839
+ (void) icl; (void) pk;
840
+ BoolVar b(home,0,1); channel(home,b,x);
841
+ return b;
842
+ }
843
+ /// Return integer variable equal to \f$b\f$
844
+ inline IntVar
845
+ channel(Space* home, BoolVar b,
846
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
847
+ (void) icl; (void) pk;
848
+ IntVar x(home,0,1); channel(home,b,x);
849
+ return x;
850
+ }
851
+ //@}
852
+
853
+ }
854
+
855
+ namespace Gecode {
856
+
857
+ /**
858
+ * \defgroup TaskModelMiniModelIntAlias Aliases for integer constraints
859
+ *
860
+ * Contains definitions of common constraints which have different
861
+ * names in Gecode.
862
+ *
863
+ * \ingroup TaskModelMiniModel
864
+ */
865
+
866
+ //@{
867
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\leq m\f$
868
+ *
869
+ * Supports domain consistent propagation only.
870
+ */
871
+ inline void
872
+ atmost(Space* home, const IntVarArgs& x, int n, int m,
873
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
874
+ count(home,x,n,IRT_LQ,m,icl,pk);
875
+ }
876
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\leq m\f$
877
+ *
878
+ * Supports domain consistent propagation only.
879
+ */
880
+ inline void
881
+ atmost(Space* home, const IntVarArgs& x, IntVar y, int m,
882
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
883
+ count(home,x,y,IRT_LQ,m,icl,pk);
884
+ }
885
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\leq m\f$
886
+ *
887
+ * Supports domain consistent propagation only.
888
+ *
889
+ * Throws an exception of type Int::ArgumentSizeMismatch, if
890
+ * \a x and \a y are of different size.
891
+ */
892
+ inline void
893
+ atmost(Space* home, const IntVarArgs& x, const IntArgs& y, int m,
894
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
895
+ count(home,x,y,IRT_LQ,m,icl,pk);
896
+ }
897
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\leq z\f$
898
+ *
899
+ * Supports domain consistent propagation only.
900
+ */
901
+ inline void
902
+ atmost(Space* home, const IntVarArgs& x, int n, IntVar z,
903
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
904
+ count(home,x,n,IRT_LQ,z,icl,pk);
905
+ }
906
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\leq z\f$
907
+ *
908
+ * Supports domain consistent propagation only.
909
+ */
910
+ inline void
911
+ atmost(Space* home, const IntVarArgs& x, IntVar y, IntVar z,
912
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
913
+ count(home,x,y,IRT_LQ,z,icl,pk);
914
+ }
915
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\leq z\f$
916
+ *
917
+ * Supports domain consistent propagation only.
918
+ *
919
+ * Throws an exception of type Int::ArgumentSizeMismatch, if
920
+ * \a x and \a y are of different size.
921
+ */
922
+ inline void
923
+ atmost(Space* home, const IntVarArgs& x, const IntArgs& y, IntVar z,
924
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
925
+ count(home,x,y,IRT_LQ,z,icl,pk);
926
+ }
927
+
928
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\geq m\f$
929
+ *
930
+ * Supports domain consistent propagation only.
931
+ */
932
+ inline void
933
+ atleast(Space* home, const IntVarArgs& x, int n, int m,
934
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
935
+ count(home,x,n,IRT_GQ,m,icl,pk);
936
+ }
937
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\geq m\f$
938
+ *
939
+ * Supports domain consistent propagation only.
940
+ */
941
+ inline void
942
+ atleast(Space* home, const IntVarArgs& x, IntVar y, int m,
943
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
944
+ count(home,x,y,IRT_GQ,m,icl,pk);
945
+ }
946
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\geq m\f$
947
+ *
948
+ * Supports domain consistent propagation only.
949
+ *
950
+ * Throws an exception of type Int::ArgumentSizeMismatch, if
951
+ * \a x and \a y are of different size.
952
+ */
953
+ inline void
954
+ atleast(Space* home, const IntVarArgs& x, const IntArgs& y, int m,
955
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
956
+ count(home,x,y,IRT_GQ,m,icl,pk);
957
+ }
958
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\geq z\f$
959
+ *
960
+ * Supports domain consistent propagation only.
961
+ */
962
+ inline void
963
+ atleast(Space* home, const IntVarArgs& x, int n, IntVar z,
964
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
965
+ count(home,x,n,IRT_GQ,z,icl,pk);
966
+ }
967
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\geq z\f$
968
+ *
969
+ * Supports domain consistent propagation only.
970
+ */
971
+ inline void
972
+ atleast(Space* home, const IntVarArgs& x, IntVar y, IntVar z,
973
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
974
+ count(home,x,y,IRT_GQ,z,icl,pk);
975
+ }
976
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\geq z\f$
977
+ *
978
+ * Supports domain consistent propagation only.
979
+ *
980
+ * Throws an exception of type Int::ArgumentSizeMismatch, if
981
+ * \a x and \a y are of different size.
982
+ */
983
+ inline void
984
+ atleast(Space* home, const IntVarArgs& x, const IntArgs& y, IntVar z,
985
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
986
+ count(home,x,y,IRT_GQ,z,icl,pk);
987
+ }
988
+
989
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}=m\f$
990
+ *
991
+ * Supports domain consistent propagation only.
992
+ */
993
+ inline void
994
+ exactly(Space* home, const IntVarArgs& x, int n, int m,
995
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
996
+ count(home,x,n,IRT_EQ,m,icl,pk);
997
+ }
998
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}=m\f$
999
+ *
1000
+ * Supports domain consistent propagation only.
1001
+ */
1002
+ inline void
1003
+ exactly(Space* home, const IntVarArgs& x, IntVar y, int m,
1004
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
1005
+ count(home,x,y,IRT_EQ,m,icl,pk);
1006
+ }
1007
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}=m\f$
1008
+ *
1009
+ * Supports domain consistent propagation only.
1010
+ *
1011
+ * Throws an exception of type Int::ArgumentSizeMismatch, if
1012
+ * \a x and \a y are of different size.
1013
+ */
1014
+ inline void
1015
+ exactly(Space* home, const IntVarArgs& x, const IntArgs& y, int m,
1016
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
1017
+ count(home,x,y,IRT_EQ,m,icl,pk);
1018
+ }
1019
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}=z\f$
1020
+ *
1021
+ * Supports domain consistent propagation only.
1022
+ */
1023
+ inline void
1024
+ exactly(Space* home, const IntVarArgs& x, int n, IntVar z,
1025
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
1026
+ count(home,x,n,IRT_EQ,z,icl,pk);
1027
+ }
1028
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}=z\f$
1029
+ *
1030
+ * Supports domain consistent propagation only.
1031
+ */
1032
+ inline void
1033
+ exactly(Space* home, const IntVarArgs& x, IntVar y, IntVar z,
1034
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
1035
+ count(home,x,y,IRT_EQ,z,icl,pk);
1036
+ }
1037
+ /** \brief Post propagator for \f$\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}=z\f$
1038
+ *
1039
+ * Supports domain consistent propagation only.
1040
+ *
1041
+ * Throws an exception of type Int::ArgumentSizeMismatch, if
1042
+ * \a x and \a y are of different size.
1043
+ */
1044
+ inline void
1045
+ exactly(Space* home, const IntVarArgs& x, const IntArgs& y, IntVar z,
1046
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
1047
+ count(home,x,y,IRT_EQ,z,icl,pk);
1048
+ }
1049
+ /** \brief Post propagator for lexical order between \a x and \a y.
1050
+ *
1051
+ * Throws an exception of type Int::ArgumentSizeMismatch, if
1052
+ * \a x and \a y are of different size.
1053
+ */
1054
+ inline void
1055
+ lex(Space* home, const IntVarArgs& x, IntRelType r, const IntVarArgs& y,
1056
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
1057
+ rel(home,x,r,y,icl,pk);
1058
+ }
1059
+ /** \brief Post propagator for lexical order between \a x and \a y.
1060
+ *
1061
+ * Throws an exception of type Int::ArgumentSizeMismatch, if
1062
+ * \a x and \a y are of different size.
1063
+ */
1064
+ inline void
1065
+ lex(Space* home, const BoolVarArgs& x, IntRelType r, const BoolVarArgs& y,
1066
+ IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) {
1067
+ rel(home,x,r,y,icl,pk);
1068
+ }
1069
+
1070
+ //@}
1071
+
1072
+ }
1073
+
1074
+ /**
1075
+ * \addtogroup TaskModelMiniModelMatrix Matrix interface for arrays
1076
+ *
1077
+ * Wrapper for arrays to act as a two-dimensional matrix.
1078
+ *
1079
+ * \ingroup TaskModelMiniModel
1080
+ */
1081
+ //@{
1082
+ namespace Gecode { namespace MiniModel {
1083
+
1084
+ /** \brief Matrix-interface for arrays
1085
+ *
1086
+ * This class allows for wrapping some array and accessing it as a
1087
+ * matrix.
1088
+ *
1089
+ * \note This is a light-weight wrapper, and is not intended for
1090
+ * storing variables directly instead of in an array.
1091
+ *
1092
+ * \ingroup TaskModelMiniModelMatrix
1093
+ */
1094
+ template <class A>
1095
+ class Matrix {
1096
+ public:
1097
+ /// The type of elements of this array
1098
+ typedef typename ArrayTraits<A>::value_type value_type;
1099
+ /// The type of the Args-array type for value_type values.
1100
+ typedef typename ArrayTraits<A>::args_type args_type;
1101
+
1102
+ /** \brief A slice of a matrix.
1103
+ *
1104
+ * This class represents a slice of the matrix. It is used to get
1105
+ * context-dependent behaviour. The slice will be automatically
1106
+ * converted to an args_type Args-array or to a Matrix<args_type>
1107
+ * depending on the context where it is used.
1108
+ */
1109
+ class Slice {
1110
+ args_type _r; ///< The elements of the slice
1111
+ unsigned int _fc, ///< From column
1112
+ _tc, ///< To column
1113
+ _fr, ///< From row
1114
+ _tr; ///< To row
1115
+ public:
1116
+ Slice(Matrix<A>& a,
1117
+ unsigned int fc, unsigned int tc,
1118
+ unsigned int fr, unsigned int tr);
1119
+
1120
+ /** \brief Reverses the contents of the slice, and returns a
1121
+ * reference to it.
1122
+ */
1123
+ Slice& reverse(void);
1124
+
1125
+ operator args_type(void);
1126
+ operator Matrix<args_type>(void);
1127
+ };
1128
+
1129
+ private:
1130
+ /// The type of storage for this array
1131
+ typedef typename ArrayTraits<A>::storage_type storage_type;
1132
+ storage_type _a; ///< The array wrapped
1133
+ unsigned int _w, ///< The width of the matrix
1134
+ _h; ///< The height of the matrix
1135
+
1136
+ public:
1137
+ /** \brief Basic constructor
1138
+ *
1139
+ * Constructs a Matrix from the array \a a, using \a w and \a h as
1140
+ * the width and height of the matrix.
1141
+ *
1142
+ * The elements in the wrapped array \a a are accessed in
1143
+ * row-major order.
1144
+ *
1145
+ * \exception MiniModel::ArgumentSizeMismatch Raised if the
1146
+ * parameters \a w and \a h doesn't match the size
1147
+ * of the array \a a.
1148
+ */
1149
+ Matrix(A a, unsigned int w, unsigned int h);
1150
+
1151
+ /** \brief Basic constructor
1152
+ *
1153
+ * Constructs a square Matrix from the array \a a, using \a n as
1154
+ * the length of the sides.
1155
+ *
1156
+ * The elements in the wrapped array \a a are accessed in
1157
+ * row-major order.
1158
+ *
1159
+ * \exception MiniModel::ArgumentSizeMismatch Raised if the
1160
+ * parameter \a n doesn't match the size
1161
+ * of the array \a a.
1162
+ */
1163
+ Matrix(A a, unsigned int n);
1164
+
1165
+ /// Return the width of the matrix
1166
+ unsigned int width(void) const;
1167
+ /// Return the height of the matrix
1168
+ unsigned int height(void) const;
1169
+ /// Return an Args-array of the contents of the matrix
1170
+ args_type const get_array(void);
1171
+
1172
+ /** \brief Access element (\a c, \a r) of the matrix
1173
+ *
1174
+ * \exception MiniModel::ArgumentOutOfRange Raised if \a c or \a r
1175
+ * are out of range.
1176
+ */
1177
+ value_type& operator()(unsigned int c, unsigned int r);
1178
+
1179
+ /** \brief Access slice of the matrix
1180
+ *
1181
+ * This function allows accessing a slice of the matrix, located at
1182
+ * columns \f$[fc,tc)\f$ and rows \f$[fr,tr)\f$. The result of this
1183
+ * function is an object that can be converted into either a
1184
+ * Matrix<args_type> or into args_type.
1185
+ *
1186
+ * For further information, see Slice.
1187
+ */
1188
+ Slice slice(unsigned int fc, unsigned int tc,
1189
+ unsigned int fr, unsigned int tr);
1190
+
1191
+ /// Access row \a r.
1192
+ Slice row(int r);
1193
+
1194
+ /// Access column \a c.
1195
+ Slice col(int c);
1196
+ };
1197
+ }}
1198
+ //@}
1199
+
1200
+ #include "gecode/minimodel/matrix.icc"
1201
+
1202
+ #endif
1203
+
1204
+ // IFDEF: GECODE_HAS_INT_VARS
1205
+ // STATISTICS: minimodel-any
1206
+