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,780 @@
|
|
|
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::Node
|
|
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::Node";
|
|
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 (N)</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">Node</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::Node
|
|
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::Node</li>
|
|
78
|
+
|
|
79
|
+
</ul>
|
|
80
|
+
<a href="#" class="inheritanceTree">show all</a>
|
|
81
|
+
|
|
82
|
+
</dd>
|
|
83
|
+
</dl>
|
|
84
|
+
|
|
85
|
+
|
|
86
|
+
|
|
87
|
+
|
|
88
|
+
|
|
89
|
+
|
|
90
|
+
<dl>
|
|
91
|
+
<dt>Includes:</dt>
|
|
92
|
+
<dd>Enumerable</dd>
|
|
93
|
+
</dl>
|
|
94
|
+
|
|
95
|
+
|
|
96
|
+
|
|
97
|
+
|
|
98
|
+
|
|
99
|
+
|
|
100
|
+
<dl>
|
|
101
|
+
<dt>Defined in:</dt>
|
|
102
|
+
<dd>lib/ravensat/ast/node.rb</dd>
|
|
103
|
+
</dl>
|
|
104
|
+
|
|
105
|
+
</div>
|
|
106
|
+
|
|
107
|
+
<div id="subclasses">
|
|
108
|
+
<h2>Direct Known Subclasses</h2>
|
|
109
|
+
<p class="children"><span class='object_link'><a href="InitialNode.html" title="Ravensat::InitialNode (class)">InitialNode</a></span>, <span class='object_link'><a href="OprNode.html" title="Ravensat::OprNode (class)">OprNode</a></span>, <span class='object_link'><a href="VarNode.html" title="Ravensat::VarNode (class)">VarNode</a></span></p>
|
|
110
|
+
</div>
|
|
111
|
+
|
|
112
|
+
|
|
113
|
+
|
|
114
|
+
|
|
115
|
+
<h2>Instance Attribute Summary <small><a href="#" class="summary_toggle">collapse</a></small></h2>
|
|
116
|
+
<ul class="summary">
|
|
117
|
+
|
|
118
|
+
<li class="public ">
|
|
119
|
+
<span class="summary_signature">
|
|
120
|
+
|
|
121
|
+
<a href="#children-instance_method" title="#children (instance method)">#<strong>children</strong> ⇒ Object </a>
|
|
122
|
+
|
|
123
|
+
|
|
124
|
+
|
|
125
|
+
</span>
|
|
126
|
+
|
|
127
|
+
|
|
128
|
+
|
|
129
|
+
|
|
130
|
+
<span class="note title readonly">readonly</span>
|
|
131
|
+
|
|
132
|
+
|
|
133
|
+
|
|
134
|
+
|
|
135
|
+
|
|
136
|
+
|
|
137
|
+
|
|
138
|
+
|
|
139
|
+
|
|
140
|
+
<span class="summary_desc"><div class='inline'>
|
|
141
|
+
<p>Returns the value of attribute children.</p>
|
|
142
|
+
</div></span>
|
|
143
|
+
|
|
144
|
+
</li>
|
|
145
|
+
|
|
146
|
+
|
|
147
|
+
</ul>
|
|
148
|
+
|
|
149
|
+
|
|
150
|
+
|
|
151
|
+
|
|
152
|
+
|
|
153
|
+
<h2>
|
|
154
|
+
Instance Method Summary
|
|
155
|
+
<small><a href="#" class="summary_toggle">collapse</a></small>
|
|
156
|
+
</h2>
|
|
157
|
+
|
|
158
|
+
<ul class="summary">
|
|
159
|
+
|
|
160
|
+
<li class="public ">
|
|
161
|
+
<span class="summary_signature">
|
|
162
|
+
|
|
163
|
+
<a href="#&-instance_method" title="#& (instance method)">#<strong>&</strong>(object) ⇒ Object </a>
|
|
164
|
+
|
|
165
|
+
|
|
166
|
+
|
|
167
|
+
</span>
|
|
168
|
+
|
|
169
|
+
|
|
170
|
+
|
|
171
|
+
|
|
172
|
+
|
|
173
|
+
|
|
174
|
+
|
|
175
|
+
|
|
176
|
+
|
|
177
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
178
|
+
|
|
179
|
+
</li>
|
|
180
|
+
|
|
181
|
+
|
|
182
|
+
<li class="public ">
|
|
183
|
+
<span class="summary_signature">
|
|
184
|
+
|
|
185
|
+
<a href="#clauses_size-instance_method" title="#clauses_size (instance method)">#<strong>clauses_size</strong> ⇒ Object </a>
|
|
186
|
+
|
|
187
|
+
|
|
188
|
+
|
|
189
|
+
</span>
|
|
190
|
+
|
|
191
|
+
|
|
192
|
+
|
|
193
|
+
|
|
194
|
+
|
|
195
|
+
|
|
196
|
+
|
|
197
|
+
|
|
198
|
+
|
|
199
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
200
|
+
|
|
201
|
+
</li>
|
|
202
|
+
|
|
203
|
+
|
|
204
|
+
<li class="public ">
|
|
205
|
+
<span class="summary_signature">
|
|
206
|
+
|
|
207
|
+
<a href="#cnf%3F-instance_method" title="#cnf? (instance method)">#<strong>cnf?</strong> ⇒ Boolean </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="#each-instance_method" title="#each (instance method)">#<strong>each</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'>
|
|
244
|
+
<p>def each yield(self) @children.each do |child| child.each {|c| yield©} end end.</p>
|
|
245
|
+
</div></span>
|
|
246
|
+
|
|
247
|
+
</li>
|
|
248
|
+
|
|
249
|
+
|
|
250
|
+
<li class="public ">
|
|
251
|
+
<span class="summary_signature">
|
|
252
|
+
|
|
253
|
+
<a href="#initialize-instance_method" title="#initialize (instance method)">#<strong>initialize</strong> ⇒ Node </a>
|
|
254
|
+
|
|
255
|
+
|
|
256
|
+
|
|
257
|
+
</span>
|
|
258
|
+
|
|
259
|
+
|
|
260
|
+
<span class="note title constructor">constructor</span>
|
|
261
|
+
|
|
262
|
+
|
|
263
|
+
|
|
264
|
+
|
|
265
|
+
|
|
266
|
+
|
|
267
|
+
|
|
268
|
+
|
|
269
|
+
<span class="summary_desc"><div class='inline'>
|
|
270
|
+
<p>A new instance of Node.</p>
|
|
271
|
+
</div></span>
|
|
272
|
+
|
|
273
|
+
</li>
|
|
274
|
+
|
|
275
|
+
|
|
276
|
+
<li class="public ">
|
|
277
|
+
<span class="summary_signature">
|
|
278
|
+
|
|
279
|
+
<a href="#to_s-instance_method" title="#to_s (instance method)">#<strong>to_s</strong> ⇒ Object </a>
|
|
280
|
+
|
|
281
|
+
|
|
282
|
+
|
|
283
|
+
</span>
|
|
284
|
+
|
|
285
|
+
|
|
286
|
+
|
|
287
|
+
|
|
288
|
+
|
|
289
|
+
|
|
290
|
+
|
|
291
|
+
|
|
292
|
+
|
|
293
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
294
|
+
|
|
295
|
+
</li>
|
|
296
|
+
|
|
297
|
+
|
|
298
|
+
<li class="public ">
|
|
299
|
+
<span class="summary_signature">
|
|
300
|
+
|
|
301
|
+
<a href="#vars-instance_method" title="#vars (instance method)">#<strong>vars</strong> ⇒ Object </a>
|
|
302
|
+
|
|
303
|
+
|
|
304
|
+
|
|
305
|
+
</span>
|
|
306
|
+
|
|
307
|
+
|
|
308
|
+
|
|
309
|
+
|
|
310
|
+
|
|
311
|
+
|
|
312
|
+
|
|
313
|
+
|
|
314
|
+
|
|
315
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
316
|
+
|
|
317
|
+
</li>
|
|
318
|
+
|
|
319
|
+
|
|
320
|
+
<li class="public ">
|
|
321
|
+
<span class="summary_signature">
|
|
322
|
+
|
|
323
|
+
<a href="#vars_size-instance_method" title="#vars_size (instance method)">#<strong>vars_size</strong> ⇒ Object </a>
|
|
324
|
+
|
|
325
|
+
|
|
326
|
+
|
|
327
|
+
</span>
|
|
328
|
+
|
|
329
|
+
|
|
330
|
+
|
|
331
|
+
|
|
332
|
+
|
|
333
|
+
|
|
334
|
+
|
|
335
|
+
|
|
336
|
+
|
|
337
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
338
|
+
|
|
339
|
+
</li>
|
|
340
|
+
|
|
341
|
+
|
|
342
|
+
<li class="public ">
|
|
343
|
+
<span class="summary_signature">
|
|
344
|
+
|
|
345
|
+
<a href="#%7C-instance_method" title="#| (instance method)">#<strong>|</strong>(object) ⇒ Object </a>
|
|
346
|
+
|
|
347
|
+
|
|
348
|
+
|
|
349
|
+
</span>
|
|
350
|
+
|
|
351
|
+
|
|
352
|
+
|
|
353
|
+
|
|
354
|
+
|
|
355
|
+
|
|
356
|
+
|
|
357
|
+
|
|
358
|
+
|
|
359
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
360
|
+
|
|
361
|
+
</li>
|
|
362
|
+
|
|
363
|
+
|
|
364
|
+
</ul>
|
|
365
|
+
|
|
366
|
+
|
|
367
|
+
|
|
368
|
+
<div id="constructor_details" class="method_details_list">
|
|
369
|
+
<h2>Constructor Details</h2>
|
|
370
|
+
|
|
371
|
+
<div class="method_details first">
|
|
372
|
+
<h3 class="signature first" id="initialize-instance_method">
|
|
373
|
+
|
|
374
|
+
#<strong>initialize</strong> ⇒ <tt><span class='object_link'><a href="" title="Ravensat::Node (class)">Node</a></span></tt>
|
|
375
|
+
|
|
376
|
+
|
|
377
|
+
|
|
378
|
+
|
|
379
|
+
|
|
380
|
+
</h3><div class="docstring">
|
|
381
|
+
<div class="discussion">
|
|
382
|
+
|
|
383
|
+
<p>Returns a new instance of Node.</p>
|
|
384
|
+
|
|
385
|
+
|
|
386
|
+
</div>
|
|
387
|
+
</div>
|
|
388
|
+
<div class="tags">
|
|
389
|
+
|
|
390
|
+
|
|
391
|
+
</div><table class="source_code">
|
|
392
|
+
<tr>
|
|
393
|
+
<td>
|
|
394
|
+
<pre class="lines">
|
|
395
|
+
|
|
396
|
+
|
|
397
|
+
6
|
|
398
|
+
7
|
|
399
|
+
8</pre>
|
|
400
|
+
</td>
|
|
401
|
+
<td>
|
|
402
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/ast/node.rb', line 6</span>
|
|
403
|
+
|
|
404
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_initialize'>initialize</span>
|
|
405
|
+
<span class='ivar'>@children</span> <span class='op'>=</span> <span class='lbracket'>[</span><span class='rbracket'>]</span>
|
|
406
|
+
<span class='kw'>end</span></pre>
|
|
407
|
+
</td>
|
|
408
|
+
</tr>
|
|
409
|
+
</table>
|
|
410
|
+
</div>
|
|
411
|
+
|
|
412
|
+
</div>
|
|
413
|
+
|
|
414
|
+
<div id="instance_attr_details" class="attr_details">
|
|
415
|
+
<h2>Instance Attribute Details</h2>
|
|
416
|
+
|
|
417
|
+
|
|
418
|
+
<span id=""></span>
|
|
419
|
+
<div class="method_details first">
|
|
420
|
+
<h3 class="signature first" id="children-instance_method">
|
|
421
|
+
|
|
422
|
+
#<strong>children</strong> ⇒ <tt>Object</tt> <span class="extras">(readonly)</span>
|
|
423
|
+
|
|
424
|
+
|
|
425
|
+
|
|
426
|
+
|
|
427
|
+
|
|
428
|
+
</h3><div class="docstring">
|
|
429
|
+
<div class="discussion">
|
|
430
|
+
|
|
431
|
+
<p>Returns the value of attribute children.</p>
|
|
432
|
+
|
|
433
|
+
|
|
434
|
+
</div>
|
|
435
|
+
</div>
|
|
436
|
+
<div class="tags">
|
|
437
|
+
|
|
438
|
+
|
|
439
|
+
</div><table class="source_code">
|
|
440
|
+
<tr>
|
|
441
|
+
<td>
|
|
442
|
+
<pre class="lines">
|
|
443
|
+
|
|
444
|
+
|
|
445
|
+
5
|
|
446
|
+
6
|
|
447
|
+
7</pre>
|
|
448
|
+
</td>
|
|
449
|
+
<td>
|
|
450
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/ast/node.rb', line 5</span>
|
|
451
|
+
|
|
452
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_children'>children</span>
|
|
453
|
+
<span class='ivar'>@children</span>
|
|
454
|
+
<span class='kw'>end</span></pre>
|
|
455
|
+
</td>
|
|
456
|
+
</tr>
|
|
457
|
+
</table>
|
|
458
|
+
</div>
|
|
459
|
+
|
|
460
|
+
</div>
|
|
461
|
+
|
|
462
|
+
|
|
463
|
+
<div id="instance_method_details" class="method_details_list">
|
|
464
|
+
<h2>Instance Method Details</h2>
|
|
465
|
+
|
|
466
|
+
|
|
467
|
+
<div class="method_details first">
|
|
468
|
+
<h3 class="signature first" id="&-instance_method">
|
|
469
|
+
|
|
470
|
+
#<strong>&</strong>(object) ⇒ <tt>Object</tt>
|
|
471
|
+
|
|
472
|
+
|
|
473
|
+
|
|
474
|
+
|
|
475
|
+
|
|
476
|
+
</h3><table class="source_code">
|
|
477
|
+
<tr>
|
|
478
|
+
<td>
|
|
479
|
+
<pre class="lines">
|
|
480
|
+
|
|
481
|
+
|
|
482
|
+
31
|
|
483
|
+
32
|
|
484
|
+
33</pre>
|
|
485
|
+
</td>
|
|
486
|
+
<td>
|
|
487
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/ast/node.rb', line 31</span>
|
|
488
|
+
|
|
489
|
+
<span class='kw'>def</span> <span class='op'>&</span><span class='lparen'>(</span><span class='id identifier rubyid_object'>object</span><span class='rparen'>)</span>
|
|
490
|
+
<span class='const'><span class='object_link'><a href="AndNode.html" title="Ravensat::AndNode (class)">AndNode</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='comma'>,</span> <span class='id identifier rubyid_object'>object</span><span class='rparen'>)</span>
|
|
491
|
+
<span class='kw'>end</span></pre>
|
|
492
|
+
</td>
|
|
493
|
+
</tr>
|
|
494
|
+
</table>
|
|
495
|
+
</div>
|
|
496
|
+
|
|
497
|
+
<div class="method_details ">
|
|
498
|
+
<h3 class="signature " id="clauses_size-instance_method">
|
|
499
|
+
|
|
500
|
+
#<strong>clauses_size</strong> ⇒ <tt>Object</tt>
|
|
501
|
+
|
|
502
|
+
|
|
503
|
+
|
|
504
|
+
|
|
505
|
+
|
|
506
|
+
</h3><table class="source_code">
|
|
507
|
+
<tr>
|
|
508
|
+
<td>
|
|
509
|
+
<pre class="lines">
|
|
510
|
+
|
|
511
|
+
|
|
512
|
+
55
|
|
513
|
+
56
|
|
514
|
+
57</pre>
|
|
515
|
+
</td>
|
|
516
|
+
<td>
|
|
517
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/ast/node.rb', line 55</span>
|
|
518
|
+
|
|
519
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_clauses_size'>clauses_size</span>
|
|
520
|
+
<span class='kw'>self</span><span class='period'>.</span><span class='id identifier rubyid_count'>count</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_node'>node</span><span class='op'>|</span> <span class='id identifier rubyid_node'>node</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span> <span class='const'><span class='object_link'><a href="AndNode.html" title="Ravensat::AndNode (class)">AndNode</a></span></span><span class='rbrace'>}</span> <span class='op'>+</span> <span class='int'>1</span>
|
|
521
|
+
<span class='kw'>end</span></pre>
|
|
522
|
+
</td>
|
|
523
|
+
</tr>
|
|
524
|
+
</table>
|
|
525
|
+
</div>
|
|
526
|
+
|
|
527
|
+
<div class="method_details ">
|
|
528
|
+
<h3 class="signature " id="cnf?-instance_method">
|
|
529
|
+
|
|
530
|
+
#<strong>cnf?</strong> ⇒ <tt>Boolean</tt>
|
|
531
|
+
|
|
532
|
+
|
|
533
|
+
|
|
534
|
+
|
|
535
|
+
|
|
536
|
+
</h3><div class="docstring">
|
|
537
|
+
<div class="discussion">
|
|
538
|
+
|
|
539
|
+
|
|
540
|
+
</div>
|
|
541
|
+
</div>
|
|
542
|
+
<div class="tags">
|
|
543
|
+
|
|
544
|
+
<p class="tag_title">Returns:</p>
|
|
545
|
+
<ul class="return">
|
|
546
|
+
|
|
547
|
+
<li>
|
|
548
|
+
|
|
549
|
+
|
|
550
|
+
<span class='type'>(<tt>Boolean</tt>)</span>
|
|
551
|
+
|
|
552
|
+
|
|
553
|
+
|
|
554
|
+
</li>
|
|
555
|
+
|
|
556
|
+
</ul>
|
|
557
|
+
|
|
558
|
+
</div><table class="source_code">
|
|
559
|
+
<tr>
|
|
560
|
+
<td>
|
|
561
|
+
<pre class="lines">
|
|
562
|
+
|
|
563
|
+
|
|
564
|
+
43
|
|
565
|
+
44
|
|
566
|
+
45</pre>
|
|
567
|
+
</td>
|
|
568
|
+
<td>
|
|
569
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/ast/node.rb', line 43</span>
|
|
570
|
+
|
|
571
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_cnf?'>cnf?</span>
|
|
572
|
+
<span class='ivar'>@children</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&</span><span class='symbol'>:cnf?</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_reduce'>reduce</span><span class='lparen'>(</span><span class='symbol'>:&</span><span class='rparen'>)</span>
|
|
573
|
+
<span class='kw'>end</span></pre>
|
|
574
|
+
</td>
|
|
575
|
+
</tr>
|
|
576
|
+
</table>
|
|
577
|
+
</div>
|
|
578
|
+
|
|
579
|
+
<div class="method_details ">
|
|
580
|
+
<h3 class="signature " id="each-instance_method">
|
|
581
|
+
|
|
582
|
+
#<strong>each</strong> ⇒ <tt>Object</tt>
|
|
583
|
+
|
|
584
|
+
|
|
585
|
+
|
|
586
|
+
|
|
587
|
+
|
|
588
|
+
</h3><div class="docstring">
|
|
589
|
+
<div class="discussion">
|
|
590
|
+
|
|
591
|
+
<p>def each</p>
|
|
592
|
+
|
|
593
|
+
<pre class="code ruby"><code class="ruby"><span class='kw'>yield</span><span class='lparen'>(</span><span class='kw'>self</span><span class='rparen'>)</span>
|
|
594
|
+
<span class='ivar'>@children</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_child'>child</span><span class='op'>|</span>
|
|
595
|
+
<span class='id identifier rubyid_child'>child</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span> <span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_c'>c</span><span class='op'>|</span> <span class='kw'>yield</span><span class='lparen'>(</span><span class='id identifier rubyid_c'>c</span><span class='rparen'>)</span><span class='rbrace'>}</span>
|
|
596
|
+
<span class='kw'>end</span>
|
|
597
|
+
</code></pre>
|
|
598
|
+
|
|
599
|
+
<p>end</p>
|
|
600
|
+
|
|
601
|
+
|
|
602
|
+
</div>
|
|
603
|
+
</div>
|
|
604
|
+
<div class="tags">
|
|
605
|
+
|
|
606
|
+
|
|
607
|
+
</div><table class="source_code">
|
|
608
|
+
<tr>
|
|
609
|
+
<td>
|
|
610
|
+
<pre class="lines">
|
|
611
|
+
|
|
612
|
+
|
|
613
|
+
17
|
|
614
|
+
18
|
|
615
|
+
19
|
|
616
|
+
20
|
|
617
|
+
21
|
|
618
|
+
22
|
|
619
|
+
23
|
|
620
|
+
24
|
|
621
|
+
25
|
|
622
|
+
26
|
|
623
|
+
27
|
|
624
|
+
28
|
|
625
|
+
29</pre>
|
|
626
|
+
</td>
|
|
627
|
+
<td>
|
|
628
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/ast/node.rb', line 17</span>
|
|
629
|
+
|
|
630
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_each'>each</span>
|
|
631
|
+
<span class='kw'>case</span> <span class='kw'>self</span>
|
|
632
|
+
<span class='kw'>when</span> <span class='const'><span class='object_link'><a href="AndNode.html" title="Ravensat::AndNode (class)">AndNode</a></span></span><span class='comma'>,</span> <span class='const'><span class='object_link'><a href="OrNode.html" title="Ravensat::OrNode (class)">OrNode</a></span></span>
|
|
633
|
+
<span class='ivar'>@children</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_c'>c</span><span class='op'>|</span> <span class='kw'>yield</span><span class='lparen'>(</span><span class='id identifier rubyid_c'>c</span><span class='rparen'>)</span><span class='rbrace'>}</span>
|
|
634
|
+
<span class='kw'>yield</span><span class='lparen'>(</span><span class='kw'>self</span><span class='rparen'>)</span>
|
|
635
|
+
<span class='ivar'>@children</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_c'>c</span><span class='op'>|</span> <span class='kw'>yield</span><span class='lparen'>(</span><span class='id identifier rubyid_c'>c</span><span class='rparen'>)</span><span class='rbrace'>}</span>
|
|
636
|
+
<span class='kw'>when</span> <span class='const'><span class='object_link'><a href="NotNode.html" title="Ravensat::NotNode (class)">NotNode</a></span></span>
|
|
637
|
+
<span class='kw'>yield</span><span class='lparen'>(</span><span class='kw'>self</span><span class='rparen'>)</span>
|
|
638
|
+
<span class='ivar'>@children</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='period'>.</span><span class='id identifier rubyid_each'>each</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_c'>c</span><span class='op'>|</span> <span class='kw'>yield</span><span class='lparen'>(</span><span class='id identifier rubyid_c'>c</span><span class='rparen'>)</span><span class='rbrace'>}</span>
|
|
639
|
+
<span class='kw'>when</span> <span class='const'><span class='object_link'><a href="VarNode.html" title="Ravensat::VarNode (class)">VarNode</a></span></span>
|
|
640
|
+
<span class='kw'>yield</span><span class='lparen'>(</span><span class='kw'>self</span><span class='rparen'>)</span>
|
|
641
|
+
<span class='kw'>end</span>
|
|
642
|
+
<span class='kw'>end</span></pre>
|
|
643
|
+
</td>
|
|
644
|
+
</tr>
|
|
645
|
+
</table>
|
|
646
|
+
</div>
|
|
647
|
+
|
|
648
|
+
<div class="method_details ">
|
|
649
|
+
<h3 class="signature " id="to_s-instance_method">
|
|
650
|
+
|
|
651
|
+
#<strong>to_s</strong> ⇒ <tt>Object</tt>
|
|
652
|
+
|
|
653
|
+
|
|
654
|
+
|
|
655
|
+
|
|
656
|
+
|
|
657
|
+
</h3><table class="source_code">
|
|
658
|
+
<tr>
|
|
659
|
+
<td>
|
|
660
|
+
<pre class="lines">
|
|
661
|
+
|
|
662
|
+
|
|
663
|
+
39
|
|
664
|
+
40
|
|
665
|
+
41</pre>
|
|
666
|
+
</td>
|
|
667
|
+
<td>
|
|
668
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/ast/node.rb', line 39</span>
|
|
669
|
+
|
|
670
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_to_s'>to_s</span>
|
|
671
|
+
<span class='kw'>self</span><span class='period'>.</span><span class='id identifier rubyid_class'>class</span><span class='period'>.</span><span class='id identifier rubyid_name'>name</span>
|
|
672
|
+
<span class='kw'>end</span></pre>
|
|
673
|
+
</td>
|
|
674
|
+
</tr>
|
|
675
|
+
</table>
|
|
676
|
+
</div>
|
|
677
|
+
|
|
678
|
+
<div class="method_details ">
|
|
679
|
+
<h3 class="signature " id="vars-instance_method">
|
|
680
|
+
|
|
681
|
+
#<strong>vars</strong> ⇒ <tt>Object</tt>
|
|
682
|
+
|
|
683
|
+
|
|
684
|
+
|
|
685
|
+
|
|
686
|
+
|
|
687
|
+
</h3><table class="source_code">
|
|
688
|
+
<tr>
|
|
689
|
+
<td>
|
|
690
|
+
<pre class="lines">
|
|
691
|
+
|
|
692
|
+
|
|
693
|
+
47
|
|
694
|
+
48
|
|
695
|
+
49</pre>
|
|
696
|
+
</td>
|
|
697
|
+
<td>
|
|
698
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/ast/node.rb', line 47</span>
|
|
699
|
+
|
|
700
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_vars'>vars</span>
|
|
701
|
+
<span class='kw'>self</span><span class='period'>.</span><span class='id identifier rubyid_select'>select</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_node'>node</span><span class='op'>|</span> <span class='id identifier rubyid_node'>node</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span> <span class='const'><span class='object_link'><a href="VarNode.html" title="Ravensat::VarNode (class)">VarNode</a></span></span><span class='rbrace'>}</span><span class='period'>.</span><span class='id identifier rubyid_uniq'>uniq</span>
|
|
702
|
+
<span class='kw'>end</span></pre>
|
|
703
|
+
</td>
|
|
704
|
+
</tr>
|
|
705
|
+
</table>
|
|
706
|
+
</div>
|
|
707
|
+
|
|
708
|
+
<div class="method_details ">
|
|
709
|
+
<h3 class="signature " id="vars_size-instance_method">
|
|
710
|
+
|
|
711
|
+
#<strong>vars_size</strong> ⇒ <tt>Object</tt>
|
|
712
|
+
|
|
713
|
+
|
|
714
|
+
|
|
715
|
+
|
|
716
|
+
|
|
717
|
+
</h3><table class="source_code">
|
|
718
|
+
<tr>
|
|
719
|
+
<td>
|
|
720
|
+
<pre class="lines">
|
|
721
|
+
|
|
722
|
+
|
|
723
|
+
51
|
|
724
|
+
52
|
|
725
|
+
53</pre>
|
|
726
|
+
</td>
|
|
727
|
+
<td>
|
|
728
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/ast/node.rb', line 51</span>
|
|
729
|
+
|
|
730
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_vars_size'>vars_size</span>
|
|
731
|
+
<span class='kw'>self</span><span class='period'>.</span><span class='id identifier rubyid_vars'>vars</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span>
|
|
732
|
+
<span class='kw'>end</span></pre>
|
|
733
|
+
</td>
|
|
734
|
+
</tr>
|
|
735
|
+
</table>
|
|
736
|
+
</div>
|
|
737
|
+
|
|
738
|
+
<div class="method_details ">
|
|
739
|
+
<h3 class="signature " id="|-instance_method">
|
|
740
|
+
|
|
741
|
+
#<strong>|</strong>(object) ⇒ <tt>Object</tt>
|
|
742
|
+
|
|
743
|
+
|
|
744
|
+
|
|
745
|
+
|
|
746
|
+
|
|
747
|
+
</h3><table class="source_code">
|
|
748
|
+
<tr>
|
|
749
|
+
<td>
|
|
750
|
+
<pre class="lines">
|
|
751
|
+
|
|
752
|
+
|
|
753
|
+
35
|
|
754
|
+
36
|
|
755
|
+
37</pre>
|
|
756
|
+
</td>
|
|
757
|
+
<td>
|
|
758
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/ast/node.rb', line 35</span>
|
|
759
|
+
|
|
760
|
+
<span class='kw'>def</span> <span class='op'>|</span><span class='lparen'>(</span><span class='id identifier rubyid_object'>object</span><span class='rparen'>)</span>
|
|
761
|
+
<span class='const'><span class='object_link'><a href="OrNode.html" title="Ravensat::OrNode (class)">OrNode</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='comma'>,</span> <span class='id identifier rubyid_object'>object</span><span class='rparen'>)</span>
|
|
762
|
+
<span class='kw'>end</span></pre>
|
|
763
|
+
</td>
|
|
764
|
+
</tr>
|
|
765
|
+
</table>
|
|
766
|
+
</div>
|
|
767
|
+
|
|
768
|
+
</div>
|
|
769
|
+
|
|
770
|
+
</div>
|
|
771
|
+
|
|
772
|
+
<div id="footer">
|
|
773
|
+
Generated on Wed May 25 14:42:45 2022 by
|
|
774
|
+
<a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
|
|
775
|
+
0.9.27 (ruby-3.0.0).
|
|
776
|
+
</div>
|
|
777
|
+
|
|
778
|
+
</div>
|
|
779
|
+
</body>
|
|
780
|
+
</html>
|