ConstraintSolver 0.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (155) hide show
  1. data/bin/ConstraintSolver +24 -0
  2. data/doc/classes/Array.html +209 -0
  3. data/doc/classes/ConstraintSolver.html +242 -0
  4. data/doc/classes/ConstraintSolver/AbstractConstraint.html +317 -0
  5. data/doc/classes/ConstraintSolver/AllDifferentConstraint.html +451 -0
  6. data/doc/classes/ConstraintSolver/AllDifferentConstraintTest.html +397 -0
  7. data/doc/classes/ConstraintSolver/BinaryConstraint.html +483 -0
  8. data/doc/classes/ConstraintSolver/BinaryConstraintTest.html +367 -0
  9. data/doc/classes/ConstraintSolver/BinaryRelation.html +276 -0
  10. data/doc/classes/ConstraintSolver/BinaryRelationTest.html +194 -0
  11. data/doc/classes/ConstraintSolver/ConstraintList.html +208 -0
  12. data/doc/classes/ConstraintSolver/ConstraintListTest.html +252 -0
  13. data/doc/classes/ConstraintSolver/ConstraintSolver.html +353 -0
  14. data/doc/classes/ConstraintSolver/ConstraintSolverTest.html +403 -0
  15. data/doc/classes/ConstraintSolver/Domain.html +522 -0
  16. data/doc/classes/ConstraintSolver/DomainTest.html +356 -0
  17. data/doc/classes/ConstraintSolver/DomainWipeoutException.html +158 -0
  18. data/doc/classes/ConstraintSolver/Problem.html +239 -0
  19. data/doc/classes/ConstraintSolver/ProblemTest.html +227 -0
  20. data/doc/classes/ConstraintSolver/Solution.html +342 -0
  21. data/doc/classes/ConstraintSolver/SolutionTest.html +250 -0
  22. data/doc/classes/ConstraintSolver/UndoStackEmptyException.html +158 -0
  23. data/doc/classes/ConstraintSolver/Variable.html +418 -0
  24. data/doc/classes/ConstraintSolver/VariableTest.html +284 -0
  25. data/doc/classes/ExtensionsTest.html +233 -0
  26. data/doc/classes/Fixnum.html +153 -0
  27. data/doc/created.rid +1 -0
  28. data/doc/dot/f_0.dot +38 -0
  29. data/doc/dot/f_0.png +0 -0
  30. data/doc/dot/f_1.dot +392 -0
  31. data/doc/dot/f_1.png +0 -0
  32. data/doc/dot/f_10.dot +392 -0
  33. data/doc/dot/f_10.png +0 -0
  34. data/doc/dot/f_11.dot +38 -0
  35. data/doc/dot/f_11.png +0 -0
  36. data/doc/dot/f_12.dot +392 -0
  37. data/doc/dot/f_12.png +0 -0
  38. data/doc/dot/f_13.dot +392 -0
  39. data/doc/dot/f_13.png +0 -0
  40. data/doc/dot/f_14.dot +392 -0
  41. data/doc/dot/f_14.png +0 -0
  42. data/doc/dot/f_15.dot +392 -0
  43. data/doc/dot/f_15.png +0 -0
  44. data/doc/dot/f_16.dot +392 -0
  45. data/doc/dot/f_16.png +0 -0
  46. data/doc/dot/f_17.dot +392 -0
  47. data/doc/dot/f_17.png +0 -0
  48. data/doc/dot/f_18.dot +392 -0
  49. data/doc/dot/f_18.png +0 -0
  50. data/doc/dot/f_19.dot +392 -0
  51. data/doc/dot/f_19.png +0 -0
  52. data/doc/dot/f_2.dot +392 -0
  53. data/doc/dot/f_2.png +0 -0
  54. data/doc/dot/f_3.dot +392 -0
  55. data/doc/dot/f_3.png +0 -0
  56. data/doc/dot/f_4.dot +392 -0
  57. data/doc/dot/f_4.png +0 -0
  58. data/doc/dot/f_5.dot +392 -0
  59. data/doc/dot/f_5.png +0 -0
  60. data/doc/dot/f_6.dot +14 -0
  61. data/doc/dot/f_6.png +0 -0
  62. data/doc/dot/f_7.dot +392 -0
  63. data/doc/dot/f_7.png +0 -0
  64. data/doc/dot/f_8.dot +392 -0
  65. data/doc/dot/f_8.png +0 -0
  66. data/doc/dot/f_9.dot +392 -0
  67. data/doc/dot/f_9.png +0 -0
  68. data/doc/dot/m_10_0.dot +392 -0
  69. data/doc/dot/m_10_0.png +0 -0
  70. data/doc/dot/m_12_0.dot +392 -0
  71. data/doc/dot/m_12_0.png +0 -0
  72. data/doc/dot/m_13_0.dot +392 -0
  73. data/doc/dot/m_13_0.png +0 -0
  74. data/doc/dot/m_14_0.dot +392 -0
  75. data/doc/dot/m_14_0.png +0 -0
  76. data/doc/dot/m_15_0.dot +392 -0
  77. data/doc/dot/m_15_0.png +0 -0
  78. data/doc/dot/m_16_0.dot +392 -0
  79. data/doc/dot/m_16_0.png +0 -0
  80. data/doc/dot/m_17_0.dot +392 -0
  81. data/doc/dot/m_17_0.png +0 -0
  82. data/doc/dot/m_18_0.dot +392 -0
  83. data/doc/dot/m_18_0.png +0 -0
  84. data/doc/dot/m_19_0.dot +392 -0
  85. data/doc/dot/m_19_0.png +0 -0
  86. data/doc/dot/m_1_0.dot +392 -0
  87. data/doc/dot/m_1_0.png +0 -0
  88. data/doc/dot/m_2_0.dot +392 -0
  89. data/doc/dot/m_2_0.png +0 -0
  90. data/doc/dot/m_3_0.dot +392 -0
  91. data/doc/dot/m_3_0.png +0 -0
  92. data/doc/dot/m_4_0.dot +392 -0
  93. data/doc/dot/m_4_0.png +0 -0
  94. data/doc/dot/m_5_0.dot +392 -0
  95. data/doc/dot/m_5_0.png +0 -0
  96. data/doc/dot/m_7_0.dot +392 -0
  97. data/doc/dot/m_7_0.png +0 -0
  98. data/doc/dot/m_8_0.dot +392 -0
  99. data/doc/dot/m_8_0.png +0 -0
  100. data/doc/dot/m_9_0.dot +392 -0
  101. data/doc/dot/m_9_0.png +0 -0
  102. data/doc/files/lib/AbstractConstraint_rb.html +148 -0
  103. data/doc/files/lib/AllDifferentConstraint_rb.html +156 -0
  104. data/doc/files/lib/BinaryConstraint_rb.html +155 -0
  105. data/doc/files/lib/ConstraintList_rb.html +148 -0
  106. data/doc/files/lib/ConstraintSolver_rb.html +162 -0
  107. data/doc/files/lib/Domain_rb.html +155 -0
  108. data/doc/files/lib/Problem_rb.html +148 -0
  109. data/doc/files/lib/Solution_rb.html +148 -0
  110. data/doc/files/lib/Variable_rb.html +148 -0
  111. data/doc/files/lib/extensions_rb.html +108 -0
  112. data/doc/files/test/AllDifferentConstraintTest_rb.html +158 -0
  113. data/doc/files/test/BinaryConstraintTest_rb.html +158 -0
  114. data/doc/files/test/ConstraintListTest_rb.html +160 -0
  115. data/doc/files/test/ConstraintSolverTest_rb.html +164 -0
  116. data/doc/files/test/DomainTest_rb.html +156 -0
  117. data/doc/files/test/ProblemTest_rb.html +160 -0
  118. data/doc/files/test/SolutionTest_rb.html +159 -0
  119. data/doc/files/test/TestSuite_rb.html +113 -0
  120. data/doc/files/test/VariableTest_rb.html +157 -0
  121. data/doc/files/test/extensionsTest_rb.html +118 -0
  122. data/doc/fr_class_index.html +51 -0
  123. data/doc/fr_file_index.html +46 -0
  124. data/doc/fr_method_index.html +133 -0
  125. data/doc/index.html +24 -0
  126. data/examples/example.rb +7 -0
  127. data/examples/queens.rb +13 -0
  128. data/examples/soft.rb +14 -0
  129. data/lib/AbstractConstraint.rb +45 -0
  130. data/lib/AllDifferentConstraint.rb +160 -0
  131. data/lib/BinaryConstraint.rb +187 -0
  132. data/lib/ConstraintList.rb +31 -0
  133. data/lib/ConstraintSolver.rb +213 -0
  134. data/lib/Domain.rb +100 -0
  135. data/lib/GraphUtils.rb +293 -0
  136. data/lib/OneOfEqualsConstraint.rb +81 -0
  137. data/lib/Problem.rb +30 -0
  138. data/lib/Solution.rb +56 -0
  139. data/lib/TupleConstraint.rb +111 -0
  140. data/lib/Variable.rb +74 -0
  141. data/lib/extensions.rb +55 -0
  142. data/test/AllDifferentConstraintTest.rb +140 -0
  143. data/test/BinaryConstraintTest.rb +108 -0
  144. data/test/ConstraintListTest.rb +41 -0
  145. data/test/ConstraintSolverTest.rb +274 -0
  146. data/test/DomainTest.rb +83 -0
  147. data/test/GraphUtilsTest.rb +83 -0
  148. data/test/OneOfEqualsConstraintTest.rb +82 -0
  149. data/test/ProblemTest.rb +35 -0
  150. data/test/SolutionTest.rb +35 -0
  151. data/test/TestSuite.rb +10 -0
  152. data/test/TupleConstraintTest.rb +151 -0
  153. data/test/VariableTest.rb +47 -0
  154. data/test/extensionsTest.rb +57 -0
  155. metadata +212 -0
