ravensat 0.3.1 → 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.
Files changed (45) hide show
  1. checksums.yaml +4 -4
  2. data/README.md +26 -13
  3. data/docs/Arcteryx/CNF.html +827 -0
  4. data/docs/Arcteryx.html +309 -0
  5. data/docs/Ravensat/AndNode.html +159 -0
  6. data/docs/Ravensat/Claw.html +338 -0
  7. data/docs/Ravensat/DimacsDecoder.html +224 -0
  8. data/docs/Ravensat/DimacsEncoder.html +425 -0
  9. data/docs/Ravensat/Extension/BooleanVariable.html +229 -0
  10. data/docs/Ravensat/Extension/Domain.html +319 -0
  11. data/docs/Ravensat/Extension/IntegerVariable.html +589 -0
  12. data/docs/Ravensat/Extension/UndefinedVariable.html +236 -0
  13. data/docs/Ravensat/Extension/Variable.html +443 -0
  14. data/docs/Ravensat/Extension.html +141 -0
  15. data/docs/Ravensat/InitialNode.html +267 -0
  16. data/docs/Ravensat/Node.html +780 -0
  17. data/docs/Ravensat/NotNode.html +159 -0
  18. data/docs/Ravensat/OprNode.html +226 -0
  19. data/docs/Ravensat/OrNode.html +252 -0
  20. data/docs/Ravensat/Solver.html +373 -0
  21. data/docs/Ravensat/VarNode.html +488 -0
  22. data/docs/Ravensat.html +135 -0
  23. data/docs/_index.html +329 -0
  24. data/docs/class_list.html +51 -0
  25. data/docs/css/common.css +1 -0
  26. data/docs/css/full_list.css +58 -0
  27. data/docs/css/style.css +497 -0
  28. data/docs/file.README.html +233 -0
  29. data/docs/file_list.html +56 -0
  30. data/docs/frames.html +17 -0
  31. data/docs/index.html +233 -0
  32. data/docs/js/app.js +314 -0
  33. data/docs/js/full_list.js +216 -0
  34. data/docs/js/jquery.js +4 -0
  35. data/docs/method_list.html +523 -0
  36. data/docs/top-level-namespace.html +110 -0
  37. data/lib/ravensat/ast/node.rb +10 -10
  38. data/lib/ravensat/ast/not_node.rb +3 -0
  39. data/lib/ravensat/claw.rb +44 -0
  40. data/lib/ravensat/dimacs/dimacs_encoder.rb +1 -1
  41. data/lib/ravensat/extension/variable/integer_variable.rb +3 -3
  42. data/lib/ravensat/version.rb +1 -1
  43. data/lib/ravensat.rb +1 -1
  44. metadata +37 -3
  45. data/lib/ravensat/ravenclaw.rb +0 -19
