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/dot/m_8_0.png ADDED
Binary file
data/doc/dot/m_9_0.dot ADDED
@@ -0,0 +1,392 @@
1
+ digraph TopLevel {
2
+ compound = true
3
+ bgcolor = lightcyan1
4
+ fontname = Arial
5
+ fontsize = 8
6
+ label = "TopLevel"
7
+ node [
8
+ fontname = Arial,
9
+ fontsize = 8,
10
+ color = black
11
+ ]
12
+
13
+ Test__Unit__TestCase [
14
+ URL = "classes/Test/Unit/TestCase.html",
15
+ label = "Test::Unit::TestCase"
16
+ ]
17
+
18
+ Test__Unit__TestCase -> ConstraintSolver__AllDifferentConstraintTest [
19
+
20
+ ]
21
+
22
+ Test__Unit__TestCase -> ConstraintSolver__SolutionTest [
23
+
24
+ ]
25
+
26
+ Exception [
27
+ URL = "classes/Exception.html",
28
+ label = "Exception"
29
+ ]
30
+
31
+ Exception -> ConstraintSolver__DomainWipeoutException [
32
+
33
+ ]
34
+
35
+ Test__Unit__TestCase -> ConstraintSolver__ConstraintSolverTest [
36
+
37
+ ]
38
+
39
+ Test__Unit__TestCase -> ConstraintSolver__ConstraintListTest [
40
+
41
+ ]
42
+
43
+ Test__Unit__TestCase -> ConstraintSolver__VariableTest [
44
+
45
+ ]
46
+
47
+ Test__Unit__TestCase -> ConstraintSolver__DomainTest [
48
+
49
+ ]
50
+
51
+ Test__Unit__TestCase -> ConstraintSolver__BinaryConstraintTest [
52
+
53
+ ]
54
+
55
+ Test__Unit__TestCase -> ConstraintSolver__ProblemTest [
56
+
57
+ ]
58
+
59
+ ConstraintSolver__AbstractConstraint -> ConstraintSolver__BinaryConstraint [
60
+
61
+ ]
62
+
63
+ Test__Unit__TestCase -> ConstraintSolver__BinaryRelationTest [
64
+
65
+ ]
66
+
67
+ Array [
68
+ URL = "classes/Array.html",
69
+ label = "Array"
70
+ ]
71
+
72
+ Array -> ConstraintSolver__ConstraintList [
73
+
74
+ ]
75
+
76
+ ConstraintSolver__AbstractConstraint -> ConstraintSolver__AllDifferentConstraint [
77
+
78
+ ]
79
+
80
+ Exception -> ConstraintSolver__UndoStackEmptyException [
81
+
82
+ ]
83
+
84
+ subgraph cluster_ConstraintSolver {
85
+ fillcolor = palegreen1
86
+ URL = "classes/ConstraintSolver.html"
87
+ fontname = Arial
88
+ color = blue
89
+ label = "ConstraintSolver"
90
+ style = filled
91
+ ConstraintSolver [
92
+ shape = plaintext,
93
+ height = 0.01,
94
+ width = 0.01,
95
+ label = ""
96
+ ]
97
+
98
+ subgraph cluster_282 {
99
+ fontname = Arial
100
+ color = black
101
+ label = "test/DomainTest.rb"
102
+ ConstraintSolver__DomainTest [
103
+ fontcolor = black,
104
+ URL = "classes/ConstraintSolver/DomainTest.html",
105
+ shape = ellipse,
106
+ color = palegoldenrod,
107
+ style = filled,
108
+ label = "DomainTest"
109
+ ]
110
+
111
+ }
112
+
113
+ subgraph cluster_275 {
114
+ fontname = Arial
115
+ color = black
116
+ label = "test/SolutionTest.rb"
117
+ ConstraintSolver__SolutionTest [
118
+ fontcolor = black,
119
+ URL = "classes/ConstraintSolver/SolutionTest.html",
120
+ shape = ellipse,
121
+ color = palegoldenrod,
122
+ style = filled,
123
+ label = "SolutionTest"
124
+ ]
125
+
126
+ }
127
+
128
+ subgraph cluster_273 {
129
+ fontname = Arial
130
+ color = black
131
+ label = "lib/BinaryConstraint.rb"
132
+ ConstraintSolver__BinaryRelation [
133
+ fontcolor = black,
134
+ URL = "classes/ConstraintSolver/BinaryRelation.html",
135
+ shape = ellipse,
136
+ color = palegoldenrod,
137
+ style = filled,
138
+ label = "BinaryRelation"
139
+ ]
140
+
141
+ ConstraintSolver__BinaryConstraint [
142
+ fontcolor = black,
143
+ URL = "classes/ConstraintSolver/BinaryConstraint.html",
144
+ shape = ellipse,
145
+ color = palegoldenrod,
146
+ style = filled,
147
+ label = "BinaryConstraint"
148
+ ]
149
+
150
+ }
151
+
152
+ subgraph cluster_285 {
153
+ fontname = Arial
154
+ color = black
155
+ label = "lib/Variable.rb"
156
+ ConstraintSolver__Variable [
157
+ fontcolor = black,
158
+ URL = "classes/ConstraintSolver/Variable.html",
159
+ shape = ellipse,
160
+ color = palegoldenrod,
161
+ style = filled,
162
+ label = "Variable"
163
+ ]
164
+
165
+ }
166
+
167
+ subgraph cluster_279 {
168
+ fontname = Arial
169
+ color = black
170
+ label = "test/ConstraintListTest.rb"
171
+ ConstraintSolver__ConstraintListTest [
172
+ fontcolor = black,
173
+ URL = "classes/ConstraintSolver/ConstraintListTest.html",
174
+ shape = ellipse,
175
+ color = palegoldenrod,
176
+ style = filled,
177
+ label = "ConstraintListTest"
178
+ ]
179
+
180
+ }
181
+
182
+ subgraph cluster_287 {
183
+ fontname = Arial
184
+ color = black
185
+ label = "lib/ConstraintList.rb"
186
+ ConstraintSolver__ConstraintList [
187
+ fontcolor = black,
188
+ URL = "classes/ConstraintSolver/ConstraintList.html",
189
+ shape = ellipse,
190
+ color = palegoldenrod,
191
+ style = filled,
192
+ label = "ConstraintList"
193
+ ]
194
+
195
+ }
196
+
197
+ subgraph cluster_286 {
198
+ fontname = Arial
199
+ color = black
200
+ label = "test/ProblemTest.rb"
201
+ ConstraintSolver__ProblemTest [
202
+ fontcolor = black,
203
+ URL = "classes/ConstraintSolver/ProblemTest.html",
204
+ shape = ellipse,
205
+ color = palegoldenrod,
206
+ style = filled,
207
+ label = "ProblemTest"
208
+ ]
209
+
210
+ }
211
+
212
+ subgraph cluster_280 {
213
+ fontname = Arial
214
+ color = black
215
+ label = "lib/Solution.rb"
216
+ ConstraintSolver__Solution [
217
+ fontcolor = black,
218
+ URL = "classes/ConstraintSolver/Solution.html",
219
+ shape = ellipse,
220
+ color = palegoldenrod,
221
+ style = filled,
222
+ label = "Solution"
223
+ ]
224
+
225
+ }
226
+
227
+ subgraph cluster_284 {
228
+ fontname = Arial
229
+ color = black
230
+ label = "test/BinaryConstraintTest.rb"
231
+ ConstraintSolver__BinaryConstraintTest [
232
+ fontcolor = black,
233
+ URL = "classes/ConstraintSolver/BinaryConstraintTest.html",
234
+ shape = ellipse,
235
+ color = palegoldenrod,
236
+ style = filled,
237
+ label = "BinaryConstraintTest"
238
+ ]
239
+
240
+ ConstraintSolver__BinaryRelationTest [
241
+ fontcolor = black,
242
+ URL = "classes/ConstraintSolver/BinaryRelationTest.html",
243
+ shape = ellipse,
244
+ color = palegoldenrod,
245
+ style = filled,
246
+ label = "BinaryRelationTest"
247
+ ]
248
+
249
+ }
250
+
251
+ subgraph cluster_283 {
252
+ fontname = Arial
253
+ color = black
254
+ label = "lib/ConstraintSolver.rb"
255
+ ConstraintSolver__ConstraintSolver [
256
+ fontcolor = black,
257
+ URL = "classes/ConstraintSolver/ConstraintSolver.html",
258
+ shape = ellipse,
259
+ color = palegoldenrod,
260
+ style = filled,
261
+ label = "ConstraintSolver"
262
+ ]
263
+
264
+ }
265
+
266
+ subgraph cluster_281 {
267
+ fontname = Arial
268
+ color = black
269
+ label = "test/VariableTest.rb"
270
+ ConstraintSolver__VariableTest [
271
+ fontcolor = black,
272
+ URL = "classes/ConstraintSolver/VariableTest.html",
273
+ shape = ellipse,
274
+ color = palegoldenrod,
275
+ style = filled,
276
+ label = "VariableTest"
277
+ ]
278
+
279
+ }
280
+
281
+ subgraph cluster_274 {
282
+ fontname = Arial
283
+ color = black
284
+ label = "test/AllDifferentConstraintTest.rb"
285
+ ConstraintSolver__AllDifferentConstraintTest [
286
+ fontcolor = black,
287
+ URL = "classes/ConstraintSolver/AllDifferentConstraintTest.html",
288
+ shape = ellipse,
289
+ color = palegoldenrod,
290
+ style = filled,
291
+ label = "AllDifferentConstraintTest"
292
+ ]
293
+
294
+ }
295
+
296
+ subgraph cluster_289 {
297
+ fontname = Arial
298
+ color = black
299
+ label = "lib/AllDifferentConstraint.rb"
300
+ ConstraintSolver__AllDifferentConstraint [
301
+ fontcolor = black,
302
+ URL = "classes/ConstraintSolver/AllDifferentConstraint.html",
303
+ shape = ellipse,
304
+ color = palegoldenrod,
305
+ style = filled,
306
+ label = "AllDifferentConstraint"
307
+ ]
308
+
309
+ }
310
+
311
+ subgraph cluster_288 {
312
+ fontname = Arial
313
+ color = black
314
+ label = "lib/Problem.rb"
315
+ ConstraintSolver__Problem [
316
+ fontcolor = black,
317
+ URL = "classes/ConstraintSolver/Problem.html",
318
+ shape = ellipse,
319
+ color = palegoldenrod,
320
+ style = filled,
321
+ label = "Problem"
322
+ ]
323
+
324
+ }
325
+
326
+ subgraph cluster_278 {
327
+ fontname = Arial
328
+ color = black
329
+ label = "test/ConstraintSolverTest.rb"
330
+ ConstraintSolver__ConstraintSolverTest [
331
+ fontcolor = black,
332
+ URL = "classes/ConstraintSolver/ConstraintSolverTest.html",
333
+ shape = ellipse,
334
+ color = palegoldenrod,
335
+ style = filled,
336
+ label = "ConstraintSolverTest"
337
+ ]
338
+
339
+ }
340
+
341
+ subgraph cluster_276 {
342
+ fontname = Arial
343
+ color = black
344
+ label = "lib/Domain.rb"
345
+ ConstraintSolver__DomainWipeoutException [
346
+ fontcolor = black,
347
+ URL = "classes/ConstraintSolver/DomainWipeoutException.html",
348
+ shape = ellipse,
349
+ color = palegoldenrod,
350
+ style = filled,
351
+ label = "DomainWipeoutException"
352
+ ]
353
+
354
+ ConstraintSolver__Domain [
355
+ fontcolor = black,
356
+ URL = "classes/ConstraintSolver/Domain.html",
357
+ shape = ellipse,
358
+ color = palegoldenrod,
359
+ style = filled,
360
+ label = "Domain"
361
+ ]
362
+
363
+ ConstraintSolver__UndoStackEmptyException [
364
+ fontcolor = black,
365
+ URL = "classes/ConstraintSolver/UndoStackEmptyException.html",
366
+ shape = ellipse,
367
+ color = palegoldenrod,
368
+ style = filled,
369
+ label = "UndoStackEmptyException"
370
+ ]
371
+
372
+ }
373
+
374
+ subgraph cluster_277 {
375
+ fontname = Arial
376
+ color = black
377
+ label = "lib/AbstractConstraint.rb"
378
+ ConstraintSolver__AbstractConstraint [
379
+ fontcolor = black,
380
+ URL = "classes/ConstraintSolver/AbstractConstraint.html",
381
+ shape = ellipse,
382
+ color = palegoldenrod,
383
+ style = filled,
384
+ label = "AbstractConstraint"
385
+ ]
386
+
387
+ }
388
+
389
+ }
390
+
391
+ }
392
+
data/doc/dot/m_9_0.png ADDED
Binary file
@@ -0,0 +1,148 @@
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>File: AbstractConstraint.rb</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="fileHeader">
50
+ <h1>AbstractConstraint.rb</h1>
51
+ <table class="header-table">
52
+ <tr class="top-aligned-row">
53
+ <td><strong>Path:</strong></td>
54
+ <td>lib/AbstractConstraint.rb
55
+ </td>
56
+ </tr>
57
+ <tr class="top-aligned-row">
58
+ <td><strong>Last Update:</strong></td>
59
+ <td>Thu Apr 12 14:03:37 +0200 2007</td>
60
+ </tr>
61
+ </table>
62
+ </div>
63
+ <!-- banner header -->
64
+
65
+ <div id="bodyContent">
66
+
67
+
68
+
69
+ <div id="contextContent">
70
+ <div id="diagram">
71
+ <map id="map" name="map">
72
+ <area shape="rect" coords="1537,5,1665,53" href="../../classes/Test/Unit/TestCase.html" alt="Test::Unit::TestCase" />
73
+ <area shape="rect" coords="937,133,1089,181" href="../../classes/ConstraintSolver/AllDifferentConstraintTest.html" alt="AllDifferentConstraintTest" />
74
+ <area shape="rect" coords="2305,133,2396,181" href="../../classes/ConstraintSolver/SolutionTest.html" alt="SolutionTest" />
75
+ <area shape="rect" coords="204,133,335,181" href="../../classes/ConstraintSolver/ConstraintSolverTest.html" alt="ConstraintSolverTest" />
76
+ <area shape="rect" coords="1923,133,2040,181" href="../../classes/ConstraintSolver/ConstraintListTest.html" alt="ConstraintListTest" />
77
+ <area shape="rect" coords="1123,133,1213,181" href="../../classes/ConstraintSolver/VariableTest.html" alt="VariableTest" />
78
+ <area shape="rect" coords="2429,133,2517,181" href="../../classes/ConstraintSolver/DomainTest.html" alt="DomainTest" />
79
+ <area shape="rect" coords="1387,133,1517,181" href="../../classes/ConstraintSolver/BinaryConstraintTest.html" alt="BinaryConstraintTest" />
80
+ <area shape="rect" coords="1797,133,1888,181" href="../../classes/ConstraintSolver/ProblemTest.html" alt="ProblemTest" />
81
+ <area shape="rect" coords="1541,133,1661,181" href="../../classes/ConstraintSolver/BinaryRelationTest.html" alt="BinaryRelationTest" />
82
+ <area shape="rect" coords="589,5,667,53" href="../../classes/Exception.html" alt="Exception" />
83
+ <area shape="rect" coords="463,133,615,181" href="../../classes/ConstraintSolver/DomainWipeoutException.html" alt="DomainWipeoutException" />
84
+ <area shape="rect" coords="639,133,799,181" href="../../classes/ConstraintSolver/UndoStackEmptyException.html" alt="UndoStackEmptyException" />
85
+ <area shape="rect" coords="53,133,171,181" href="../../classes/ConstraintSolver/AbstractConstraint.html" alt="AbstractConstraint" />
86
+ <area shape="rect" coords="160,237,269,285" href="../../classes/ConstraintSolver/BinaryConstraint.html" alt="BinaryConstraint" />
87
+ <area shape="rect" coords="301,237,432,285" href="../../classes/ConstraintSolver/AllDifferentConstraint.html" alt="AllDifferentConstraint" />
88
+ <area shape="rect" coords="2085,5,2157,53" href="../../classes/Array.html" alt="Array" />
89
+ <area shape="rect" coords="2073,133,2169,181" href="../../classes/ConstraintSolver/ConstraintList.html" alt="ConstraintList" />
90
+ <area shape="rect" coords="37,237,136,285" href="../../classes/ConstraintSolver/BinaryRelation.html" alt="BinaryRelation" />
91
+ <area shape="rect" coords="2201,133,2273,181" href="../../classes/ConstraintSolver/Variable.html" alt="Variable" />
92
+ <area shape="rect" coords="1693,133,1765,181" href="../../classes/ConstraintSolver/Solution.html" alt="Solution" />
93
+ <area shape="rect" coords="1245,133,1355,181" href="../../classes/ConstraintSolver/ConstraintSolver.html" alt="ConstraintSolver" />
94
+ <area shape="rect" coords="831,133,903,181" href="../../classes/ConstraintSolver/Problem.html" alt="Problem" />
95
+ <area shape="rect" coords="367,133,439,181" href="../../classes/ConstraintSolver/Domain.html" alt="Domain" />
96
+ <area shape="rect" coords="2419,99,2531,192" href="../../classes/ConstraintSolver.html" alt="test/DomainTest.rb" />
97
+ <area shape="rect" coords="2295,99,2408,192" href="../../classes/ConstraintSolver.html" alt="test/SolutionTest.rb" />
98
+ <area shape="rect" coords="27,203,280,296" href="../../classes/ConstraintSolver.html" alt="lib/BinaryConstraint.rb" />
99
+ <area shape="rect" coords="2191,99,2284,192" href="../../classes/ConstraintSolver.html" alt="lib/Variable.rb" />
100
+ <area shape="rect" coords="1912,99,2052,192" href="../../classes/ConstraintSolver.html" alt="test/ConstraintListTest.rb" />
101
+ <area shape="rect" coords="2063,99,2180,192" href="../../classes/ConstraintSolver.html" alt="lib/ConstraintList.rb" />
102
+ <area shape="rect" coords="1787,99,1901,192" href="../../classes/ConstraintSolver.html" alt="test/ProblemTest.rb" />
103
+ <area shape="rect" coords="1683,99,1776,192" href="../../classes/ConstraintSolver.html" alt="lib/Solution.rb" />
104
+ <area shape="rect" coords="1376,99,1672,192" href="../../classes/ConstraintSolver.html" alt="test/BinaryConstraintTest.rb" />
105
+ <area shape="rect" coords="1235,99,1365,192" href="../../classes/ConstraintSolver.html" alt="lib/ConstraintSolver.rb" />
106
+ <area shape="rect" coords="1111,99,1224,192" href="../../classes/ConstraintSolver.html" alt="test/VariableTest.rb" />
107
+ <area shape="rect" coords="924,99,1100,192" href="../../classes/ConstraintSolver.html" alt="test/AllDifferentConstraintTest.rb" />
108
+ <area shape="rect" coords="291,203,443,296" href="../../classes/ConstraintSolver.html" alt="lib/AllDifferentConstraint.rb" />
109
+ <area shape="rect" coords="820,99,913,192" href="../../classes/ConstraintSolver.html" alt="lib/Problem.rb" />
110
+ <area shape="rect" coords="192,99,345,192" href="../../classes/ConstraintSolver.html" alt="test/ConstraintSolverTest.rb" />
111
+ <area shape="rect" coords="356,99,809,192" href="../../classes/ConstraintSolver.html" alt="lib/Domain.rb" />
112
+ <area shape="rect" coords="43,99,181,192" href="../../classes/ConstraintSolver.html" alt="lib/AbstractConstraint.rb" />
113
+ <area shape="rect" coords="16,64,2541,307" href="../../classes/ConstraintSolver.html" alt="ConstraintSolver" />
114
+ </map>
115
+ <img src="../../dot/f_16.png" usemap="#map" border="0" alt="dot/f_16.png">
116
+ </div>
117
+
118
+
119
+
120
+ </div>
121
+
122
+
123
+ </div>
124
+
125
+
126
+ <!-- if includes -->
127
+
128
+ <div id="section">
129
+
130
+
131
+
132
+
133
+
134
+
135
+
136
+
137
+ <!-- if method_list -->
138
+
139
+
140
+ </div>
141
+
142
+
143
+ <div id="validator-badges">
144
+ <p><small><a href="http://validator.w3.org/check/referer">[Validate]</a></small></p>
145
+ </div>
146
+
147
+ </body>
148
+ </html>