data/doc/classes/ConstraintSolver/ConstraintSolver.html ADDED
@@ -0,0 +1,353 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
7
+ <head>
8
+ <title>Class: ConstraintSolver::ConstraintSolver</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <meta http-equiv="Content-Script-Type" content="text/javascript" />
11
+ <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
12
+ <script type="text/javascript">
13
+ // <![CDATA[
14
+
15
+ function popupCode( url ) {
16
+ window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
17
+ }
18
+
19
+ function toggleCode( id ) {
20
+ if ( document.getElementById )
21
+ elem = document.getElementById( id );
22
+ else if ( document.all )
23
+ elem = eval( "document.all." + id );
24
+ else
25
+ return false;
26
+
27
+ elemStyle = elem.style;
28
+
29
+ if ( elemStyle.display != "block" ) {
30
+ elemStyle.display = "block"
31
+ } else {
32
+ elemStyle.display = "none"
33
+ }
34
+
35
+ return true;
36
+ }
37
+
38
+ // Make codeblocks hidden by default
39
+ document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
40
+
41
+ // ]]>
42
+ </script>
43
+
44
+ </head>
45
+ <body>
46
+
47
+
48
+
49
+ <div id="classHeader">
50
+ <table class="header-table">
51
+ <tr class="top-aligned-row">
52
+ <td><strong>Class</strong></td>
53
+ <td class="class-name-in-header">ConstraintSolver::ConstraintSolver</td>
54
+ </tr>
55
+ <tr class="top-aligned-row">
56
+ <td><strong>In:</strong></td>
57
+ <td>
58
+ <a href="../../files/lib/ConstraintSolver_rb.html">
59
+ lib/ConstraintSolver.rb
60
+ </a>
61
+ <br />
62
+ </td>
63
+ </tr>
64
+
65
+ <tr class="top-aligned-row">
66
+ <td><strong>Parent:</strong></td>
67
+ <td>
68
+ Object
69
+ </td>
70
+ </tr>
71
+ </table>
72
+ </div>
73
+ <!-- banner header -->
74
+
75
+ <div id="bodyContent">
76
+
77
+
78
+
79
+ <div id="contextContent">
80
+ <div id="diagram">
81
+ <map id="map" name="map">
82
+ <area shape="rect" coords="1537,5,1665,53" href="../Test/Unit/TestCase.html" alt="Test::Unit::TestCase" />
83
+ <area shape="rect" coords="937,133,1089,181" href="AllDifferentConstraintTest.html" alt="AllDifferentConstraintTest" />
84
+ <area shape="rect" coords="2305,133,2396,181" href="SolutionTest.html" alt="SolutionTest" />
85
+ <area shape="rect" coords="204,133,335,181" href="ConstraintSolverTest.html" alt="ConstraintSolverTest" />
86
+ <area shape="rect" coords="1923,133,2040,181" href="ConstraintListTest.html" alt="ConstraintListTest" />
87
+ <area shape="rect" coords="1123,133,1213,181" href="VariableTest.html" alt="VariableTest" />
88
+ <area shape="rect" coords="2429,133,2517,181" href="DomainTest.html" alt="DomainTest" />
89
+ <area shape="rect" coords="1387,133,1517,181" href="BinaryConstraintTest.html" alt="BinaryConstraintTest" />
90
+ <area shape="rect" coords="1797,133,1888,181" href="ProblemTest.html" alt="ProblemTest" />
91
+ <area shape="rect" coords="1541,133,1661,181" href="BinaryRelationTest.html" alt="BinaryRelationTest" />
92
+ <area shape="rect" coords="589,5,667,53" href="../Exception.html" alt="Exception" />
93
+ <area shape="rect" coords="463,133,615,181" href="DomainWipeoutException.html" alt="DomainWipeoutException" />
94
+ <area shape="rect" coords="639,133,799,181" href="UndoStackEmptyException.html" alt="UndoStackEmptyException" />
95
+ <area shape="rect" coords="53,133,171,181" href="AbstractConstraint.html" alt="AbstractConstraint" />
96
+ <area shape="rect" coords="160,237,269,285" href="BinaryConstraint.html" alt="BinaryConstraint" />
97
+ <area shape="rect" coords="301,237,432,285" href="AllDifferentConstraint.html" alt="AllDifferentConstraint" />
98
+ <area shape="rect" coords="2085,5,2157,53" href="../Array.html" alt="Array" />
99
+ <area shape="rect" coords="2073,133,2169,181" href="ConstraintList.html" alt="ConstraintList" />
100
+ <area shape="rect" coords="37,237,136,285" href="BinaryRelation.html" alt="BinaryRelation" />
101
+ <area shape="rect" coords="2201,133,2273,181" href="Variable.html" alt="Variable" />
102
+ <area shape="rect" coords="1693,133,1765,181" href="Solution.html" alt="Solution" />
103
+ <area shape="rect" coords="1245,133,1355,181" href="ConstraintSolver.html" alt="ConstraintSolver" />
104
+ <area shape="rect" coords="831,133,903,181" href="Problem.html" alt="Problem" />
105
+ <area shape="rect" coords="367,133,439,181" href="Domain.html" alt="Domain" />
106
+ <area shape="rect" coords="2419,99,2531,192" href="../ConstraintSolver.html" alt="test/DomainTest.rb" />
107
+ <area shape="rect" coords="2295,99,2408,192" href="../ConstraintSolver.html" alt="test/SolutionTest.rb" />
108
+ <area shape="rect" coords="27,203,280,296" href="../ConstraintSolver.html" alt="lib/BinaryConstraint.rb" />
109
+ <area shape="rect" coords="2191,99,2284,192" href="../ConstraintSolver.html" alt="lib/Variable.rb" />
110
+ <area shape="rect" coords="1912,99,2052,192" href="../ConstraintSolver.html" alt="test/ConstraintListTest.rb" />
111
+ <area shape="rect" coords="2063,99,2180,192" href="../ConstraintSolver.html" alt="lib/ConstraintList.rb" />
112
+ <area shape="rect" coords="1787,99,1901,192" href="../ConstraintSolver.html" alt="test/ProblemTest.rb" />
113
+ <area shape="rect" coords="1683,99,1776,192" href="../ConstraintSolver.html" alt="lib/Solution.rb" />
114
+ <area shape="rect" coords="1376,99,1672,192" href="../ConstraintSolver.html" alt="test/BinaryConstraintTest.rb" />
115
+ <area shape="rect" coords="1235,99,1365,192" href="../ConstraintSolver.html" alt="lib/ConstraintSolver.rb" />
116
+ <area shape="rect" coords="1111,99,1224,192" href="../ConstraintSolver.html" alt="test/VariableTest.rb" />
117
+ <area shape="rect" coords="924,99,1100,192" href="../ConstraintSolver.html" alt="test/AllDifferentConstraintTest.rb" />
118
+ <area shape="rect" coords="291,203,443,296" href="../ConstraintSolver.html" alt="lib/AllDifferentConstraint.rb" />
119
+ <area shape="rect" coords="820,99,913,192" href="../ConstraintSolver.html" alt="lib/Problem.rb" />
120
+ <area shape="rect" coords="192,99,345,192" href="../ConstraintSolver.html" alt="test/ConstraintSolverTest.rb" />
121
+ <area shape="rect" coords="356,99,809,192" href="../ConstraintSolver.html" alt="lib/Domain.rb" />
122
+ <area shape="rect" coords="43,99,181,192" href="../ConstraintSolver.html" alt="lib/AbstractConstraint.rb" />
123
+ <area shape="rect" coords="16,64,2541,307" href="../ConstraintSolver.html" alt="ConstraintSolver" />
124
+ </map>
125
+ <img src="../../dot/m_19_0.png" usemap="#map" border="0" alt="dot/m_19_0.png">
126
+ </div>
127
+
128
+
129
+
130
+ </div>
131
+
132
+ <div id="method-list">
133
+ <h3 class="section-bar">Methods</h3>
134
+
135
+ <div class="name-list">
136
+ <a href="#M000069">assignNextVariable</a>&nbsp;&nbsp;
137
+ <a href="#M000067">new</a>&nbsp;&nbsp;
138
+ <a href="#M000070">reviseConstraints</a>&nbsp;&nbsp;
139
+ <a href="#M000068">solve</a>&nbsp;&nbsp;
140
+ </div>
141
+ </div>
142
+
143
+ </div>
144
+
145
+
146
+ <!-- if includes -->
147
+
148
+ <div id="section">
149
+
150
+
151
+
152
+
153
+
154
+ <div id="attribute-list">
155
+ <h3 class="section-bar">Attributes</h3>
156
+
157
+ <div class="name-list">
158
+ <table>
159
+ <tr class="top-aligned-row context-row">
160
+ <td class="context-item-name">log</td>
161
+ <td class="context-item-value">&nbsp;[R]&nbsp;</td>
162
+ <td class="context-item-desc"></td>
163
+ </tr>
164
+ </table>
165
+ </div>
166
+ </div>
167
+
168
+
169
+
170
+ <!-- if method_list -->
171
+ <div id="methods">
172
+ <h3 class="section-bar">Public Class methods</h3>
173
+
174
+ <div id="method-M000067" class="method-detail">
175
+ <a name="M000067"></a>
176
+
177
+ <div class="method-heading">
178
+ <a href="#M000067" class="method-signature">
179
+ <span class="method-name">new</span><span class="method-args">()</span>
180
+ </a>
181
+ </div>
182
+
183
+ <div class="method-description">
184
+ <p>
185
+ Initialises a <a href="ConstraintSolver.html#M000067">new</a> solver.
186
+ </p>
187
+ <p><a class="source-toggle" href="#"
188
+ onclick="toggleCode('M000067-source');return false;">[Source]</a></p>
189
+ <div class="method-source-code" id="M000067-source">
190
+ <pre>
191
+ <span class="ruby-comment cmt"># File lib/ConstraintSolver.rb, line 14</span>
192
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>
193
+ <span class="ruby-ivar">@log</span> = <span class="ruby-constant">Logger</span>.<span class="ruby-identifier">new</span>(<span class="ruby-keyword kw">self</span>.<span class="ruby-identifier">class</span>.<span class="ruby-identifier">to_s</span>)
194
+ <span class="ruby-keyword kw">end</span>
195
+ </pre>
196
+ </div>
197
+ </div>
198
+ </div>
199
+
200
+ <h3 class="section-bar">Public Instance methods</h3>
201
+
202
+ <div id="method-M000068" class="method-detail">
203
+ <a name="M000068"></a>
204
+
205
+ <div class="method-heading">
206
+ <a href="#M000068" class="method-signature">
207
+ <span class="method-name">solve</span><span class="method-args">(problem)</span>
208
+ </a>
209
+ </div>
210
+
211
+ <div class="method-description">
212
+ <p>
213
+ Attempts to <a href="ConstraintSolver.html#M000068">solve</a> the
214
+ constraint satisfaction problem and returns a list of all solutions. If
215
+ there are no solutions, an empty list is returned. Requires the problem to
216
+ <a href="ConstraintSolver.html#M000068">solve</a> as an argument.
217
+ </p>
218
+ <p><a class="source-toggle" href="#"
219
+ onclick="toggleCode('M000068-source');return false;">[Source]</a></p>
220
+ <div class="method-source-code" id="M000068-source">
221
+ <pre>
222
+ <span class="ruby-comment cmt"># File lib/ConstraintSolver.rb, line 21</span>
223
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">solve</span>(<span class="ruby-identifier">problem</span>)
224
+ <span class="ruby-ivar">@problem</span> = <span class="ruby-identifier">problem</span>
225
+ <span class="ruby-ivar">@constraintChecks</span> = <span class="ruby-value">0</span>
226
+ <span class="ruby-ivar">@nodeChecks</span> = <span class="ruby-value">0</span>
227
+ <span class="ruby-ivar">@solutions</span> = <span class="ruby-constant">Array</span>.<span class="ruby-identifier">new</span>
228
+ <span class="ruby-identifier">assignNextVariable</span>(<span class="ruby-ivar">@problem</span>.<span class="ruby-identifier">variables</span>.<span class="ruby-identifier">sort</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">a</span>,<span class="ruby-identifier">b</span><span class="ruby-operator">|</span> <span class="ruby-identifier">b</span>.<span class="ruby-identifier">merit</span> <span class="ruby-operator">&lt;=&gt;</span> <span class="ruby-identifier">a</span>.<span class="ruby-identifier">merit</span> })
229
+ <span class="ruby-keyword kw">return</span> <span class="ruby-ivar">@solutions</span>, <span class="ruby-ivar">@nodeChecks</span>, <span class="ruby-ivar">@constraintChecks</span>
230
+ <span class="ruby-keyword kw">end</span>
231
+ </pre>
232
+ </div>
233
+ </div>
234
+ </div>
235
+
236
+ <h3 class="section-bar">Private Instance methods</h3>
237
+
238
+ <div id="method-M000069" class="method-detail">
239
+ <a name="M000069"></a>
240
+
241
+ <div class="method-heading">
242
+ <a href="#M000069" class="method-signature">
243
+ <span class="method-name">assignNextVariable</span><span class="method-args">(variables)</span>
244
+ </a>
245
+ </div>
246
+
247
+ <div class="method-description">
248
+ <p>
249
+ Attempts to assign a value that is consistent with all constraints to the
250
+ next variable. Returns true iff a solution to the constraint satisfaction
251
+ problem was found; i.e. before the call there was only one unassigned
252
+ variable and a value that is consistent with all constraints was found in
253
+ its domain. This method calls itself recursively if not all variables have
254
+ values assigned to them.
255
+ </p>
256
+ <p><a class="source-toggle" href="#"
257
+ onclick="toggleCode('M000069-source');return false;">[Source]</a></p>
258
+ <div class="method-source-code" id="M000069-source">
259
+ <pre>
260
+ <span class="ruby-comment cmt"># File lib/ConstraintSolver.rb, line 38</span>
261
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">assignNextVariable</span>(<span class="ruby-identifier">variables</span>)
262
+ <span class="ruby-identifier">retval</span> = <span class="ruby-keyword kw">false</span>
263
+ <span class="ruby-identifier">unassigned</span> = <span class="ruby-identifier">variables</span>.<span class="ruby-identifier">first</span>
264
+ <span class="ruby-identifier">values</span> = <span class="ruby-identifier">unassigned</span>.<span class="ruby-identifier">domain</span>.<span class="ruby-identifier">sort</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">a</span>,<span class="ruby-identifier">b</span><span class="ruby-operator">|</span>
265
+ (<span class="ruby-ivar">@problem</span>.<span class="ruby-identifier">meritMap</span>.<span class="ruby-identifier">has_key?</span>(<span class="ruby-identifier">b</span>) <span class="ruby-operator">?</span> <span class="ruby-ivar">@problem</span>.<span class="ruby-identifier">meritMap</span>[<span class="ruby-identifier">b</span>] <span class="ruby-operator">:</span> <span class="ruby-value">0</span>) <span class="ruby-operator">&lt;=&gt;</span>
266
+ (<span class="ruby-ivar">@problem</span>.<span class="ruby-identifier">meritMap</span>.<span class="ruby-identifier">has_key?</span>(<span class="ruby-identifier">a</span>) <span class="ruby-operator">?</span> <span class="ruby-ivar">@problem</span>.<span class="ruby-identifier">meritMap</span>[<span class="ruby-identifier">a</span>] <span class="ruby-operator">:</span> <span class="ruby-value">0</span>)
267
+ }
268
+ <span class="ruby-identifier">values</span>.<span class="ruby-identifier">each</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">value</span><span class="ruby-operator">|</span>
269
+ <span class="ruby-identifier">unassigned</span>.<span class="ruby-identifier">value</span> = <span class="ruby-identifier">value</span>
270
+ <span class="ruby-ivar">@nodeChecks</span> <span class="ruby-operator">+=</span> <span class="ruby-value">1</span>
271
+ <span class="ruby-ivar">@log</span>.<span class="ruby-identifier">debug</span>(<span class="ruby-value str">&quot;Checking node &quot;</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">unassigned</span>.<span class="ruby-identifier">to_s</span>)
272
+ <span class="ruby-identifier">revisedDomains</span>, <span class="ruby-identifier">wipeout</span> = <span class="ruby-identifier">reviseConstraints</span>(<span class="ruby-identifier">unassigned</span>)
273
+ <span class="ruby-keyword kw">if</span> <span class="ruby-keyword kw">not</span> <span class="ruby-identifier">wipeout</span> <span class="ruby-comment cmt"># if a domain was wiped out we can skip the rest of the subtree</span>
274
+ <span class="ruby-keyword kw">if</span> <span class="ruby-identifier">variables</span>.<span class="ruby-identifier">size</span> <span class="ruby-operator">==</span> <span class="ruby-value">1</span>
275
+ <span class="ruby-identifier">solution</span> = <span class="ruby-constant">Solution</span>.<span class="ruby-identifier">new</span>(<span class="ruby-ivar">@problem</span>.<span class="ruby-identifier">variables</span>, <span class="ruby-ivar">@problem</span>.<span class="ruby-identifier">meritMap</span>)
276
+ <span class="ruby-ivar">@log</span>.<span class="ruby-identifier">info</span>(<span class="ruby-value str">&quot;Found solution &quot;</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">solution</span>.<span class="ruby-identifier">to_s</span>)
277
+ <span class="ruby-ivar">@solutions</span> <span class="ruby-operator">&lt;&lt;</span> <span class="ruby-identifier">solution</span>
278
+ <span class="ruby-identifier">retval</span> = <span class="ruby-keyword kw">true</span>
279
+ <span class="ruby-keyword kw">else</span>
280
+ <span class="ruby-identifier">retval</span> = <span class="ruby-identifier">assignNextVariable</span>(<span class="ruby-identifier">variables</span>.<span class="ruby-identifier">rest</span>)
281
+ <span class="ruby-keyword kw">end</span>
282
+ <span class="ruby-keyword kw">end</span>
283
+ <span class="ruby-identifier">revisedDomains</span>.<span class="ruby-identifier">each</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">domain</span><span class="ruby-operator">|</span> <span class="ruby-identifier">domain</span>.<span class="ruby-identifier">undoPruning</span> }
284
+ <span class="ruby-comment cmt">#break if retval</span>
285
+ }
286
+ <span class="ruby-identifier">unassigned</span>.<span class="ruby-identifier">reset</span>
287
+ <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">retval</span>
288
+ <span class="ruby-keyword kw">end</span>
289
+ </pre>
290
+ </div>
291
+ </div>
292
+ </div>
293
+
294
+ <div id="method-M000070" class="method-detail">
295
+ <a name="M000070"></a>
296
+
297
+ <div class="method-heading">
298
+ <a href="#M000070" class="method-signature">
299
+ <span class="method-name">reviseConstraints</span><span class="method-args">(variable)</span>
300
+ </a>
301
+ </div>
302
+
303
+ <div class="method-description">
304
+ <p>
305
+ Revises all constraints that involve variable. Returns the list of domains
306
+ that have been revised and a boolean indicating whether a domain was wiped
307
+ out during pruning.
308
+ </p>
309
+ <p><a class="source-toggle" href="#"
310
+ onclick="toggleCode('M000070-source');return false;">[Source]</a></p>
311
+ <div class="method-source-code" id="M000070-source">
312
+ <pre>
313
+ <span class="ruby-comment cmt"># File lib/ConstraintSolver.rb, line 70</span>
314
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">reviseConstraints</span>(<span class="ruby-identifier">variable</span>)
315
+ <span class="ruby-identifier">revisedDomains</span> = <span class="ruby-constant">Array</span>.<span class="ruby-identifier">new</span>
316
+ <span class="ruby-identifier">wipeout</span> = <span class="ruby-keyword kw">false</span>
317
+ <span class="ruby-identifier">queue</span> = <span class="ruby-ivar">@problem</span>.<span class="ruby-identifier">constraints</span>.<span class="ruby-identifier">notAllAssignedWithVariable</span>(<span class="ruby-identifier">variable</span>)
318
+ <span class="ruby-keyword kw">begin</span>
319
+ <span class="ruby-keyword kw">while</span> <span class="ruby-keyword kw">not</span> <span class="ruby-identifier">queue</span>.<span class="ruby-identifier">empty?</span>
320
+ <span class="ruby-identifier">revisedConstraint</span> = <span class="ruby-identifier">queue</span>.<span class="ruby-identifier">shift</span>
321
+ <span class="ruby-ivar">@log</span>.<span class="ruby-identifier">debug</span>(<span class="ruby-value str">&quot;Revising constraint &quot;</span> <span class="ruby-operator">+</span> <span class="ruby-identifier">revisedConstraint</span>.<span class="ruby-identifier">to_s</span>)
322
+ <span class="ruby-identifier">revisedVariables</span>, <span class="ruby-identifier">checks</span> = <span class="ruby-identifier">revisedConstraint</span>.<span class="ruby-identifier">revise</span>
323
+ <span class="ruby-ivar">@constraintChecks</span> <span class="ruby-operator">+=</span> <span class="ruby-identifier">checks</span>
324
+ <span class="ruby-identifier">revisedVariables</span>.<span class="ruby-identifier">each</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">variable</span><span class="ruby-operator">|</span>
325
+ <span class="ruby-identifier">revisedDomains</span> <span class="ruby-operator">&lt;&lt;</span> <span class="ruby-identifier">variable</span>.<span class="ruby-identifier">domain</span>
326
+ <span class="ruby-ivar">@problem</span>.<span class="ruby-identifier">constraints</span>.<span class="ruby-identifier">notAllAssignedWithVariable</span>(<span class="ruby-identifier">variable</span>).<span class="ruby-identifier">each</span> { <span class="ruby-operator">|</span><span class="ruby-identifier">constraint</span><span class="ruby-operator">|</span>
327
+ <span class="ruby-identifier">queue</span> <span class="ruby-operator">&lt;&lt;</span> <span class="ruby-identifier">constraint</span> <span class="ruby-keyword kw">unless</span> <span class="ruby-identifier">queue</span>.<span class="ruby-identifier">include?</span>(<span class="ruby-identifier">constraint</span>) <span class="ruby-keyword kw">or</span> <span class="ruby-identifier">constraint</span> <span class="ruby-operator">==</span> <span class="ruby-identifier">revisedConstraint</span>
328
+ }
329
+ }
330
+ <span class="ruby-keyword kw">end</span>
331
+ <span class="ruby-keyword kw">rescue</span> <span class="ruby-constant">DomainWipeoutException</span>
332
+ <span class="ruby-identifier">wipeout</span> = <span class="ruby-keyword kw">true</span>
333
+ <span class="ruby-keyword kw">end</span>
334
+ <span class="ruby-keyword kw">return</span> <span class="ruby-identifier">revisedDomains</span>, <span class="ruby-identifier">wipeout</span>
335
+ <span class="ruby-keyword kw">end</span>
336
+ </pre>
337
+ </div>
338
+ </div>
339
+ </div>
340
+
341
+
342
+ </div>
343
+
344
+
345
+ </div>
346
+
347
+
348
+ <div id="validator-badges">
349
+ <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
350
+ </div>
351
+
352
+ </body>
353
+ </html>
data/doc/classes/ConstraintSolver/ConstraintSolverTest.html ADDED
@@ -0,0 +1,403 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
7
+ <head>
8
+ <title>Class: ConstraintSolver::ConstraintSolverTest</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <meta http-equiv="Content-Script-Type" content="text/javascript" />
11
+ <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
12
+ <script type="text/javascript">
13
+ // <![CDATA[
14
+
15
+ function popupCode( url ) {
16
+ window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
17
+ }
18
+
19
+ function toggleCode( id ) {
20
+ if ( document.getElementById )
21
+ elem = document.getElementById( id );
22
+ else if ( document.all )
23
+ elem = eval( "document.all." + id );
24
+ else
25
+ return false;
26
+
27
+ elemStyle = elem.style;
28
+
29
+ if ( elemStyle.display != "block" ) {
30
+ elemStyle.display = "block"
31
+ } else {
32
+ elemStyle.display = "none"
33
+ }
34
+
35
+ return true;
36
+ }
37
+
38
+ // Make codeblocks hidden by default
39
+ document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
40
+
41
+ // ]]>
42
+ </script>
43
+
44
+ </head>
45
+ <body>
46
+
47
+
48
+
49
+ <div id="classHeader">
50
+ <table class="header-table">
51
+ <tr class="top-aligned-row">
52
+ <td><strong>Class</strong></td>
53
+ <td class="class-name-in-header">ConstraintSolver::ConstraintSolverTest</td>
54
+ </tr>
55
+ <tr class="top-aligned-row">
56
+ <td><strong>In:</strong></td>
57
+ <td>
58
+ <a href="../../files/test/ConstraintSolverTest_rb.html">
59
+ test/ConstraintSolverTest.rb
60
+ </a>
61
+ <br />
62
+ </td>
63
+ </tr>
64
+
65
+ <tr class="top-aligned-row">
66
+ <td><strong>Parent:</strong></td>
67
+ <td>
68
+ Test::Unit::TestCase
69
+ </td>
70
+ </tr>
71
+ </table>
72
+ </div>
73
+ <!-- banner header -->
74
+
75
+ <div id="bodyContent">
76
+
77
+
78
+
79
+ <div id="contextContent">
80
+ <div id="diagram">
81
+ <map id="map" name="map">
82
+ <area shape="rect" coords="1537,5,1665,53" href="../Test/Unit/TestCase.html" alt="Test::Unit::TestCase" />
83
+ <area shape="rect" coords="937,133,1089,181" href="AllDifferentConstraintTest.html" alt="AllDifferentConstraintTest" />
84
+ <area shape="rect" coords="2305,133,2396,181" href="SolutionTest.html" alt="SolutionTest" />
85
+ <area shape="rect" coords="204,133,335,181" href="ConstraintSolverTest.html" alt="ConstraintSolverTest" />
86
+ <area shape="rect" coords="1923,133,2040,181" href="ConstraintListTest.html" alt="ConstraintListTest" />
87
+ <area shape="rect" coords="1123,133,1213,181" href="VariableTest.html" alt="VariableTest" />
88
+ <area shape="rect" coords="2429,133,2517,181" href="DomainTest.html" alt="DomainTest" />
89
+ <area shape="rect" coords="1387,133,1517,181" href="BinaryConstraintTest.html" alt="BinaryConstraintTest" />
90
+ <area shape="rect" coords="1797,133,1888,181" href="ProblemTest.html" alt="ProblemTest" />
91
+ <area shape="rect" coords="1541,133,1661,181" href="BinaryRelationTest.html" alt="BinaryRelationTest" />
92
+ <area shape="rect" coords="589,5,667,53" href="../Exception.html" alt="Exception" />
93
+ <area shape="rect" coords="463,133,615,181" href="DomainWipeoutException.html" alt="DomainWipeoutException" />
94
+ <area shape="rect" coords="639,133,799,181" href="UndoStackEmptyException.html" alt="UndoStackEmptyException" />
95
+ <area shape="rect" coords="53,133,171,181" href="AbstractConstraint.html" alt="AbstractConstraint" />
96
+ <area shape="rect" coords="160,237,269,285" href="BinaryConstraint.html" alt="BinaryConstraint" />
97
+ <area shape="rect" coords="301,237,432,285" href="AllDifferentConstraint.html" alt="AllDifferentConstraint" />
98
+ <area shape="rect" coords="2085,5,2157,53" href="../Array.html" alt="Array" />
99
+ <area shape="rect" coords="2073,133,2169,181" href="ConstraintList.html" alt="ConstraintList" />
100
+ <area shape="rect" coords="37,237,136,285" href="BinaryRelation.html" alt="BinaryRelation" />
101
+ <area shape="rect" coords="2201,133,2273,181" href="Variable.html" alt="Variable" />
102
+ <area shape="rect" coords="1693,133,1765,181" href="Solution.html" alt="Solution" />
103
+ <area shape="rect" coords="1245,133,1355,181" href="ConstraintSolver.html" alt="ConstraintSolver" />
104
+ <area shape="rect" coords="831,133,903,181" href="Problem.html" alt="Problem" />
105
+ <area shape="rect" coords="367,133,439,181" href="Domain.html" alt="Domain" />
106
+ <area shape="rect" coords="2419,99,2531,192" href="../ConstraintSolver.html" alt="test/DomainTest.rb" />
107
+ <area shape="rect" coords="2295,99,2408,192" href="../ConstraintSolver.html" alt="test/SolutionTest.rb" />
108
+ <area shape="rect" coords="27,203,280,296" href="../ConstraintSolver.html" alt="lib/BinaryConstraint.rb" />
109
+ <area shape="rect" coords="2191,99,2284,192" href="../ConstraintSolver.html" alt="lib/Variable.rb" />
110
+ <area shape="rect" coords="1912,99,2052,192" href="../ConstraintSolver.html" alt="test/ConstraintListTest.rb" />
111
+ <area shape="rect" coords="2063,99,2180,192" href="../ConstraintSolver.html" alt="lib/ConstraintList.rb" />
112
+ <area shape="rect" coords="1787,99,1901,192" href="../ConstraintSolver.html" alt="test/ProblemTest.rb" />
113
+ <area shape="rect" coords="1683,99,1776,192" href="../ConstraintSolver.html" alt="lib/Solution.rb" />
114
+ <area shape="rect" coords="1376,99,1672,192" href="../ConstraintSolver.html" alt="test/BinaryConstraintTest.rb" />
115
+ <area shape="rect" coords="1235,99,1365,192" href="../ConstraintSolver.html" alt="lib/ConstraintSolver.rb" />
116
+ <area shape="rect" coords="1111,99,1224,192" href="../ConstraintSolver.html" alt="test/VariableTest.rb" />
117
+ <area shape="rect" coords="924,99,1100,192" href="../ConstraintSolver.html" alt="test/AllDifferentConstraintTest.rb" />
118
+ <area shape="rect" coords="291,203,443,296" href="../ConstraintSolver.html" alt="lib/AllDifferentConstraint.rb" />
119
+ <area shape="rect" coords="820,99,913,192" href="../ConstraintSolver.html" alt="lib/Problem.rb" />
120
+ <area shape="rect" coords="192,99,345,192" href="../ConstraintSolver.html" alt="test/ConstraintSolverTest.rb" />
121
+ <area shape="rect" coords="356,99,809,192" href="../ConstraintSolver.html" alt="lib/Domain.rb" />
122
+ <area shape="rect" coords="43,99,181,192" href="../ConstraintSolver.html" alt="lib/AbstractConstraint.rb" />
123
+ <area shape="rect" coords="16,64,2541,307" href="../ConstraintSolver.html" alt="ConstraintSolver" />
124
+ </map>
125
+ <img src="../../dot/m_19_0.png" usemap="#map" border="0" alt="dot/m_19_0.png">
126
+ </div>
127
+
128
+
129
+
130
+ </div>
131
+
132
+ <div id="method-list">
133
+ <h3 class="section-bar">Methods</h3>
134
+
135
+ <div class="name-list">
136
+ <a href="#M000029">setup</a>&nbsp;&nbsp;
137
+ <a href="#M000033">testAllDifferentProblem</a>&nbsp;&nbsp;
138
+ <a href="#M000034">testAllDifferentWithoutAllDifferent</a>&nbsp;&nbsp;
139
+ <a href="#M000030">testConstructor</a>&nbsp;&nbsp;
140
+ <a href="#M000031">testSolvableProblem</a>&nbsp;&nbsp;
141
+ <a href="#M000032">testUnsolvableProblem</a>&nbsp;&nbsp;
142
+ <a href="#M000035">testVariableAndValueOrdering</a>&nbsp;&nbsp;
143
+ </div>
144
+ </div>
145
+
146
+ </div>
147
+
148
+
149
+ <!-- if includes -->
150
+
151
+ <div id="section">
152
+
153
+
154
+
155
+
156
+
157
+
158
+
159
+
160
+ <!-- if method_list -->
161
+ <div id="methods">
162
+ <h3 class="section-bar">Public Instance methods</h3>
163
+
164
+ <div id="method-M000029" class="method-detail">
165
+ <a name="M000029"></a>
166
+
167
+ <div class="method-heading">
168
+ <a href="#M000029" class="method-signature">
169
+ <span class="method-name">setup</span><span class="method-args">()</span>
170
+ </a>
171
+ </div>
172
+
173
+ <div class="method-description">
174
+ <p><a class="source-toggle" href="#"
175
+ onclick="toggleCode('M000029-source');return false;">[Source]</a></p>
176
+ <div class="method-source-code" id="M000029-source">
177
+ <pre>
178
+ <span class="ruby-comment cmt"># File test/ConstraintSolverTest.rb, line 13</span>
179
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">setup</span>
180
+ <span class="ruby-identifier">domain</span> = <span class="ruby-constant">Domain</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-value">1</span>, <span class="ruby-value">2</span> ].<span class="ruby-identifier">to_set</span>)
181
+ <span class="ruby-ivar">@var1</span> = <span class="ruby-constant">Variable</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">&quot;x&quot;</span>, <span class="ruby-identifier">domain</span>, <span class="ruby-keyword kw">nil</span>, <span class="ruby-value">1</span>)
182
+ <span class="ruby-ivar">@var2</span> = <span class="ruby-constant">Variable</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">&quot;y&quot;</span>, <span class="ruby-identifier">domain</span>.<span class="ruby-identifier">clone</span>, <span class="ruby-keyword kw">nil</span>, <span class="ruby-value">2</span>)
183
+ <span class="ruby-ivar">@var3</span> = <span class="ruby-constant">Variable</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">&quot;z&quot;</span>, <span class="ruby-identifier">domain</span>.<span class="ruby-identifier">clone</span>, <span class="ruby-keyword kw">nil</span>, <span class="ruby-value">3</span>)
184
+ <span class="ruby-identifier">relation</span> = <span class="ruby-constant">BinaryRelation</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">&quot;!=&quot;</span>)
185
+ <span class="ruby-identifier">constraint1</span> = <span class="ruby-constant">BinaryConstraint</span>.<span class="ruby-identifier">new</span>(<span class="ruby-ivar">@var1</span>, <span class="ruby-ivar">@var2</span>, <span class="ruby-identifier">relation</span>)
186
+ <span class="ruby-identifier">constraint2</span> = <span class="ruby-constant">BinaryConstraint</span>.<span class="ruby-identifier">new</span>(<span class="ruby-ivar">@var1</span>, <span class="ruby-ivar">@var3</span>, <span class="ruby-identifier">relation</span>.<span class="ruby-identifier">clone</span>)
187
+ <span class="ruby-identifier">constraint3</span> = <span class="ruby-constant">BinaryConstraint</span>.<span class="ruby-identifier">new</span>(<span class="ruby-ivar">@var2</span>, <span class="ruby-ivar">@var3</span>, <span class="ruby-identifier">relation</span>.<span class="ruby-identifier">clone</span>)
188
+ <span class="ruby-ivar">@meritMap</span> = { <span class="ruby-value">1</span> =<span class="ruby-operator">&gt;</span> <span class="ruby-value">2</span>, <span class="ruby-value">2</span> =<span class="ruby-operator">&gt;</span> <span class="ruby-value">1</span> }
189
+ <span class="ruby-ivar">@solvableProblem</span> = <span class="ruby-constant">Problem</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-ivar">@var1</span>, <span class="ruby-ivar">@var2</span> ], <span class="ruby-constant">ConstraintList</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-identifier">constraint1</span> ]), <span class="ruby-ivar">@meritMap</span>)
190
+ <span class="ruby-ivar">@unsolvableProblem</span> = <span class="ruby-constant">Problem</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-ivar">@var1</span>, <span class="ruby-ivar">@var2</span>, <span class="ruby-ivar">@var3</span> ],
191
+ <span class="ruby-constant">ConstraintList</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-identifier">constraint1</span>, <span class="ruby-identifier">constraint2</span>, <span class="ruby-identifier">constraint3</span> ]))
192
+ <span class="ruby-ivar">@solver</span> = <span class="ruby-constant">ConstraintSolver</span>.<span class="ruby-identifier">new</span>
193
+ <span class="ruby-keyword kw">end</span>
194
+ </pre>
195
+ </div>
196
+ </div>
197
+ </div>
198
+
199
+ <div id="method-M000033" class="method-detail">
200
+ <a name="M000033"></a>
201
+
202
+ <div class="method-heading">
203
+ <a href="#M000033" class="method-signature">
204
+ <span class="method-name">testAllDifferentProblem</span><span class="method-args">()</span>
205
+ </a>
206
+ </div>
207
+
208
+ <div class="method-description">
209
+ <p><a class="source-toggle" href="#"
210
+ onclick="toggleCode('M000033-source');return false;">[Source]</a></p>
211
+ <div class="method-source-code" id="M000033-source">
212
+ <pre>
213
+ <span class="ruby-comment cmt"># File test/ConstraintSolverTest.rb, line 60</span>
214
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">testAllDifferentProblem</span>
215
+ <span class="ruby-identifier">domain</span> = <span class="ruby-constant">Domain</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-value">1</span>, <span class="ruby-value">2</span>, <span class="ruby-value">3</span> ].<span class="ruby-identifier">to_set</span>)
216
+ <span class="ruby-identifier">x</span> = <span class="ruby-constant">Variable</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">&quot;x&quot;</span>, <span class="ruby-identifier">domain</span>)
217
+ <span class="ruby-identifier">y</span> = <span class="ruby-constant">Variable</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">&quot;y&quot;</span>, <span class="ruby-identifier">domain</span>.<span class="ruby-identifier">clone</span>)
218
+ <span class="ruby-identifier">z</span> = <span class="ruby-constant">Variable</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">&quot;z&quot;</span>, <span class="ruby-identifier">domain</span>.<span class="ruby-identifier">clone</span>)
219
+ <span class="ruby-identifier">constraint</span> = <span class="ruby-constant">AllDifferentConstraint</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-identifier">x</span>, <span class="ruby-identifier">y</span>, <span class="ruby-identifier">z</span> ])
220
+ <span class="ruby-comment cmt">#@solver.log.outputters = Outputter.stderr</span>
221
+ <span class="ruby-identifier">solutions</span>, <span class="ruby-identifier">nodeChecks</span>, <span class="ruby-identifier">constraintChecks</span> = <span class="ruby-ivar">@solver</span>.<span class="ruby-identifier">solve</span>(<span class="ruby-constant">Problem</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-identifier">x</span>, <span class="ruby-identifier">y</span>, <span class="ruby-identifier">z</span> ], <span class="ruby-identifier">constraint</span>))
222
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">6</span>, <span class="ruby-identifier">solutions</span>.<span class="ruby-identifier">size</span>)
223
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">15</span>, <span class="ruby-identifier">nodeChecks</span>)
224
+ <span class="ruby-comment cmt">#assert_equal(27, constraintChecks)</span>
225
+ <span class="ruby-keyword kw">end</span>
226
+ </pre>
227
+ </div>
228
+ </div>
229
+ </div>
230
+
231
+ <div id="method-M000034" class="method-detail">
232
+ <a name="M000034"></a>
233
+
234
+ <div class="method-heading">
235
+ <a href="#M000034" class="method-signature">
236
+ <span class="method-name">testAllDifferentWithoutAllDifferent</span><span class="method-args">()</span>
237
+ </a>
238
+ </div>
239
+
240
+ <div class="method-description">
241
+ <p><a class="source-toggle" href="#"
242
+ onclick="toggleCode('M000034-source');return false;">[Source]</a></p>
243
+ <div class="method-source-code" id="M000034-source">
244
+ <pre>
245
+ <span class="ruby-comment cmt"># File test/ConstraintSolverTest.rb, line 73</span>
246
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">testAllDifferentWithoutAllDifferent</span>
247
+ <span class="ruby-identifier">domain</span> = <span class="ruby-constant">Domain</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-value">1</span>, <span class="ruby-value">2</span>, <span class="ruby-value">3</span> ].<span class="ruby-identifier">to_set</span>)
248
+ <span class="ruby-identifier">x</span> = <span class="ruby-constant">Variable</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">&quot;x&quot;</span>, <span class="ruby-identifier">domain</span>)
249
+ <span class="ruby-identifier">y</span> = <span class="ruby-constant">Variable</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">&quot;y&quot;</span>, <span class="ruby-identifier">domain</span>.<span class="ruby-identifier">clone</span>)
250
+ <span class="ruby-identifier">z</span> = <span class="ruby-constant">Variable</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">&quot;z&quot;</span>, <span class="ruby-identifier">domain</span>.<span class="ruby-identifier">clone</span>)
251
+ <span class="ruby-identifier">relation</span> = <span class="ruby-constant">BinaryRelation</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">&quot;!=&quot;</span>)
252
+ <span class="ruby-identifier">c1</span> = <span class="ruby-constant">BinaryConstraint</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">x</span>, <span class="ruby-identifier">y</span>, <span class="ruby-identifier">relation</span>)
253
+ <span class="ruby-identifier">c2</span> = <span class="ruby-constant">BinaryConstraint</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">x</span>, <span class="ruby-identifier">z</span>, <span class="ruby-identifier">relation</span>.<span class="ruby-identifier">clone</span>)
254
+ <span class="ruby-identifier">c3</span> = <span class="ruby-constant">BinaryConstraint</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">y</span>, <span class="ruby-identifier">z</span>, <span class="ruby-identifier">relation</span>.<span class="ruby-identifier">clone</span>)
255
+ <span class="ruby-comment cmt">#@solver.log.outputters = Outputter.stderr</span>
256
+ <span class="ruby-identifier">solutions</span>, <span class="ruby-identifier">nodeChecks</span>, <span class="ruby-identifier">constraintChecks</span> =
257
+ <span class="ruby-ivar">@solver</span>.<span class="ruby-identifier">solve</span>(<span class="ruby-constant">Problem</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-identifier">x</span>, <span class="ruby-identifier">y</span>, <span class="ruby-identifier">z</span> ], <span class="ruby-constant">ConstraintList</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-identifier">c1</span>, <span class="ruby-identifier">c2</span>, <span class="ruby-identifier">c3</span> ])))
258
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">6</span>, <span class="ruby-identifier">solutions</span>.<span class="ruby-identifier">size</span>)
259
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">15</span>, <span class="ruby-identifier">nodeChecks</span>)
260
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">48</span>, <span class="ruby-identifier">constraintChecks</span>)
261
+ <span class="ruby-keyword kw">end</span>
262
+ </pre>
263
+ </div>
264
+ </div>
265
+ </div>
266
+
267
+ <div id="method-M000030" class="method-detail">
268
+ <a name="M000030"></a>
269
+
270
+ <div class="method-heading">
271
+ <a href="#M000030" class="method-signature">
272
+ <span class="method-name">testConstructor</span><span class="method-args">()</span>
273
+ </a>
274
+ </div>
275
+
276
+ <div class="method-description">
277
+ <p><a class="source-toggle" href="#"
278
+ onclick="toggleCode('M000030-source');return false;">[Source]</a></p>
279
+ <div class="method-source-code" id="M000030-source">
280
+ <pre>
281
+ <span class="ruby-comment cmt"># File test/ConstraintSolverTest.rb, line 29</span>
282
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">testConstructor</span>
283
+ <span class="ruby-identifier">assert_nothing_raised</span> { <span class="ruby-constant">ConstraintSolver</span>.<span class="ruby-identifier">new</span> }
284
+ <span class="ruby-keyword kw">end</span>
285
+ </pre>
286
+ </div>
287
+ </div>
288
+ </div>
289
+
290
+ <div id="method-M000031" class="method-detail">
291
+ <a name="M000031"></a>
292
+
293
+ <div class="method-heading">
294
+ <a href="#M000031" class="method-signature">
295
+ <span class="method-name">testSolvableProblem</span><span class="method-args">()</span>
296
+ </a>
297
+ </div>
298
+
299
+ <div class="method-description">
300
+ <p><a class="source-toggle" href="#"
301
+ onclick="toggleCode('M000031-source');return false;">[Source]</a></p>
302
+ <div class="method-source-code" id="M000031-source">
303
+ <pre>
304
+ <span class="ruby-comment cmt"># File test/ConstraintSolverTest.rb, line 33</span>
305
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">testSolvableProblem</span>
306
+ <span class="ruby-comment cmt">#@solver.log.outputters = Outputter.stderr</span>
307
+ <span class="ruby-identifier">solutions</span>, <span class="ruby-identifier">nodeChecks</span>, <span class="ruby-identifier">constraintChecks</span> = <span class="ruby-ivar">@solver</span>.<span class="ruby-identifier">solve</span>(<span class="ruby-ivar">@solvableProblem</span>)
308
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-keyword kw">false</span>, <span class="ruby-identifier">solutions</span>.<span class="ruby-identifier">empty?</span>)
309
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">2</span>, <span class="ruby-identifier">solutions</span>.<span class="ruby-identifier">size</span>)
310
+ <span class="ruby-ivar">@var1</span>.<span class="ruby-identifier">value</span> = <span class="ruby-value">2</span>
311
+ <span class="ruby-ivar">@var2</span>.<span class="ruby-identifier">value</span> = <span class="ruby-value">1</span>
312
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-constant">Solution</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-ivar">@var1</span>, <span class="ruby-ivar">@var2</span> ], <span class="ruby-ivar">@meritMap</span>), <span class="ruby-identifier">solutions</span>[<span class="ruby-value">0</span>])
313
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">5</span>, <span class="ruby-identifier">solutions</span>[<span class="ruby-value">0</span>].<span class="ruby-identifier">merit</span>)
314
+ <span class="ruby-ivar">@var1</span>.<span class="ruby-identifier">value</span> = <span class="ruby-value">1</span>
315
+ <span class="ruby-ivar">@var2</span>.<span class="ruby-identifier">value</span> = <span class="ruby-value">2</span>
316
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-constant">Solution</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-ivar">@var1</span>, <span class="ruby-ivar">@var2</span> ], <span class="ruby-ivar">@meritMap</span>), <span class="ruby-identifier">solutions</span>[<span class="ruby-value">1</span>])
317
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">4</span>, <span class="ruby-identifier">solutions</span>[<span class="ruby-value">1</span>].<span class="ruby-identifier">merit</span>)
318
+ <span class="ruby-ivar">@var1</span>.<span class="ruby-identifier">reset</span>
319
+ <span class="ruby-ivar">@var2</span>.<span class="ruby-identifier">reset</span>
320
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">4</span>, <span class="ruby-identifier">nodeChecks</span>)
321
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">4</span>, <span class="ruby-identifier">constraintChecks</span>)
322
+ <span class="ruby-keyword kw">end</span>
323
+ </pre>
324
+ </div>
325
+ </div>
326
+ </div>
327
+
328
+ <div id="method-M000032" class="method-detail">
329
+ <a name="M000032"></a>
330
+
331
+ <div class="method-heading">
332
+ <a href="#M000032" class="method-signature">
333
+ <span class="method-name">testUnsolvableProblem</span><span class="method-args">()</span>
334
+ </a>
335
+ </div>
336
+
337
+ <div class="method-description">
338
+ <p><a class="source-toggle" href="#"
339
+ onclick="toggleCode('M000032-source');return false;">[Source]</a></p>
340
+ <div class="method-source-code" id="M000032-source">
341
+ <pre>
342
+ <span class="ruby-comment cmt"># File test/ConstraintSolverTest.rb, line 52</span>
343
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">testUnsolvableProblem</span>
344
+ <span class="ruby-comment cmt">#@solver.log.outputters = Outputter.stderr</span>
345
+ <span class="ruby-identifier">solutions</span>, <span class="ruby-identifier">nodeChecks</span>, <span class="ruby-identifier">constraintChecks</span> = <span class="ruby-ivar">@solver</span>.<span class="ruby-identifier">solve</span>(<span class="ruby-ivar">@unsolvableProblem</span>)
346
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-keyword kw">true</span>, <span class="ruby-identifier">solutions</span>.<span class="ruby-identifier">empty?</span>)
347
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">2</span>, <span class="ruby-identifier">nodeChecks</span>)
348
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">8</span>, <span class="ruby-identifier">constraintChecks</span>)
349
+ <span class="ruby-keyword kw">end</span>
350
+ </pre>
351
+ </div>
352
+ </div>
353
+ </div>
354
+
355
+ <div id="method-M000035" class="method-detail">
356
+ <a name="M000035"></a>
357
+
358
+ <div class="method-heading">
359
+ <a href="#M000035" class="method-signature">
360
+ <span class="method-name">testVariableAndValueOrdering</span><span class="method-args">()</span>
361
+ </a>
362
+ </div>
363
+
364
+ <div class="method-description">
365
+ <p><a class="source-toggle" href="#"
366
+ onclick="toggleCode('M000035-source');return false;">[Source]</a></p>
367
+ <div class="method-source-code" id="M000035-source">
368
+ <pre>
369
+ <span class="ruby-comment cmt"># File test/ConstraintSolverTest.rb, line 90</span>
370
+ <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">testVariableAndValueOrdering</span>
371
+ <span class="ruby-identifier">domain</span> = <span class="ruby-constant">Domain</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-value str">&quot;foo&quot;</span>, <span class="ruby-value str">&quot;bar&quot;</span>, <span class="ruby-value str">&quot;foobar&quot;</span> ].<span class="ruby-identifier">to_set</span>)
372
+ <span class="ruby-identifier">meritMap</span> = { <span class="ruby-value str">&quot;foo&quot;</span> =<span class="ruby-operator">&gt;</span> <span class="ruby-value">1</span>, <span class="ruby-value str">&quot;bar&quot;</span> =<span class="ruby-operator">&gt;</span> <span class="ruby-value">2</span>, <span class="ruby-value str">&quot;foobar&quot;</span> =<span class="ruby-operator">&gt;</span> <span class="ruby-value">3</span> }
373
+ <span class="ruby-identifier">x</span> = <span class="ruby-constant">Variable</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">&quot;x&quot;</span>, <span class="ruby-identifier">domain</span>, <span class="ruby-keyword kw">nil</span>, <span class="ruby-value">1</span>)
374
+ <span class="ruby-identifier">y</span> = <span class="ruby-constant">Variable</span>.<span class="ruby-identifier">new</span>(<span class="ruby-value str">&quot;y&quot;</span>, <span class="ruby-identifier">domain</span>.<span class="ruby-identifier">clone</span>, <span class="ruby-keyword kw">nil</span>, <span class="ruby-value">2</span>)
375
+ <span class="ruby-identifier">c</span> = <span class="ruby-constant">AllDifferentConstraint</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-identifier">x</span>, <span class="ruby-identifier">y</span> ])
376
+ <span class="ruby-comment cmt">#@solver.log.outputters = Outputter.stderr</span>
377
+ <span class="ruby-identifier">solutions</span> = <span class="ruby-ivar">@solver</span>.<span class="ruby-identifier">solve</span>(<span class="ruby-constant">Problem</span>.<span class="ruby-identifier">new</span>([ <span class="ruby-identifier">x</span>, <span class="ruby-identifier">y</span> ], <span class="ruby-identifier">c</span>, <span class="ruby-identifier">meritMap</span>))[<span class="ruby-value">0</span>]
378
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">6</span>, <span class="ruby-identifier">solutions</span>.<span class="ruby-identifier">size</span>)
379
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">8</span>, <span class="ruby-identifier">solutions</span>[<span class="ruby-value">0</span>].<span class="ruby-identifier">merit</span>)
380
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">7</span>, <span class="ruby-identifier">solutions</span>[<span class="ruby-value">1</span>].<span class="ruby-identifier">merit</span>)
381
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">7</span>, <span class="ruby-identifier">solutions</span>[<span class="ruby-value">2</span>].<span class="ruby-identifier">merit</span>)
382
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">5</span>, <span class="ruby-identifier">solutions</span>[<span class="ruby-value">3</span>].<span class="ruby-identifier">merit</span>)
383
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">5</span>, <span class="ruby-identifier">solutions</span>[<span class="ruby-value">4</span>].<span class="ruby-identifier">merit</span>)
384
+ <span class="ruby-identifier">assert_equal</span>(<span class="ruby-value">4</span>, <span class="ruby-identifier">solutions</span>[<span class="ruby-value">5</span>].<span class="ruby-identifier">merit</span>)
385
+ <span class="ruby-keyword kw">end</span>
386
+ </pre>
387
+ </div>
388
+ </div>
389
+ </div>
390
+
391
+
392
+ </div>
393
+
394
+
395
+ </div>
396
+
397
+
398
+ <div id="validator-badges">
399
+ <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
400
+ </div>
401
+
402
+ </body>
403
+ </html>