ravensat 0.3.0 → 1.0.0
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 +90 -13
- 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 +1 -5
- data/lib/ravensat/ast/and_node.rb +8 -0
- data/lib/ravensat/ast/node.rb +84 -20
- data/lib/ravensat/ast/not_node.rb +7 -0
- data/lib/ravensat/ast/or_node.rb +9 -0
- data/lib/ravensat/ast/var_node.rb +10 -1
- data/lib/ravensat/claw.rb +44 -0
- data/lib/ravensat/dimacs/dimacs_decoder.rb +9 -6
- data/lib/ravensat/dimacs/dimacs_encoder.rb +10 -13
- data/lib/ravensat/extension/domain.rb +0 -1
- data/lib/ravensat/extension/variable/integer_variable.rb +3 -3
- data/lib/ravensat/solver.rb +1 -8
- data/lib/ravensat/version.rb +1 -1
- data/lib/ravensat.rb +1 -1
- metadata +38 -3
- data/lib/ravensat/ravenclaw.rb +0 -19
|
@@ -0,0 +1,488 @@
|
|
|
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::VarNode
|
|
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::VarNode";
|
|
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 (V)</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">VarNode</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::VarNode
|
|
63
|
+
|
|
64
|
+
|
|
65
|
+
|
|
66
|
+
</h1>
|
|
67
|
+
<div class="box_info">
|
|
68
|
+
|
|
69
|
+
<dl>
|
|
70
|
+
<dt>Inherits:</dt>
|
|
71
|
+
<dd>
|
|
72
|
+
<span class="inheritName"><span class='object_link'><a href="Node.html" title="Ravensat::Node (class)">Node</a></span></span>
|
|
73
|
+
|
|
74
|
+
<ul class="fullTree">
|
|
75
|
+
<li>Object</li>
|
|
76
|
+
|
|
77
|
+
<li class="next"><span class='object_link'><a href="Node.html" title="Ravensat::Node (class)">Node</a></span></li>
|
|
78
|
+
|
|
79
|
+
<li class="next">Ravensat::VarNode</li>
|
|
80
|
+
|
|
81
|
+
</ul>
|
|
82
|
+
<a href="#" class="inheritanceTree">show all</a>
|
|
83
|
+
|
|
84
|
+
</dd>
|
|
85
|
+
</dl>
|
|
86
|
+
|
|
87
|
+
|
|
88
|
+
|
|
89
|
+
|
|
90
|
+
|
|
91
|
+
|
|
92
|
+
|
|
93
|
+
|
|
94
|
+
|
|
95
|
+
|
|
96
|
+
|
|
97
|
+
<dl>
|
|
98
|
+
<dt>Defined in:</dt>
|
|
99
|
+
<dd>lib/ravensat/ast/var_node.rb</dd>
|
|
100
|
+
</dl>
|
|
101
|
+
|
|
102
|
+
</div>
|
|
103
|
+
|
|
104
|
+
|
|
105
|
+
|
|
106
|
+
|
|
107
|
+
|
|
108
|
+
<h2>Instance Attribute Summary <small><a href="#" class="summary_toggle">collapse</a></small></h2>
|
|
109
|
+
<ul class="summary">
|
|
110
|
+
|
|
111
|
+
<li class="public ">
|
|
112
|
+
<span class="summary_signature">
|
|
113
|
+
|
|
114
|
+
<a href="#value-instance_method" title="#value (instance method)">#<strong>value</strong> ⇒ Object </a>
|
|
115
|
+
|
|
116
|
+
|
|
117
|
+
|
|
118
|
+
</span>
|
|
119
|
+
|
|
120
|
+
|
|
121
|
+
|
|
122
|
+
|
|
123
|
+
|
|
124
|
+
|
|
125
|
+
|
|
126
|
+
|
|
127
|
+
|
|
128
|
+
|
|
129
|
+
|
|
130
|
+
|
|
131
|
+
<span class="summary_desc"><div class='inline'>
|
|
132
|
+
<p>Returns the value of attribute value.</p>
|
|
133
|
+
</div></span>
|
|
134
|
+
|
|
135
|
+
</li>
|
|
136
|
+
|
|
137
|
+
|
|
138
|
+
</ul>
|
|
139
|
+
|
|
140
|
+
|
|
141
|
+
|
|
142
|
+
|
|
143
|
+
|
|
144
|
+
<h3 class="inherited">Attributes inherited from <span class='object_link'><a href="Node.html" title="Ravensat::Node (class)">Node</a></span></h3>
|
|
145
|
+
<p class="inherited"><span class='object_link'><a href="Node.html#children-instance_method" title="Ravensat::Node#children (method)">#children</a></span></p>
|
|
146
|
+
|
|
147
|
+
|
|
148
|
+
|
|
149
|
+
<h2>
|
|
150
|
+
Instance Method Summary
|
|
151
|
+
<small><a href="#" class="summary_toggle">collapse</a></small>
|
|
152
|
+
</h2>
|
|
153
|
+
|
|
154
|
+
<ul class="summary">
|
|
155
|
+
|
|
156
|
+
<li class="public ">
|
|
157
|
+
<span class="summary_signature">
|
|
158
|
+
|
|
159
|
+
<a href="#cnf%3F-instance_method" title="#cnf? (instance method)">#<strong>cnf?</strong> ⇒ Boolean </a>
|
|
160
|
+
|
|
161
|
+
|
|
162
|
+
|
|
163
|
+
</span>
|
|
164
|
+
|
|
165
|
+
|
|
166
|
+
|
|
167
|
+
|
|
168
|
+
|
|
169
|
+
|
|
170
|
+
|
|
171
|
+
|
|
172
|
+
|
|
173
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
174
|
+
|
|
175
|
+
</li>
|
|
176
|
+
|
|
177
|
+
|
|
178
|
+
<li class="public ">
|
|
179
|
+
<span class="summary_signature">
|
|
180
|
+
|
|
181
|
+
<a href="#initialize-instance_method" title="#initialize (instance method)">#<strong>initialize</strong> ⇒ VarNode </a>
|
|
182
|
+
|
|
183
|
+
|
|
184
|
+
|
|
185
|
+
</span>
|
|
186
|
+
|
|
187
|
+
|
|
188
|
+
<span class="note title constructor">constructor</span>
|
|
189
|
+
|
|
190
|
+
|
|
191
|
+
|
|
192
|
+
|
|
193
|
+
|
|
194
|
+
|
|
195
|
+
|
|
196
|
+
|
|
197
|
+
<span class="summary_desc"><div class='inline'>
|
|
198
|
+
<p>A new instance of VarNode.</p>
|
|
199
|
+
</div></span>
|
|
200
|
+
|
|
201
|
+
</li>
|
|
202
|
+
|
|
203
|
+
|
|
204
|
+
<li class="public ">
|
|
205
|
+
<span class="summary_signature">
|
|
206
|
+
|
|
207
|
+
<a href="#result-instance_method" title="#result (instance method)">#<strong>result</strong> ⇒ Object </a>
|
|
208
|
+
|
|
209
|
+
|
|
210
|
+
|
|
211
|
+
</span>
|
|
212
|
+
|
|
213
|
+
|
|
214
|
+
|
|
215
|
+
|
|
216
|
+
|
|
217
|
+
|
|
218
|
+
|
|
219
|
+
|
|
220
|
+
|
|
221
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
222
|
+
|
|
223
|
+
</li>
|
|
224
|
+
|
|
225
|
+
|
|
226
|
+
<li class="public ">
|
|
227
|
+
<span class="summary_signature">
|
|
228
|
+
|
|
229
|
+
<a href="#~@-instance_method" title="#~@ (instance method)">#<strong>~@</strong> ⇒ Object </a>
|
|
230
|
+
|
|
231
|
+
|
|
232
|
+
|
|
233
|
+
</span>
|
|
234
|
+
|
|
235
|
+
|
|
236
|
+
|
|
237
|
+
|
|
238
|
+
|
|
239
|
+
|
|
240
|
+
|
|
241
|
+
|
|
242
|
+
|
|
243
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
244
|
+
|
|
245
|
+
</li>
|
|
246
|
+
|
|
247
|
+
|
|
248
|
+
</ul>
|
|
249
|
+
|
|
250
|
+
|
|
251
|
+
|
|
252
|
+
|
|
253
|
+
|
|
254
|
+
|
|
255
|
+
|
|
256
|
+
|
|
257
|
+
|
|
258
|
+
|
|
259
|
+
|
|
260
|
+
<h3 class="inherited">Methods inherited from <span class='object_link'><a href="Node.html" title="Ravensat::Node (class)">Node</a></span></h3>
|
|
261
|
+
<p class="inherited"><span class='object_link'><a href="Node.html#&-instance_method" title="Ravensat::Node#& (method)">#&</a></span>, <span class='object_link'><a href="Node.html#clauses_size-instance_method" title="Ravensat::Node#clauses_size (method)">#clauses_size</a></span>, <span class='object_link'><a href="Node.html#each-instance_method" title="Ravensat::Node#each (method)">#each</a></span>, <span class='object_link'><a href="Node.html#to_s-instance_method" title="Ravensat::Node#to_s (method)">#to_s</a></span>, <span class='object_link'><a href="Node.html#vars-instance_method" title="Ravensat::Node#vars (method)">#vars</a></span>, <span class='object_link'><a href="Node.html#vars_size-instance_method" title="Ravensat::Node#vars_size (method)">#vars_size</a></span>, <span class='object_link'><a href="Node.html#%7C-instance_method" title="Ravensat::Node#| (method)">#|</a></span></p>
|
|
262
|
+
|
|
263
|
+
<div id="constructor_details" class="method_details_list">
|
|
264
|
+
<h2>Constructor Details</h2>
|
|
265
|
+
|
|
266
|
+
<div class="method_details first">
|
|
267
|
+
<h3 class="signature first" id="initialize-instance_method">
|
|
268
|
+
|
|
269
|
+
#<strong>initialize</strong> ⇒ <tt><span class='object_link'><a href="" title="Ravensat::VarNode (class)">VarNode</a></span></tt>
|
|
270
|
+
|
|
271
|
+
|
|
272
|
+
|
|
273
|
+
|
|
274
|
+
|
|
275
|
+
</h3><div class="docstring">
|
|
276
|
+
<div class="discussion">
|
|
277
|
+
|
|
278
|
+
<p>Returns a new instance of VarNode.</p>
|
|
279
|
+
|
|
280
|
+
|
|
281
|
+
</div>
|
|
282
|
+
</div>
|
|
283
|
+
<div class="tags">
|
|
284
|
+
|
|
285
|
+
|
|
286
|
+
</div><table class="source_code">
|
|
287
|
+
<tr>
|
|
288
|
+
<td>
|
|
289
|
+
<pre class="lines">
|
|
290
|
+
|
|
291
|
+
|
|
292
|
+
4
|
|
293
|
+
5
|
|
294
|
+
6
|
|
295
|
+
7</pre>
|
|
296
|
+
</td>
|
|
297
|
+
<td>
|
|
298
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/ast/var_node.rb', line 4</span>
|
|
299
|
+
|
|
300
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_initialize'>initialize</span>
|
|
301
|
+
<span class='ivar'>@value</span>
|
|
302
|
+
<span class='ivar'>@children</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span>
|
|
303
|
+
<span class='kw'>end</span></pre>
|
|
304
|
+
</td>
|
|
305
|
+
</tr>
|
|
306
|
+
</table>
|
|
307
|
+
</div>
|
|
308
|
+
|
|
309
|
+
</div>
|
|
310
|
+
|
|
311
|
+
<div id="instance_attr_details" class="attr_details">
|
|
312
|
+
<h2>Instance Attribute Details</h2>
|
|
313
|
+
|
|
314
|
+
|
|
315
|
+
<span id="value=-instance_method"></span>
|
|
316
|
+
<div class="method_details first">
|
|
317
|
+
<h3 class="signature first" id="value-instance_method">
|
|
318
|
+
|
|
319
|
+
#<strong>value</strong> ⇒ <tt>Object</tt>
|
|
320
|
+
|
|
321
|
+
|
|
322
|
+
|
|
323
|
+
|
|
324
|
+
|
|
325
|
+
</h3><div class="docstring">
|
|
326
|
+
<div class="discussion">
|
|
327
|
+
|
|
328
|
+
<p>Returns the value of attribute value.</p>
|
|
329
|
+
|
|
330
|
+
|
|
331
|
+
</div>
|
|
332
|
+
</div>
|
|
333
|
+
<div class="tags">
|
|
334
|
+
|
|
335
|
+
|
|
336
|
+
</div><table class="source_code">
|
|
337
|
+
<tr>
|
|
338
|
+
<td>
|
|
339
|
+
<pre class="lines">
|
|
340
|
+
|
|
341
|
+
|
|
342
|
+
3
|
|
343
|
+
4
|
|
344
|
+
5</pre>
|
|
345
|
+
</td>
|
|
346
|
+
<td>
|
|
347
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/ast/var_node.rb', line 3</span>
|
|
348
|
+
|
|
349
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_value'>value</span>
|
|
350
|
+
<span class='ivar'>@value</span>
|
|
351
|
+
<span class='kw'>end</span></pre>
|
|
352
|
+
</td>
|
|
353
|
+
</tr>
|
|
354
|
+
</table>
|
|
355
|
+
</div>
|
|
356
|
+
|
|
357
|
+
</div>
|
|
358
|
+
|
|
359
|
+
|
|
360
|
+
<div id="instance_method_details" class="method_details_list">
|
|
361
|
+
<h2>Instance Method Details</h2>
|
|
362
|
+
|
|
363
|
+
|
|
364
|
+
<div class="method_details first">
|
|
365
|
+
<h3 class="signature first" id="cnf?-instance_method">
|
|
366
|
+
|
|
367
|
+
#<strong>cnf?</strong> ⇒ <tt>Boolean</tt>
|
|
368
|
+
|
|
369
|
+
|
|
370
|
+
|
|
371
|
+
|
|
372
|
+
|
|
373
|
+
</h3><div class="docstring">
|
|
374
|
+
<div class="discussion">
|
|
375
|
+
|
|
376
|
+
|
|
377
|
+
</div>
|
|
378
|
+
</div>
|
|
379
|
+
<div class="tags">
|
|
380
|
+
|
|
381
|
+
<p class="tag_title">Returns:</p>
|
|
382
|
+
<ul class="return">
|
|
383
|
+
|
|
384
|
+
<li>
|
|
385
|
+
|
|
386
|
+
|
|
387
|
+
<span class='type'>(<tt>Boolean</tt>)</span>
|
|
388
|
+
|
|
389
|
+
|
|
390
|
+
|
|
391
|
+
</li>
|
|
392
|
+
|
|
393
|
+
</ul>
|
|
394
|
+
|
|
395
|
+
</div><table class="source_code">
|
|
396
|
+
<tr>
|
|
397
|
+
<td>
|
|
398
|
+
<pre class="lines">
|
|
399
|
+
|
|
400
|
+
|
|
401
|
+
13
|
|
402
|
+
14
|
|
403
|
+
15</pre>
|
|
404
|
+
</td>
|
|
405
|
+
<td>
|
|
406
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/ast/var_node.rb', line 13</span>
|
|
407
|
+
|
|
408
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_cnf?'>cnf?</span>
|
|
409
|
+
<span class='kw'>true</span>
|
|
410
|
+
<span class='kw'>end</span></pre>
|
|
411
|
+
</td>
|
|
412
|
+
</tr>
|
|
413
|
+
</table>
|
|
414
|
+
</div>
|
|
415
|
+
|
|
416
|
+
<div class="method_details ">
|
|
417
|
+
<h3 class="signature " id="result-instance_method">
|
|
418
|
+
|
|
419
|
+
#<strong>result</strong> ⇒ <tt>Object</tt>
|
|
420
|
+
|
|
421
|
+
|
|
422
|
+
|
|
423
|
+
|
|
424
|
+
|
|
425
|
+
</h3><table class="source_code">
|
|
426
|
+
<tr>
|
|
427
|
+
<td>
|
|
428
|
+
<pre class="lines">
|
|
429
|
+
|
|
430
|
+
|
|
431
|
+
17
|
|
432
|
+
18
|
|
433
|
+
19</pre>
|
|
434
|
+
</td>
|
|
435
|
+
<td>
|
|
436
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/ast/var_node.rb', line 17</span>
|
|
437
|
+
|
|
438
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_result'>result</span>
|
|
439
|
+
<span class='ivar'>@value</span>
|
|
440
|
+
<span class='kw'>end</span></pre>
|
|
441
|
+
</td>
|
|
442
|
+
</tr>
|
|
443
|
+
</table>
|
|
444
|
+
</div>
|
|
445
|
+
|
|
446
|
+
<div class="method_details ">
|
|
447
|
+
<h3 class="signature " id="~@-instance_method">
|
|
448
|
+
|
|
449
|
+
#<strong>~@</strong> ⇒ <tt>Object</tt>
|
|
450
|
+
|
|
451
|
+
|
|
452
|
+
|
|
453
|
+
|
|
454
|
+
|
|
455
|
+
</h3><table class="source_code">
|
|
456
|
+
<tr>
|
|
457
|
+
<td>
|
|
458
|
+
<pre class="lines">
|
|
459
|
+
|
|
460
|
+
|
|
461
|
+
9
|
|
462
|
+
10
|
|
463
|
+
11</pre>
|
|
464
|
+
</td>
|
|
465
|
+
<td>
|
|
466
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/ast/var_node.rb', line 9</span>
|
|
467
|
+
|
|
468
|
+
<span class='kw'>def</span> <span class='op'>~@</span>
|
|
469
|
+
<span class='const'><span class='object_link'><a href="NotNode.html" title="Ravensat::NotNode (class)">NotNode</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="OprNode.html#initialize-instance_method" title="Ravensat::OprNode#initialize (method)">new</a></span></span><span class='lparen'>(</span><span class='kw'>self</span><span class='rparen'>)</span>
|
|
470
|
+
<span class='kw'>end</span></pre>
|
|
471
|
+
</td>
|
|
472
|
+
</tr>
|
|
473
|
+
</table>
|
|
474
|
+
</div>
|
|
475
|
+
|
|
476
|
+
</div>
|
|
477
|
+
|
|
478
|
+
</div>
|
|
479
|
+
|
|
480
|
+
<div id="footer">
|
|
481
|
+
Generated on Wed May 25 14:42:45 2022 by
|
|
482
|
+
<a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
|
|
483
|
+
0.9.27 (ruby-3.0.0).
|
|
484
|
+
</div>
|
|
485
|
+
|
|
486
|
+
</div>
|
|
487
|
+
</body>
|
|
488
|
+
</html>
|
data/docs/Ravensat.html
ADDED
|
@@ -0,0 +1,135 @@
|
|
|
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
|
+
Module: Ravensat
|
|
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";
|
|
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 (R)</a> »
|
|
40
|
+
|
|
41
|
+
|
|
42
|
+
<span class="title">Ravensat</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>Module: Ravensat
|
|
63
|
+
|
|
64
|
+
|
|
65
|
+
|
|
66
|
+
</h1>
|
|
67
|
+
<div class="box_info">
|
|
68
|
+
|
|
69
|
+
|
|
70
|
+
|
|
71
|
+
|
|
72
|
+
|
|
73
|
+
|
|
74
|
+
|
|
75
|
+
|
|
76
|
+
|
|
77
|
+
|
|
78
|
+
|
|
79
|
+
<dl>
|
|
80
|
+
<dt>Defined in:</dt>
|
|
81
|
+
<dd>lib/ravensat.rb<span class="defines">,<br />
|
|
82
|
+
lib/ravensat/ast.rb,<br /> lib/ravensat/claw.rb,<br /> lib/ravensat/dimacs.rb,<br /> lib/ravensat/solver.rb,<br /> lib/ravensat/version.rb,<br /> lib/ravensat/ast/node.rb,<br /> lib/ravensat/extension.rb,<br /> lib/ravensat/ast/or_node.rb,<br /> lib/ravensat/ast/and_node.rb,<br /> lib/ravensat/ast/not_node.rb,<br /> lib/ravensat/ast/opr_node.rb,<br /> lib/ravensat/ast/var_node.rb,<br /> lib/ravensat/ast/initial_node.rb,<br /> lib/ravensat/extension/domain.rb,<br /> lib/ravensat/dimacs/dimacs_decoder.rb,<br /> lib/ravensat/dimacs/dimacs_encoder.rb,<br /> lib/ravensat/extension/variable/variable.rb,<br /> lib/ravensat/extension/variable/boolean_variable.rb,<br /> lib/ravensat/extension/variable/integer_variable.rb,<br /> lib/ravensat/extension/variable/undefined_variable.rb</span>
|
|
83
|
+
</dd>
|
|
84
|
+
</dl>
|
|
85
|
+
|
|
86
|
+
</div>
|
|
87
|
+
|
|
88
|
+
<h2>Defined Under Namespace</h2>
|
|
89
|
+
<p class="children">
|
|
90
|
+
|
|
91
|
+
|
|
92
|
+
<strong class="modules">Modules:</strong> <span class='object_link'><a href="Ravensat/Claw.html" title="Ravensat::Claw (module)">Claw</a></span>, <span class='object_link'><a href="Ravensat/Extension.html" title="Ravensat::Extension (module)">Extension</a></span>
|
|
93
|
+
|
|
94
|
+
|
|
95
|
+
|
|
96
|
+
<strong class="classes">Classes:</strong> <span class='object_link'><a href="Ravensat/AndNode.html" title="Ravensat::AndNode (class)">AndNode</a></span>, <span class='object_link'><a href="Ravensat/DimacsDecoder.html" title="Ravensat::DimacsDecoder (class)">DimacsDecoder</a></span>, <span class='object_link'><a href="Ravensat/DimacsEncoder.html" title="Ravensat::DimacsEncoder (class)">DimacsEncoder</a></span>, <span class='object_link'><a href="Ravensat/InitialNode.html" title="Ravensat::InitialNode (class)">InitialNode</a></span>, <span class='object_link'><a href="Ravensat/Node.html" title="Ravensat::Node (class)">Node</a></span>, <span class='object_link'><a href="Ravensat/NotNode.html" title="Ravensat::NotNode (class)">NotNode</a></span>, <span class='object_link'><a href="Ravensat/OprNode.html" title="Ravensat::OprNode (class)">OprNode</a></span>, <span class='object_link'><a href="Ravensat/OrNode.html" title="Ravensat::OrNode (class)">OrNode</a></span>, <span class='object_link'><a href="Ravensat/Solver.html" title="Ravensat::Solver (class)">Solver</a></span>, <span class='object_link'><a href="Ravensat/VarNode.html" title="Ravensat::VarNode (class)">VarNode</a></span>
|
|
97
|
+
|
|
98
|
+
|
|
99
|
+
</p>
|
|
100
|
+
|
|
101
|
+
|
|
102
|
+
<h2>
|
|
103
|
+
Constant Summary
|
|
104
|
+
<small><a href="#" class="constants_summary_toggle">collapse</a></small>
|
|
105
|
+
</h2>
|
|
106
|
+
|
|
107
|
+
<dl class="constants">
|
|
108
|
+
|
|
109
|
+
<dt id="VERSION-constant" class="">VERSION =
|
|
110
|
+
|
|
111
|
+
</dt>
|
|
112
|
+
<dd><pre class="code"><span class='tstring'><span class='tstring_beg'>"</span><span class='tstring_content'>0.3.1</span><span class='tstring_end'>"</span></span></pre></dd>
|
|
113
|
+
|
|
114
|
+
</dl>
|
|
115
|
+
|
|
116
|
+
|
|
117
|
+
|
|
118
|
+
|
|
119
|
+
|
|
120
|
+
|
|
121
|
+
|
|
122
|
+
|
|
123
|
+
|
|
124
|
+
|
|
125
|
+
</div>
|
|
126
|
+
|
|
127
|
+
<div id="footer">
|
|
128
|
+
Generated on Wed May 25 14:42:45 2022 by
|
|
129
|
+
<a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
|
|
130
|
+
0.9.27 (ruby-3.0.0).
|
|
131
|
+
</div>
|
|
132
|
+
|
|
133
|
+
</div>
|
|
134
|
+
</body>
|
|
135
|
+
</html>
|