@@ -0,0 +1,523 @@
1
+ <!DOCTYPE html>
2
+ <html>
3
+ <head>
4
+ <meta name="viewport" content="width=device-width, initial-scale=1.0">
5
+ <meta charset="utf-8" />
6
+
7
+ <link rel="stylesheet" href="css/full_list.css" type="text/css" media="screen" />
8
+
9
+ <link rel="stylesheet" href="css/common.css" type="text/css" media="screen" />
10
+
11
+
12
+
13
+ <script type="text/javascript" charset="utf-8" src="js/jquery.js"></script>
14
+
15
+ <script type="text/javascript" charset="utf-8" src="js/full_list.js"></script>
16
+
17
+
18
+ <title>Method List</title>
19
+ <base id="base_target" target="_parent" />
20
+ </head>
21
+ <body>
22
+ <div id="content">
23
+ <div class="fixed_header">
24
+ <h1 id="full_list_header">Method List</h1>
25
+ <div id="full_list_nav">
26
+
27
+ <span><a target="_self" href="class_list.html">
28
+ Classes
29
+ </a></span>
30
+
31
+ <span><a target="_self" href="method_list.html">
32
+ Methods
33
+ </a></span>
34
+
35
+ <span><a target="_self" href="file_list.html">
36
+ Files
37
+ </a></span>
38
+
39
+ </div>
40
+
41
+ <div id="search">Search: <input type="text" /></div>
42
+ </div>
43
+
44
+ <ul id="full_list" class="method">
45
+
46
+
47
+ <li class="odd ">
48
+ <div class="item">
49
+ <span class='object_link'><a href="Ravensat/Extension/IntegerVariable.html#!=-instance_method" title="Ravensat::Extension::IntegerVariable#!= (method)">#!=</a></span>
50
+ <small>Ravensat::Extension::IntegerVariable</small>
51
+ </div>
52
+ </li>
53
+
54
+
55
+ <li class="even ">
56
+ <div class="item">
57
+ <span class='object_link'><a href="Ravensat/Node.html#&-instance_method" title="Ravensat::Node#&amp; (method)">#&amp;</a></span>
58
+ <small>Ravensat::Node</small>
59
+ </div>
60
+ </li>
61
+
62
+
63
+ <li class="odd ">
64
+ <div class="item">
65
+ <span class='object_link'><a href="Ravensat/InitialNode.html#&-instance_method" title="Ravensat::InitialNode#&amp; (method)">#&amp;</a></span>
66
+ <small>Ravensat::InitialNode</small>
67
+ </div>
68
+ </li>
69
+
70
+
71
+ <li class="even ">
72
+ <div class="item">
73
+ <span class='object_link'><a href="Ravensat/Extension/IntegerVariable.html#==-instance_method" title="Ravensat::Extension::IntegerVariable#== (method)">#==</a></span>
74
+ <small>Ravensat::Extension::IntegerVariable</small>
75
+ </div>
76
+ </li>
77
+
78
+
79
+ <li class="odd ">
80
+ <div class="item">
81
+ <span class='object_link'><a href="Arcteryx.html#DPLL-class_method" title="Arcteryx.DPLL (method)">DPLL</a></span>
82
+ <small>Arcteryx</small>
83
+ </div>
84
+ </li>
85
+
86
+
87
+ <li class="even ">
88
+ <div class="item">
89
+ <span class='object_link'><a href="Ravensat/Claw.html#all_different-class_method" title="Ravensat::Claw.all_different (method)">all_different</a></span>
90
+ <small>Ravensat::Claw</small>
91
+ </div>
92
+ </li>
93
+
94
+
95
+ <li class="odd ">
96
+ <div class="item">
97
+ <span class='object_link'><a href="Ravensat/Claw.html#all_only_one-class_method" title="Ravensat::Claw.all_only_one (method)">all_only_one</a></span>
98
+ <small>Ravensat::Claw</small>
99
+ </div>
100
+ </li>
101
+
102
+
103
+ <li class="even ">
104
+ <div class="item">
105
+ <span class='object_link'><a href="Ravensat/Claw.html#alo-class_method" title="Ravensat::Claw.alo (method)">alo</a></span>
106
+ <small>Ravensat::Claw</small>
107
+ </div>
108
+ </li>
109
+
110
+
111
+ <li class="odd ">
112
+ <div class="item">
113
+ <span class='object_link'><a href="Ravensat/Claw.html#amo-class_method" title="Ravensat::Claw.amo (method)">amo</a></span>
114
+ <small>Ravensat::Claw</small>
115
+ </div>
116
+ </li>
117
+
118
+
119
+ <li class="even ">
120
+ <div class="item">
121
+ <span class='object_link'><a href="Arcteryx/CNF.html#append-instance_method" title="Arcteryx::CNF#append (method)">#append</a></span>
122
+ <small>Arcteryx::CNF</small>
123
+ </div>
124
+ </li>
125
+
126
+
127
+ <li class="odd ">
128
+ <div class="item">
129
+ <span class='object_link'><a href="Ravensat/Extension/Variable.html#args-instance_method" title="Ravensat::Extension::Variable#args (method)">#args</a></span>
130
+ <small>Ravensat::Extension::Variable</small>
131
+ </div>
132
+ </li>
133
+
134
+
135
+ <li class="even ">
136
+ <div class="item">
137
+ <span class='object_link'><a href="Ravensat/Extension/Domain.html#bool-instance_method" title="Ravensat::Extension::Domain#bool (method)">#bool</a></span>
138
+ <small>Ravensat::Extension::Domain</small>
139
+ </div>
140
+ </li>
141
+
142
+
143
+ <li class="odd ">
144
+ <div class="item">
145
+ <span class='object_link'><a href="Ravensat/Node.html#children-instance_method" title="Ravensat::Node#children (method)">#children</a></span>
146
+ <small>Ravensat::Node</small>
147
+ </div>
148
+ </li>
149
+
150
+
151
+ <li class="even ">
152
+ <div class="item">
153
+ <span class='object_link'><a href="Arcteryx/CNF.html#choose_variable-instance_method" title="Arcteryx::CNF#choose_variable (method)">#choose_variable</a></span>
154
+ <small>Arcteryx::CNF</small>
155
+ </div>
156
+ </li>
157
+
158
+
159
+ <li class="odd ">
160
+ <div class="item">
161
+ <span class='object_link'><a href="Ravensat/Node.html#clauses_size-instance_method" title="Ravensat::Node#clauses_size (method)">#clauses_size</a></span>
162
+ <small>Ravensat::Node</small>
163
+ </div>
164
+ </li>
165
+
166
+
167
+ <li class="even ">
168
+ <div class="item">
169
+ <span class='object_link'><a href="Ravensat/Node.html#cnf%3F-instance_method" title="Ravensat::Node#cnf? (method)">#cnf?</a></span>
170
+ <small>Ravensat::Node</small>
171
+ </div>
172
+ </li>
173
+
174
+
175
+ <li class="odd ">
176
+ <div class="item">
177
+ <span class='object_link'><a href="Ravensat/OrNode.html#cnf%3F-instance_method" title="Ravensat::OrNode#cnf? (method)">#cnf?</a></span>
178
+ <small>Ravensat::OrNode</small>
179
+ </div>
180
+ </li>
181
+
182
+
183
+ <li class="even ">
184
+ <div class="item">
185
+ <span class='object_link'><a href="Ravensat/VarNode.html#cnf%3F-instance_method" title="Ravensat::VarNode#cnf? (method)">#cnf?</a></span>
186
+ <small>Ravensat::VarNode</small>
187
+ </div>
188
+ </li>
189
+
190
+
191
+ <li class="odd ">
192
+ <div class="item">
193
+ <span class='object_link'><a href="Ravensat/DimacsEncoder.html#create_table-instance_method" title="Ravensat::DimacsEncoder#create_table (method)">#create_table</a></span>
194
+ <small>Ravensat::DimacsEncoder</small>
195
+ </div>
196
+ </li>
197
+
198
+
199
+ <li class="even ">
200
+ <div class="item">
201
+ <span class='object_link'><a href="Ravensat/DimacsDecoder.html#decode-instance_method" title="Ravensat::DimacsDecoder#decode (method)">#decode</a></span>
202
+ <small>Ravensat::DimacsDecoder</small>
203
+ </div>
204
+ </li>
205
+
206
+
207
+ <li class="odd ">
208
+ <div class="item">
209
+ <span class='object_link'><a href="Arcteryx/CNF.html#deep_dup-instance_method" title="Arcteryx::CNF#deep_dup (method)">#deep_dup</a></span>
210
+ <small>Arcteryx::CNF</small>
211
+ </div>
212
+ </li>
213
+
214
+
215
+ <li class="even ">
216
+ <div class="item">
217
+ <span class='object_link'><a href="Ravensat/Node.html#each-instance_method" title="Ravensat::Node#each (method)">#each</a></span>
218
+ <small>Ravensat::Node</small>
219
+ </div>
220
+ </li>
221
+
222
+
223
+ <li class="odd ">
224
+ <div class="item">
225
+ <span class='object_link'><a href="Arcteryx/CNF.html#empty%3F-instance_method" title="Arcteryx::CNF#empty? (method)">#empty?</a></span>
226
+ <small>Arcteryx::CNF</small>
227
+ </div>
228
+ </li>
229
+
230
+
231
+ <li class="even ">
232
+ <div class="item">
233
+ <span class='object_link'><a href="Arcteryx/CNF.html#exist_empty_clause%3F-instance_method" title="Arcteryx::CNF#exist_empty_clause? (method)">#exist_empty_clause?</a></span>
234
+ <small>Arcteryx::CNF</small>
235
+ </div>
236
+ </li>
237
+
238
+
239
+ <li class="odd ">
240
+ <div class="item">
241
+ <span class='object_link'><a href="Arcteryx/CNF.html#find_unit_clause-instance_method" title="Arcteryx::CNF#find_unit_clause (method)">#find_unit_clause</a></span>
242
+ <small>Arcteryx::CNF</small>
243
+ </div>
244
+ </li>
245
+
246
+
247
+ <li class="even ">
248
+ <div class="item">
249
+ <span class='object_link'><a href="Arcteryx/CNF.html#initialize-instance_method" title="Arcteryx::CNF#initialize (method)">#initialize</a></span>
250
+ <small>Arcteryx::CNF</small>
251
+ </div>
252
+ </li>
253
+
254
+
255
+ <li class="odd ">
256
+ <div class="item">
257
+ <span class='object_link'><a href="Ravensat/Solver.html#initialize-instance_method" title="Ravensat::Solver#initialize (method)">#initialize</a></span>
258
+ <small>Ravensat::Solver</small>
259
+ </div>
260
+ </li>
261
+
262
+
263
+ <li class="even ">
264
+ <div class="item">
265
+ <span class='object_link'><a href="Ravensat/Node.html#initialize-instance_method" title="Ravensat::Node#initialize (method)">#initialize</a></span>
266
+ <small>Ravensat::Node</small>
267
+ </div>
268
+ </li>
269
+
270
+
271
+ <li class="odd ">
272
+ <div class="item">
273
+ <span class='object_link'><a href="Ravensat/OprNode.html#initialize-instance_method" title="Ravensat::OprNode#initialize (method)">#initialize</a></span>
274
+ <small>Ravensat::OprNode</small>
275
+ </div>
276
+ </li>
277
+
278
+
279
+ <li class="even ">
280
+ <div class="item">
281
+ <span class='object_link'><a href="Ravensat/VarNode.html#initialize-instance_method" title="Ravensat::VarNode#initialize (method)">#initialize</a></span>
282
+ <small>Ravensat::VarNode</small>
283
+ </div>
284
+ </li>
285
+
286
+
287
+ <li class="odd ">
288
+ <div class="item">
289
+ <span class='object_link'><a href="Ravensat/DimacsEncoder.html#initialize-instance_method" title="Ravensat::DimacsEncoder#initialize (method)">#initialize</a></span>
290
+ <small>Ravensat::DimacsEncoder</small>
291
+ </div>
292
+ </li>
293
+
294
+
295
+ <li class="even ">
296
+ <div class="item">
297
+ <span class='object_link'><a href="Ravensat/Extension/Variable.html#initialize-instance_method" title="Ravensat::Extension::Variable#initialize (method)">#initialize</a></span>
298
+ <small>Ravensat::Extension::Variable</small>
299
+ </div>
300
+ </li>
301
+
302
+
303
+ <li class="odd ">
304
+ <div class="item">
305
+ <span class='object_link'><a href="Ravensat/Extension/BooleanVariable.html#initialize-instance_method" title="Ravensat::Extension::BooleanVariable#initialize (method)">#initialize</a></span>
306
+ <small>Ravensat::Extension::BooleanVariable</small>
307
+ </div>
308
+ </li>
309
+
310
+
311
+ <li class="even ">
312
+ <div class="item">
313
+ <span class='object_link'><a href="Ravensat/Extension/IntegerVariable.html#initialize-instance_method" title="Ravensat::Extension::IntegerVariable#initialize (method)">#initialize</a></span>
314
+ <small>Ravensat::Extension::IntegerVariable</small>
315
+ </div>
316
+ </li>
317
+
318
+
319
+ <li class="odd ">
320
+ <div class="item">
321
+ <span class='object_link'><a href="Ravensat/Extension/Domain.html#int-instance_method" title="Ravensat::Extension::Domain#int (method)">#int</a></span>
322
+ <small>Ravensat::Extension::Domain</small>
323
+ </div>
324
+ </li>
325
+
326
+
327
+ <li class="even ">
328
+ <div class="item">
329
+ <span class='object_link'><a href="Ravensat/Extension/Variable.html#is_defined%3F-instance_method" title="Ravensat::Extension::Variable#is_defined? (method)">#is_defined?</a></span>
330
+ <small>Ravensat::Extension::Variable</small>
331
+ </div>
332
+ </li>
333
+
334
+
335
+ <li class="odd ">
336
+ <div class="item">
337
+ <span class='object_link'><a href="Ravensat/Extension/UndefinedVariable.html#is_defined%3F-instance_method" title="Ravensat::Extension::UndefinedVariable#is_defined? (method)">#is_defined?</a></span>
338
+ <small>Ravensat::Extension::UndefinedVariable</small>
339
+ </div>
340
+ </li>
341
+
342
+
343
+ <li class="even ">
344
+ <div class="item">
345
+ <span class='object_link'><a href="Ravensat/Extension/Domain.html#method_missing-instance_method" title="Ravensat::Extension::Domain#method_missing (method)">#method_missing</a></span>
346
+ <small>Ravensat::Extension::Domain</small>
347
+ </div>
348
+ </li>
349
+
350
+
351
+ <li class="odd ">
352
+ <div class="item">
353
+ <span class='object_link'><a href="Ravensat/Solver.html#name-instance_method" title="Ravensat::Solver#name (method)">#name</a></span>
354
+ <small>Ravensat::Solver</small>
355
+ </div>
356
+ </li>
357
+
358
+
359
+ <li class="even ">
360
+ <div class="item">
361
+ <span class='object_link'><a href="Ravensat/Extension/Variable.html#name-instance_method" title="Ravensat::Extension::Variable#name (method)">#name</a></span>
362
+ <small>Ravensat::Extension::Variable</small>
363
+ </div>
364
+ </li>
365
+
366
+
367
+ <li class="odd ">
368
+ <div class="item">
369
+ <span class='object_link'><a href="Ravensat/DimacsEncoder.html#name_table-instance_method" title="Ravensat::DimacsEncoder#name_table (method)">#name_table</a></span>
370
+ <small>Ravensat::DimacsEncoder</small>
371
+ </div>
372
+ </li>
373
+
374
+
375
+ <li class="even ">
376
+ <div class="item">
377
+ <span class='object_link'><a href="Ravensat/Extension/IntegerVariable.html#only_one-instance_method" title="Ravensat::Extension::IntegerVariable#only_one (method)">#only_one</a></span>
378
+ <small>Ravensat::Extension::IntegerVariable</small>
379
+ </div>
380
+ </li>
381
+
382
+
383
+ <li class="odd ">
384
+ <div class="item">
385
+ <span class='object_link'><a href="Arcteryx/CNF.html#parse-instance_method" title="Arcteryx::CNF#parse (method)">#parse</a></span>
386
+ <small>Arcteryx::CNF</small>
387
+ </div>
388
+ </li>
389
+
390
+
391
+ <li class="even ">
392
+ <div class="item">
393
+ <span class='object_link'><a href="Arcteryx/CNF.html#result-instance_method" title="Arcteryx::CNF#result (method)">#result</a></span>
394
+ <small>Arcteryx::CNF</small>
395
+ </div>
396
+ </li>
397
+
398
+
399
+ <li class="odd ">
400
+ <div class="item">
401
+ <span class='object_link'><a href="Ravensat/VarNode.html#result-instance_method" title="Ravensat::VarNode#result (method)">#result</a></span>
402
+ <small>Ravensat::VarNode</small>
403
+ </div>
404
+ </li>
405
+
406
+
407
+ <li class="even ">
408
+ <div class="item">
409
+ <span class='object_link'><a href="Ravensat/Extension/IntegerVariable.html#result-instance_method" title="Ravensat::Extension::IntegerVariable#result (method)">#result</a></span>
410
+ <small>Ravensat::Extension::IntegerVariable</small>
411
+ </div>
412
+ </li>
413
+
414
+
415
+ <li class="odd ">
416
+ <div class="item">
417
+ <span class='object_link'><a href="Arcteryx/CNF.html#simplify-instance_method" title="Arcteryx::CNF#simplify (method)">#simplify</a></span>
418
+ <small>Arcteryx::CNF</small>
419
+ </div>
420
+ </li>
421
+
422
+
423
+ <li class="even ">
424
+ <div class="item">
425
+ <span class='object_link'><a href="Ravensat/Solver.html#solve-instance_method" title="Ravensat::Solver#solve (method)">#solve</a></span>
426
+ <small>Ravensat::Solver</small>
427
+ </div>
428
+ </li>
429
+
430
+
431
+ <li class="odd ">
432
+ <div class="item">
433
+ <span class='object_link'><a href="Arcteryx.html#solve-class_method" title="Arcteryx.solve (method)">solve</a></span>
434
+ <small>Arcteryx</small>
435
+ </div>
436
+ </li>
437
+
438
+
439
+ <li class="even ">
440
+ <div class="item">
441
+ <span class='object_link'><a href="Ravensat/DimacsEncoder.html#to_dimacs-instance_method" title="Ravensat::DimacsEncoder#to_dimacs (method)">#to_dimacs</a></span>
442
+ <small>Ravensat::DimacsEncoder</small>
443
+ </div>
444
+ </li>
445
+
446
+
447
+ <li class="odd ">
448
+ <div class="item">
449
+ <span class='object_link'><a href="Ravensat/Node.html#to_s-instance_method" title="Ravensat::Node#to_s (method)">#to_s</a></span>
450
+ <small>Ravensat::Node</small>
451
+ </div>
452
+ </li>
453
+
454
+
455
+ <li class="even ">
456
+ <div class="item">
457
+ <span class='object_link'><a href="Arcteryx/CNF.html#unit_propagation-instance_method" title="Arcteryx::CNF#unit_propagation (method)">#unit_propagation</a></span>
458
+ <small>Arcteryx::CNF</small>
459
+ </div>
460
+ </li>
461
+
462
+
463
+ <li class="odd ">
464
+ <div class="item">
465
+ <span class='object_link'><a href="Ravensat/VarNode.html#value-instance_method" title="Ravensat::VarNode#value (method)">#value</a></span>
466
+ <small>Ravensat::VarNode</small>
467
+ </div>
468
+ </li>
469
+
470
+
471
+ <li class="even ">
472
+ <div class="item">
473
+ <span class='object_link'><a href="Ravensat/Extension/IntegerVariable.html#var_nodes-instance_method" title="Ravensat::Extension::IntegerVariable#var_nodes (method)">#var_nodes</a></span>
474
+ <small>Ravensat::Extension::IntegerVariable</small>
475
+ </div>
476
+ </li>
477
+
478
+
479
+ <li class="odd ">
480
+ <div class="item">
481
+ <span class='object_link'><a href="Ravensat/Node.html#vars-instance_method" title="Ravensat::Node#vars (method)">#vars</a></span>
482
+ <small>Ravensat::Node</small>
483
+ </div>
484
+ </li>
485
+
486
+
487
+ <li class="even ">
488
+ <div class="item">
489
+ <span class='object_link'><a href="Ravensat/Node.html#vars_size-instance_method" title="Ravensat::Node#vars_size (method)">#vars_size</a></span>
490
+ <small>Ravensat::Node</small>
491
+ </div>
492
+ </li>
493
+
494
+
495
+ <li class="odd ">
496
+ <div class="item">
497
+ <span class='object_link'><a href="Ravensat/Node.html#%7C-instance_method" title="Ravensat::Node#| (method)">#|</a></span>
498
+ <small>Ravensat::Node</small>
499
+ </div>
500
+ </li>
501
+
502
+
503
+ <li class="even ">
504
+ <div class="item">
505
+ <span class='object_link'><a href="Ravensat/InitialNode.html#%7C-instance_method" title="Ravensat::InitialNode#| (method)">#|</a></span>
506
+ <small>Ravensat::InitialNode</small>
507
+ </div>
508
+ </li>
509
+
510
+
511
+ <li class="odd ">
512
+ <div class="item">
513
+ <span class='object_link'><a href="Ravensat/VarNode.html#~@-instance_method" title="Ravensat::VarNode#~@ (method)">#~@</a></span>
514
+ <small>Ravensat::VarNode</small>
515
+ </div>
516
+ </li>
517
+
518
+
519
+
520
+ </ul>
521
+ </div>
522
+ </body>
523
+ </html>
@@ -0,0 +1,110 @@
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
+ Top Level Namespace
8
+
9
+ &mdash; 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 = "";
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</a> &raquo;
40
+
41
+
42
+ <span class="title">Top Level Namespace</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>Top Level Namespace
63
+
64
+
65
+
66
+ </h1>
67
+ <div class="box_info">
68
+
69
+
70
+
71
+
72
+
73
+
74
+
75
+
76
+
77
+
78
+
79
+ </div>
80
+
81
+ <h2>Defined Under Namespace</h2>
82
+ <p class="children">
83
+
84
+
85
+ <strong class="modules">Modules:</strong> <span class='object_link'><a href="Arcteryx.html" title="Arcteryx (module)">Arcteryx</a></span>, <span class='object_link'><a href="Ravensat.html" title="Ravensat (module)">Ravensat</a></span>
86
+
87
+
88
+
89
+
90
+ </p>
91
+
92
+
93
+
94
+
95
+
96
+
97
+
98
+
99
+
100
+ </div>
101
+
102
+ <div id="footer">
103
+ Generated on Wed May 25 14:42:45 2022 by
104
+ <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
105
+ 0.9.27 (ruby-3.0.0).
106
+ </div>
107
+
108
+ </div>
109
+ </body>
110
+ </html>
@@ -7,22 +7,22 @@ module Ravensat
7
7
  @children = []
8
8
  end
9
9
 
10
- def each
11
- yield(self)
12
- @children.each do |child|
13
- child.each {|c| yield(c)}
14
- end
15
- end
10
+ # def each
11
+ # yield(self)
12
+ # @children.each do |child|
13
+ # child.each {|c| yield(c)}
14
+ # end
15
+ # end
16
16
 
17
- def each_with_clause
17
+ def each
18
18
  case self
19
19
  when AndNode, OrNode
20
- @children.first.each_with_clause{|c| yield(c)}
20
+ @children.first.each{|c| yield(c)}
21
21
  yield(self)
22
- @children.last.each_with_clause{|c| yield(c)}
22
+ @children.last.each{|c| yield(c)}
23
23
  when NotNode
24
24
  yield(self)
25
- @children.first.each_with_clause{|c| yield(c)}
25
+ @children.first.each{|c| yield(c)}
26
26
  when VarNode
27
27
  yield(self)
28
28
  end
@@ -1,4 +1,7 @@
1
1
  module Ravensat
2
2
  class NotNode < OprNode
3
+ def ~@
4
+ @children.first
5
+ end
3
6
  end
4
7
  end