ravensat 0.2.2 → 0.3.2
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.
- checksums.yaml +4 -4
- data/.github/workflows/main.yml +18 -0
- data/README.md +122 -9
- data/docs/Arcteryx/CNF.html +827 -0
- data/docs/Arcteryx.html +309 -0
- data/docs/Ravensat/AndNode.html +159 -0
- data/docs/Ravensat/Claw.html +338 -0
- data/docs/Ravensat/DimacsDecoder.html +224 -0
- data/docs/Ravensat/DimacsEncoder.html +425 -0
- data/docs/Ravensat/Extension/BooleanVariable.html +229 -0
- data/docs/Ravensat/Extension/Domain.html +319 -0
- data/docs/Ravensat/Extension/IntegerVariable.html +589 -0
- data/docs/Ravensat/Extension/UndefinedVariable.html +236 -0
- data/docs/Ravensat/Extension/Variable.html +443 -0
- data/docs/Ravensat/Extension.html +141 -0
- data/docs/Ravensat/InitialNode.html +267 -0
- data/docs/Ravensat/Node.html +780 -0
- data/docs/Ravensat/NotNode.html +159 -0
- data/docs/Ravensat/OprNode.html +226 -0
- data/docs/Ravensat/OrNode.html +252 -0
- data/docs/Ravensat/Solver.html +373 -0
- data/docs/Ravensat/VarNode.html +488 -0
- data/docs/Ravensat.html +135 -0
- data/docs/_index.html +329 -0
- data/docs/class_list.html +51 -0
- data/docs/css/common.css +1 -0
- data/docs/css/full_list.css +58 -0
- data/docs/css/style.css +497 -0
- data/docs/file.README.html +233 -0
- data/docs/file_list.html +56 -0
- data/docs/frames.html +17 -0
- data/docs/index.html +233 -0
- data/docs/js/app.js +314 -0
- data/docs/js/full_list.js +216 -0
- data/docs/js/jquery.js +4 -0
- data/docs/method_list.html +523 -0
- data/docs/top-level-namespace.html +110 -0
- data/exe/ravensat +7 -0
- data/lib/ravensat/ast/initial_node.rb +11 -0
- data/lib/ravensat/ast/node.rb +17 -9
- data/lib/ravensat/ast/not_node.rb +3 -0
- data/lib/ravensat/ast/var_node.rb +4 -0
- data/lib/ravensat/ast.rb +11 -0
- data/lib/ravensat/claw.rb +44 -0
- data/lib/ravensat/{dimacs_decoder.rb → dimacs/dimacs_decoder.rb} +0 -0
- data/lib/ravensat/{dimacs_encoder.rb → dimacs/dimacs_encoder.rb} +4 -7
- data/lib/ravensat/dimacs.rb +6 -0
- data/lib/ravensat/extension/domain.rb +24 -0
- data/lib/ravensat/extension/variable/boolean_variable.rb +17 -0
- data/lib/ravensat/extension/variable/integer_variable.rb +63 -0
- data/lib/ravensat/extension/variable/undefined_variable.rb +9 -0
- data/lib/ravensat/extension/variable/variable.rb +16 -0
- data/lib/ravensat/extension.rb +13 -0
- data/lib/ravensat/solver.rb +0 -7
- data/lib/ravensat/version.rb +1 -1
- data/lib/ravensat.rb +5 -10
- metadata +52 -6
- data/lib/ravensat/ravenclaw.rb +0 -15
|
@@ -0,0 +1,373 @@
|
|
|
1
|
+
<!DOCTYPE html>
|
|
2
|
+
<html>
|
|
3
|
+
<head>
|
|
4
|
+
<meta charset="utf-8">
|
|
5
|
+
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
|
6
|
+
<title>
|
|
7
|
+
Class: Ravensat::Solver
|
|
8
|
+
|
|
9
|
+
— Documentation by YARD 0.9.27
|
|
10
|
+
|
|
11
|
+
</title>
|
|
12
|
+
|
|
13
|
+
<link rel="stylesheet" href="../css/style.css" type="text/css" />
|
|
14
|
+
|
|
15
|
+
<link rel="stylesheet" href="../css/common.css" type="text/css" />
|
|
16
|
+
|
|
17
|
+
<script type="text/javascript">
|
|
18
|
+
pathId = "Ravensat::Solver";
|
|
19
|
+
relpath = '../';
|
|
20
|
+
</script>
|
|
21
|
+
|
|
22
|
+
|
|
23
|
+
<script type="text/javascript" charset="utf-8" src="../js/jquery.js"></script>
|
|
24
|
+
|
|
25
|
+
<script type="text/javascript" charset="utf-8" src="../js/app.js"></script>
|
|
26
|
+
|
|
27
|
+
|
|
28
|
+
</head>
|
|
29
|
+
<body>
|
|
30
|
+
<div class="nav_wrap">
|
|
31
|
+
<iframe id="nav" src="../class_list.html?1"></iframe>
|
|
32
|
+
<div id="resizer"></div>
|
|
33
|
+
</div>
|
|
34
|
+
|
|
35
|
+
<div id="main" tabindex="-1">
|
|
36
|
+
<div id="header">
|
|
37
|
+
<div id="menu">
|
|
38
|
+
|
|
39
|
+
<a href="../_index.html">Index (S)</a> »
|
|
40
|
+
<span class='title'><span class='object_link'><a href="../Ravensat.html" title="Ravensat (module)">Ravensat</a></span></span>
|
|
41
|
+
»
|
|
42
|
+
<span class="title">Solver</span>
|
|
43
|
+
|
|
44
|
+
</div>
|
|
45
|
+
|
|
46
|
+
<div id="search">
|
|
47
|
+
|
|
48
|
+
<a class="full_list_link" id="class_list_link"
|
|
49
|
+
href="../class_list.html">
|
|
50
|
+
|
|
51
|
+
<svg width="24" height="24">
|
|
52
|
+
<rect x="0" y="4" width="24" height="4" rx="1" ry="1"></rect>
|
|
53
|
+
<rect x="0" y="12" width="24" height="4" rx="1" ry="1"></rect>
|
|
54
|
+
<rect x="0" y="20" width="24" height="4" rx="1" ry="1"></rect>
|
|
55
|
+
</svg>
|
|
56
|
+
</a>
|
|
57
|
+
|
|
58
|
+
</div>
|
|
59
|
+
<div class="clear"></div>
|
|
60
|
+
</div>
|
|
61
|
+
|
|
62
|
+
<div id="content"><h1>Class: Ravensat::Solver
|
|
63
|
+
|
|
64
|
+
|
|
65
|
+
|
|
66
|
+
</h1>
|
|
67
|
+
<div class="box_info">
|
|
68
|
+
|
|
69
|
+
<dl>
|
|
70
|
+
<dt>Inherits:</dt>
|
|
71
|
+
<dd>
|
|
72
|
+
<span class="inheritName">Object</span>
|
|
73
|
+
|
|
74
|
+
<ul class="fullTree">
|
|
75
|
+
<li>Object</li>
|
|
76
|
+
|
|
77
|
+
<li class="next">Ravensat::Solver</li>
|
|
78
|
+
|
|
79
|
+
</ul>
|
|
80
|
+
<a href="#" class="inheritanceTree">show all</a>
|
|
81
|
+
|
|
82
|
+
</dd>
|
|
83
|
+
</dl>
|
|
84
|
+
|
|
85
|
+
|
|
86
|
+
|
|
87
|
+
|
|
88
|
+
|
|
89
|
+
|
|
90
|
+
|
|
91
|
+
|
|
92
|
+
|
|
93
|
+
|
|
94
|
+
|
|
95
|
+
<dl>
|
|
96
|
+
<dt>Defined in:</dt>
|
|
97
|
+
<dd>lib/ravensat/solver.rb</dd>
|
|
98
|
+
</dl>
|
|
99
|
+
|
|
100
|
+
</div>
|
|
101
|
+
|
|
102
|
+
|
|
103
|
+
|
|
104
|
+
|
|
105
|
+
|
|
106
|
+
<h2>Instance Attribute Summary <small><a href="#" class="summary_toggle">collapse</a></small></h2>
|
|
107
|
+
<ul class="summary">
|
|
108
|
+
|
|
109
|
+
<li class="public ">
|
|
110
|
+
<span class="summary_signature">
|
|
111
|
+
|
|
112
|
+
<a href="#name-instance_method" title="#name (instance method)">#<strong>name</strong> ⇒ Object </a>
|
|
113
|
+
|
|
114
|
+
|
|
115
|
+
|
|
116
|
+
</span>
|
|
117
|
+
|
|
118
|
+
|
|
119
|
+
|
|
120
|
+
|
|
121
|
+
|
|
122
|
+
|
|
123
|
+
|
|
124
|
+
|
|
125
|
+
|
|
126
|
+
|
|
127
|
+
|
|
128
|
+
|
|
129
|
+
<span class="summary_desc"><div class='inline'>
|
|
130
|
+
<p>Returns the value of attribute name.</p>
|
|
131
|
+
</div></span>
|
|
132
|
+
|
|
133
|
+
</li>
|
|
134
|
+
|
|
135
|
+
|
|
136
|
+
</ul>
|
|
137
|
+
|
|
138
|
+
|
|
139
|
+
|
|
140
|
+
|
|
141
|
+
|
|
142
|
+
<h2>
|
|
143
|
+
Instance Method Summary
|
|
144
|
+
<small><a href="#" class="summary_toggle">collapse</a></small>
|
|
145
|
+
</h2>
|
|
146
|
+
|
|
147
|
+
<ul class="summary">
|
|
148
|
+
|
|
149
|
+
<li class="public ">
|
|
150
|
+
<span class="summary_signature">
|
|
151
|
+
|
|
152
|
+
<a href="#initialize-instance_method" title="#initialize (instance method)">#<strong>initialize</strong>(default_solver_name = "arcteryx") ⇒ Solver </a>
|
|
153
|
+
|
|
154
|
+
|
|
155
|
+
|
|
156
|
+
</span>
|
|
157
|
+
|
|
158
|
+
|
|
159
|
+
<span class="note title constructor">constructor</span>
|
|
160
|
+
|
|
161
|
+
|
|
162
|
+
|
|
163
|
+
|
|
164
|
+
|
|
165
|
+
|
|
166
|
+
|
|
167
|
+
|
|
168
|
+
<span class="summary_desc"><div class='inline'>
|
|
169
|
+
<p>A new instance of Solver.</p>
|
|
170
|
+
</div></span>
|
|
171
|
+
|
|
172
|
+
</li>
|
|
173
|
+
|
|
174
|
+
|
|
175
|
+
<li class="public ">
|
|
176
|
+
<span class="summary_signature">
|
|
177
|
+
|
|
178
|
+
<a href="#solve-instance_method" title="#solve (instance method)">#<strong>solve</strong>(cnf) ⇒ Object </a>
|
|
179
|
+
|
|
180
|
+
|
|
181
|
+
|
|
182
|
+
</span>
|
|
183
|
+
|
|
184
|
+
|
|
185
|
+
|
|
186
|
+
|
|
187
|
+
|
|
188
|
+
|
|
189
|
+
|
|
190
|
+
|
|
191
|
+
|
|
192
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
193
|
+
|
|
194
|
+
</li>
|
|
195
|
+
|
|
196
|
+
|
|
197
|
+
</ul>
|
|
198
|
+
|
|
199
|
+
|
|
200
|
+
<div id="constructor_details" class="method_details_list">
|
|
201
|
+
<h2>Constructor Details</h2>
|
|
202
|
+
|
|
203
|
+
<div class="method_details first">
|
|
204
|
+
<h3 class="signature first" id="initialize-instance_method">
|
|
205
|
+
|
|
206
|
+
#<strong>initialize</strong>(default_solver_name = "arcteryx") ⇒ <tt><span class='object_link'><a href="" title="Ravensat::Solver (class)">Solver</a></span></tt>
|
|
207
|
+
|
|
208
|
+
|
|
209
|
+
|
|
210
|
+
|
|
211
|
+
|
|
212
|
+
</h3><div class="docstring">
|
|
213
|
+
<div class="discussion">
|
|
214
|
+
|
|
215
|
+
<p>Returns a new instance of Solver.</p>
|
|
216
|
+
|
|
217
|
+
|
|
218
|
+
</div>
|
|
219
|
+
</div>
|
|
220
|
+
<div class="tags">
|
|
221
|
+
|
|
222
|
+
|
|
223
|
+
</div><table class="source_code">
|
|
224
|
+
<tr>
|
|
225
|
+
<td>
|
|
226
|
+
<pre class="lines">
|
|
227
|
+
|
|
228
|
+
|
|
229
|
+
6
|
|
230
|
+
7
|
|
231
|
+
8</pre>
|
|
232
|
+
</td>
|
|
233
|
+
<td>
|
|
234
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/solver.rb', line 6</span>
|
|
235
|
+
|
|
236
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_initialize'>initialize</span><span class='lparen'>(</span> <span class='id identifier rubyid_default_solver_name'>default_solver_name</span> <span class='op'>=</span> <span class='tstring'><span class='tstring_beg'>"</span><span class='tstring_content'>arcteryx</span><span class='tstring_end'>"</span></span> <span class='rparen'>)</span>
|
|
237
|
+
<span class='ivar'>@name</span> <span class='op'>=</span> <span class='id identifier rubyid_default_solver_name'>default_solver_name</span>
|
|
238
|
+
<span class='kw'>end</span></pre>
|
|
239
|
+
</td>
|
|
240
|
+
</tr>
|
|
241
|
+
</table>
|
|
242
|
+
</div>
|
|
243
|
+
|
|
244
|
+
</div>
|
|
245
|
+
|
|
246
|
+
<div id="instance_attr_details" class="attr_details">
|
|
247
|
+
<h2>Instance Attribute Details</h2>
|
|
248
|
+
|
|
249
|
+
|
|
250
|
+
<span id="name=-instance_method"></span>
|
|
251
|
+
<div class="method_details first">
|
|
252
|
+
<h3 class="signature first" id="name-instance_method">
|
|
253
|
+
|
|
254
|
+
#<strong>name</strong> ⇒ <tt>Object</tt>
|
|
255
|
+
|
|
256
|
+
|
|
257
|
+
|
|
258
|
+
|
|
259
|
+
|
|
260
|
+
</h3><div class="docstring">
|
|
261
|
+
<div class="discussion">
|
|
262
|
+
|
|
263
|
+
<p>Returns the value of attribute name.</p>
|
|
264
|
+
|
|
265
|
+
|
|
266
|
+
</div>
|
|
267
|
+
</div>
|
|
268
|
+
<div class="tags">
|
|
269
|
+
|
|
270
|
+
|
|
271
|
+
</div><table class="source_code">
|
|
272
|
+
<tr>
|
|
273
|
+
<td>
|
|
274
|
+
<pre class="lines">
|
|
275
|
+
|
|
276
|
+
|
|
277
|
+
5
|
|
278
|
+
6
|
|
279
|
+
7</pre>
|
|
280
|
+
</td>
|
|
281
|
+
<td>
|
|
282
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/solver.rb', line 5</span>
|
|
283
|
+
|
|
284
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_name'>name</span>
|
|
285
|
+
<span class='ivar'>@name</span>
|
|
286
|
+
<span class='kw'>end</span></pre>
|
|
287
|
+
</td>
|
|
288
|
+
</tr>
|
|
289
|
+
</table>
|
|
290
|
+
</div>
|
|
291
|
+
|
|
292
|
+
</div>
|
|
293
|
+
|
|
294
|
+
|
|
295
|
+
<div id="instance_method_details" class="method_details_list">
|
|
296
|
+
<h2>Instance Method Details</h2>
|
|
297
|
+
|
|
298
|
+
|
|
299
|
+
<div class="method_details first">
|
|
300
|
+
<h3 class="signature first" id="solve-instance_method">
|
|
301
|
+
|
|
302
|
+
#<strong>solve</strong>(cnf) ⇒ <tt>Object</tt>
|
|
303
|
+
|
|
304
|
+
|
|
305
|
+
|
|
306
|
+
|
|
307
|
+
|
|
308
|
+
</h3><table class="source_code">
|
|
309
|
+
<tr>
|
|
310
|
+
<td>
|
|
311
|
+
<pre class="lines">
|
|
312
|
+
|
|
313
|
+
|
|
314
|
+
10
|
|
315
|
+
11
|
|
316
|
+
12
|
|
317
|
+
13
|
|
318
|
+
14
|
|
319
|
+
15
|
|
320
|
+
16
|
|
321
|
+
17
|
|
322
|
+
18
|
|
323
|
+
19
|
|
324
|
+
20
|
|
325
|
+
21
|
|
326
|
+
22
|
|
327
|
+
23
|
|
328
|
+
24
|
|
329
|
+
25
|
|
330
|
+
26
|
|
331
|
+
27
|
|
332
|
+
28</pre>
|
|
333
|
+
</td>
|
|
334
|
+
<td>
|
|
335
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/solver.rb', line 10</span>
|
|
336
|
+
|
|
337
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_solve'>solve</span><span class='lparen'>(</span> <span class='id identifier rubyid_cnf'>cnf</span> <span class='rparen'>)</span>
|
|
338
|
+
<span class='id identifier rubyid_encoder'>encoder</span> <span class='op'>=</span> <span class='const'><span class='object_link'><a href="DimacsEncoder.html" title="Ravensat::DimacsEncoder (class)">DimacsEncoder</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="DimacsEncoder.html#initialize-instance_method" title="Ravensat::DimacsEncoder#initialize (method)">new</a></span></span>
|
|
339
|
+
<span class='ivar'>@input_file</span> <span class='op'>=</span> <span class='const'>Tempfile</span><span class='period'>.</span><span class='id identifier rubyid_open'>open</span><span class='lparen'>(</span><span class='lbracket'>[</span><span class='tstring'><span class='tstring_beg'>"</span><span class='tstring_content'>ravensat</span><span class='tstring_end'>"</span></span><span class='comma'>,</span><span class='tstring'><span class='tstring_beg'>"</span><span class='tstring_content'>.cnf</span><span class='tstring_end'>"</span></span><span class='rbracket'>]</span><span class='rparen'>)</span>
|
|
340
|
+
<span class='ivar'>@output_file</span> <span class='op'>=</span> <span class='const'>Tempfile</span><span class='period'>.</span><span class='id identifier rubyid_open'>open</span><span class='lparen'>(</span><span class='lbracket'>[</span><span class='tstring'><span class='tstring_beg'>"</span><span class='tstring_content'>ravensat</span><span class='tstring_end'>"</span></span><span class='comma'>,</span><span class='tstring'><span class='tstring_beg'>"</span><span class='tstring_content'>.mdl</span><span class='tstring_end'>"</span></span><span class='rbracket'>]</span><span class='rparen'>)</span>
|
|
341
|
+
|
|
342
|
+
<span class='ivar'>@input_file</span><span class='period'>.</span><span class='id identifier rubyid_write'>write</span> <span class='id identifier rubyid_encoder'>encoder</span><span class='period'>.</span><span class='id identifier rubyid_to_dimacs'>to_dimacs</span><span class='lparen'>(</span><span class='id identifier rubyid_cnf'>cnf</span><span class='rparen'>)</span>
|
|
343
|
+
<span class='ivar'>@input_file</span><span class='period'>.</span><span class='id identifier rubyid_flush'>flush</span>
|
|
344
|
+
|
|
345
|
+
<span class='kw'>case</span> <span class='ivar'>@name</span>
|
|
346
|
+
<span class='kw'>when</span> <span class='tstring'><span class='tstring_beg'>"</span><span class='tstring_content'>arcteryx</span><span class='tstring_end'>"</span></span>
|
|
347
|
+
<span class='const'><span class='object_link'><a href="../Arcteryx.html" title="Arcteryx (module)">Arcteryx</a></span></span><span class='period'>.</span><span class='id identifier rubyid_solve'><span class='object_link'><a href="../Arcteryx.html#solve-class_method" title="Arcteryx.solve (method)">solve</a></span></span><span class='lparen'>(</span><span class='ivar'>@input_file</span><span class='period'>.</span><span class='id identifier rubyid_to_path'>to_path</span><span class='comma'>,</span> <span class='ivar'>@output_file</span><span class='period'>.</span><span class='id identifier rubyid_to_path'>to_path</span><span class='rparen'>)</span>
|
|
348
|
+
<span class='kw'>else</span>
|
|
349
|
+
<span class='id identifier rubyid_system'>system</span><span class='lparen'>(</span><span class='tstring'><span class='tstring_beg'>"</span><span class='embexpr_beg'>#{</span><span class='ivar'>@name</span><span class='embexpr_end'>}</span><span class='tstring_content'> </span><span class='embexpr_beg'>#{</span><span class='ivar'>@input_file</span><span class='period'>.</span><span class='id identifier rubyid_to_path'>to_path</span><span class='embexpr_end'>}</span><span class='tstring_content'> </span><span class='embexpr_beg'>#{</span><span class='ivar'>@output_file</span><span class='period'>.</span><span class='id identifier rubyid_to_path'>to_path</span><span class='embexpr_end'>}</span><span class='tstring_end'>"</span></span><span class='rparen'>)</span>
|
|
350
|
+
<span class='kw'>end</span>
|
|
351
|
+
|
|
352
|
+
<span class='id identifier rubyid_decoder'>decoder</span> <span class='op'>=</span> <span class='const'><span class='object_link'><a href="DimacsDecoder.html" title="Ravensat::DimacsDecoder (class)">DimacsDecoder</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'>new</span>
|
|
353
|
+
<span class='id identifier rubyid_model'>model</span> <span class='op'>=</span> <span class='ivar'>@output_file</span><span class='period'>.</span><span class='id identifier rubyid_read'>read</span><span class='period'>.</span><span class='id identifier rubyid_split'>split</span><span class='lparen'>(</span><span class='tstring'><span class='tstring_beg'>"</span><span class='tstring_content'>\n</span><span class='tstring_end'>"</span></span><span class='rparen'>)</span>
|
|
354
|
+
<span class='id identifier rubyid_decoder'>decoder</span><span class='period'>.</span><span class='id identifier rubyid_decode'>decode</span><span class='lparen'>(</span><span class='id identifier rubyid_model'>model</span><span class='comma'>,</span> <span class='id identifier rubyid_encoder'>encoder</span><span class='period'>.</span><span class='id identifier rubyid_name_table'>name_table</span><span class='rparen'>)</span>
|
|
355
|
+
<span class='kw'>end</span></pre>
|
|
356
|
+
</td>
|
|
357
|
+
</tr>
|
|
358
|
+
</table>
|
|
359
|
+
</div>
|
|
360
|
+
|
|
361
|
+
</div>
|
|
362
|
+
|
|
363
|
+
</div>
|
|
364
|
+
|
|
365
|
+
<div id="footer">
|
|
366
|
+
Generated on Wed May 25 14:42:45 2022 by
|
|
367
|
+
<a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
|
|
368
|
+
0.9.27 (ruby-3.0.0).
|
|
369
|
+
</div>
|
|
370
|
+
|
|
371
|
+
</div>
|
|
372
|
+
</body>
|
|
373
|
+
</html>
|