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,589 @@
|
|
|
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::Extension::IntegerVariable
|
|
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::Extension::IntegerVariable";
|
|
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 (I)</a> »
|
|
40
|
+
<span class='title'><span class='object_link'><a href="../../Ravensat.html" title="Ravensat (module)">Ravensat</a></span></span> » <span class='title'><span class='object_link'><a href="../Extension.html" title="Ravensat::Extension (module)">Extension</a></span></span>
|
|
41
|
+
»
|
|
42
|
+
<span class="title">IntegerVariable</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::Extension::IntegerVariable
|
|
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="Variable.html" title="Ravensat::Extension::Variable (class)">Variable</a></span></span>
|
|
73
|
+
|
|
74
|
+
<ul class="fullTree">
|
|
75
|
+
<li>Object</li>
|
|
76
|
+
|
|
77
|
+
<li class="next"><span class='object_link'><a href="Variable.html" title="Ravensat::Extension::Variable (class)">Variable</a></span></li>
|
|
78
|
+
|
|
79
|
+
<li class="next">Ravensat::Extension::IntegerVariable</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/extension/variable/integer_variable.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="#var_nodes-instance_method" title="#var_nodes (instance method)">#<strong>var_nodes</strong> ⇒ Object </a>
|
|
115
|
+
|
|
116
|
+
|
|
117
|
+
|
|
118
|
+
</span>
|
|
119
|
+
|
|
120
|
+
|
|
121
|
+
|
|
122
|
+
|
|
123
|
+
<span class="note title readonly">readonly</span>
|
|
124
|
+
|
|
125
|
+
|
|
126
|
+
|
|
127
|
+
|
|
128
|
+
|
|
129
|
+
|
|
130
|
+
|
|
131
|
+
|
|
132
|
+
|
|
133
|
+
<span class="summary_desc"><div class='inline'>
|
|
134
|
+
<p>Returns the value of attribute var_nodes.</p>
|
|
135
|
+
</div></span>
|
|
136
|
+
|
|
137
|
+
</li>
|
|
138
|
+
|
|
139
|
+
|
|
140
|
+
</ul>
|
|
141
|
+
|
|
142
|
+
|
|
143
|
+
|
|
144
|
+
|
|
145
|
+
|
|
146
|
+
<h3 class="inherited">Attributes inherited from <span class='object_link'><a href="Variable.html" title="Ravensat::Extension::Variable (class)">Variable</a></span></h3>
|
|
147
|
+
<p class="inherited"><span class='object_link'><a href="Variable.html#args-instance_method" title="Ravensat::Extension::Variable#args (method)">#args</a></span>, <span class='object_link'><a href="Variable.html#name-instance_method" title="Ravensat::Extension::Variable#name (method)">#name</a></span></p>
|
|
148
|
+
|
|
149
|
+
|
|
150
|
+
|
|
151
|
+
<h2>
|
|
152
|
+
Instance Method Summary
|
|
153
|
+
<small><a href="#" class="summary_toggle">collapse</a></small>
|
|
154
|
+
</h2>
|
|
155
|
+
|
|
156
|
+
<ul class="summary">
|
|
157
|
+
|
|
158
|
+
<li class="public ">
|
|
159
|
+
<span class="summary_signature">
|
|
160
|
+
|
|
161
|
+
<a href="#!=-instance_method" title="#!= (instance method)">#<strong>!=</strong>(object) ⇒ Object </a>
|
|
162
|
+
|
|
163
|
+
|
|
164
|
+
|
|
165
|
+
</span>
|
|
166
|
+
|
|
167
|
+
|
|
168
|
+
|
|
169
|
+
|
|
170
|
+
|
|
171
|
+
|
|
172
|
+
|
|
173
|
+
|
|
174
|
+
|
|
175
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
176
|
+
|
|
177
|
+
</li>
|
|
178
|
+
|
|
179
|
+
|
|
180
|
+
<li class="public ">
|
|
181
|
+
<span class="summary_signature">
|
|
182
|
+
|
|
183
|
+
<a href="#==-instance_method" title="#== (instance method)">#<strong>==</strong>(object) ⇒ Object </a>
|
|
184
|
+
|
|
185
|
+
|
|
186
|
+
|
|
187
|
+
</span>
|
|
188
|
+
|
|
189
|
+
|
|
190
|
+
|
|
191
|
+
|
|
192
|
+
|
|
193
|
+
|
|
194
|
+
|
|
195
|
+
|
|
196
|
+
|
|
197
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
198
|
+
|
|
199
|
+
</li>
|
|
200
|
+
|
|
201
|
+
|
|
202
|
+
<li class="public ">
|
|
203
|
+
<span class="summary_signature">
|
|
204
|
+
|
|
205
|
+
<a href="#initialize-instance_method" title="#initialize (instance method)">#<strong>initialize</strong>(name, args) ⇒ IntegerVariable </a>
|
|
206
|
+
|
|
207
|
+
|
|
208
|
+
|
|
209
|
+
</span>
|
|
210
|
+
|
|
211
|
+
|
|
212
|
+
<span class="note title constructor">constructor</span>
|
|
213
|
+
|
|
214
|
+
|
|
215
|
+
|
|
216
|
+
|
|
217
|
+
|
|
218
|
+
|
|
219
|
+
|
|
220
|
+
|
|
221
|
+
<span class="summary_desc"><div class='inline'>
|
|
222
|
+
<p>A new instance of IntegerVariable.</p>
|
|
223
|
+
</div></span>
|
|
224
|
+
|
|
225
|
+
</li>
|
|
226
|
+
|
|
227
|
+
|
|
228
|
+
<li class="public ">
|
|
229
|
+
<span class="summary_signature">
|
|
230
|
+
|
|
231
|
+
<a href="#only_one-instance_method" title="#only_one (instance method)">#<strong>only_one</strong> ⇒ Object </a>
|
|
232
|
+
|
|
233
|
+
|
|
234
|
+
|
|
235
|
+
</span>
|
|
236
|
+
|
|
237
|
+
|
|
238
|
+
|
|
239
|
+
|
|
240
|
+
|
|
241
|
+
|
|
242
|
+
|
|
243
|
+
|
|
244
|
+
|
|
245
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
246
|
+
|
|
247
|
+
</li>
|
|
248
|
+
|
|
249
|
+
|
|
250
|
+
<li class="public ">
|
|
251
|
+
<span class="summary_signature">
|
|
252
|
+
|
|
253
|
+
<a href="#result-instance_method" title="#result (instance method)">#<strong>result</strong> ⇒ Object </a>
|
|
254
|
+
|
|
255
|
+
|
|
256
|
+
|
|
257
|
+
</span>
|
|
258
|
+
|
|
259
|
+
|
|
260
|
+
|
|
261
|
+
|
|
262
|
+
|
|
263
|
+
|
|
264
|
+
|
|
265
|
+
|
|
266
|
+
|
|
267
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
268
|
+
|
|
269
|
+
</li>
|
|
270
|
+
|
|
271
|
+
|
|
272
|
+
</ul>
|
|
273
|
+
|
|
274
|
+
|
|
275
|
+
|
|
276
|
+
|
|
277
|
+
|
|
278
|
+
|
|
279
|
+
|
|
280
|
+
|
|
281
|
+
|
|
282
|
+
|
|
283
|
+
|
|
284
|
+
<h3 class="inherited">Methods inherited from <span class='object_link'><a href="Variable.html" title="Ravensat::Extension::Variable (class)">Variable</a></span></h3>
|
|
285
|
+
<p class="inherited"><span class='object_link'><a href="Variable.html#is_defined%3F-instance_method" title="Ravensat::Extension::Variable#is_defined? (method)">#is_defined?</a></span></p>
|
|
286
|
+
<div id="constructor_details" class="method_details_list">
|
|
287
|
+
<h2>Constructor Details</h2>
|
|
288
|
+
|
|
289
|
+
<div class="method_details first">
|
|
290
|
+
<h3 class="signature first" id="initialize-instance_method">
|
|
291
|
+
|
|
292
|
+
#<strong>initialize</strong>(name, args) ⇒ <tt><span class='object_link'><a href="" title="Ravensat::Extension::IntegerVariable (class)">IntegerVariable</a></span></tt>
|
|
293
|
+
|
|
294
|
+
|
|
295
|
+
|
|
296
|
+
|
|
297
|
+
|
|
298
|
+
</h3><div class="docstring">
|
|
299
|
+
<div class="discussion">
|
|
300
|
+
|
|
301
|
+
<p>Returns a new instance of IntegerVariable.</p>
|
|
302
|
+
|
|
303
|
+
|
|
304
|
+
</div>
|
|
305
|
+
</div>
|
|
306
|
+
<div class="tags">
|
|
307
|
+
|
|
308
|
+
|
|
309
|
+
</div><table class="source_code">
|
|
310
|
+
<tr>
|
|
311
|
+
<td>
|
|
312
|
+
<pre class="lines">
|
|
313
|
+
|
|
314
|
+
|
|
315
|
+
6
|
|
316
|
+
7
|
|
317
|
+
8
|
|
318
|
+
9
|
|
319
|
+
10</pre>
|
|
320
|
+
</td>
|
|
321
|
+
<td>
|
|
322
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/extension/variable/integer_variable.rb', line 6</span>
|
|
323
|
+
|
|
324
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_initialize'>initialize</span><span class='lparen'>(</span><span class='id identifier rubyid_name'>name</span><span class='comma'>,</span> <span class='id identifier rubyid_args'>args</span><span class='rparen'>)</span>
|
|
325
|
+
<span class='kw'>super</span>
|
|
326
|
+
<span class='kw'>return</span> <span class='kw'>unless</span> <span class='id identifier rubyid_args'>args</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span> <span class='const'>Range</span>
|
|
327
|
+
<span class='ivar'>@var_nodes</span> <span class='op'>=</span> <span class='id identifier rubyid_args'>args</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='period'>.</span><span class='id identifier rubyid_zip'>zip</span><span class='lparen'>(</span><span class='const'>Array</span><span class='period'>.</span><span class='id identifier rubyid_new'>new</span><span class='lparen'>(</span><span class='id identifier rubyid_args'>args</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span><span class='rparen'>)</span><span class='lbrace'>{</span><span class='const'><span class='object_link'><a href="../../Ravensat.html" title="Ravensat (module)">Ravensat</a></span></span><span class='op'>::</span><span class='const'><span class='object_link'><a href="../VarNode.html" title="Ravensat::VarNode (class)">VarNode</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="../VarNode.html#initialize-instance_method" title="Ravensat::VarNode#initialize (method)">new</a></span></span><span class='rbrace'>}</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_to_h'>to_h</span>
|
|
328
|
+
<span class='kw'>end</span></pre>
|
|
329
|
+
</td>
|
|
330
|
+
</tr>
|
|
331
|
+
</table>
|
|
332
|
+
</div>
|
|
333
|
+
|
|
334
|
+
</div>
|
|
335
|
+
|
|
336
|
+
<div id="instance_attr_details" class="attr_details">
|
|
337
|
+
<h2>Instance Attribute Details</h2>
|
|
338
|
+
|
|
339
|
+
|
|
340
|
+
<span id=""></span>
|
|
341
|
+
<div class="method_details first">
|
|
342
|
+
<h3 class="signature first" id="var_nodes-instance_method">
|
|
343
|
+
|
|
344
|
+
#<strong>var_nodes</strong> ⇒ <tt>Object</tt> <span class="extras">(readonly)</span>
|
|
345
|
+
|
|
346
|
+
|
|
347
|
+
|
|
348
|
+
|
|
349
|
+
|
|
350
|
+
</h3><div class="docstring">
|
|
351
|
+
<div class="discussion">
|
|
352
|
+
|
|
353
|
+
<p>Returns the value of attribute var_nodes.</p>
|
|
354
|
+
|
|
355
|
+
|
|
356
|
+
</div>
|
|
357
|
+
</div>
|
|
358
|
+
<div class="tags">
|
|
359
|
+
|
|
360
|
+
|
|
361
|
+
</div><table class="source_code">
|
|
362
|
+
<tr>
|
|
363
|
+
<td>
|
|
364
|
+
<pre class="lines">
|
|
365
|
+
|
|
366
|
+
|
|
367
|
+
5
|
|
368
|
+
6
|
|
369
|
+
7</pre>
|
|
370
|
+
</td>
|
|
371
|
+
<td>
|
|
372
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/extension/variable/integer_variable.rb', line 5</span>
|
|
373
|
+
|
|
374
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_var_nodes'>var_nodes</span>
|
|
375
|
+
<span class='ivar'>@var_nodes</span>
|
|
376
|
+
<span class='kw'>end</span></pre>
|
|
377
|
+
</td>
|
|
378
|
+
</tr>
|
|
379
|
+
</table>
|
|
380
|
+
</div>
|
|
381
|
+
|
|
382
|
+
</div>
|
|
383
|
+
|
|
384
|
+
|
|
385
|
+
<div id="instance_method_details" class="method_details_list">
|
|
386
|
+
<h2>Instance Method Details</h2>
|
|
387
|
+
|
|
388
|
+
|
|
389
|
+
<div class="method_details first">
|
|
390
|
+
<h3 class="signature first" id="!=-instance_method">
|
|
391
|
+
|
|
392
|
+
#<strong>!=</strong>(object) ⇒ <tt>Object</tt>
|
|
393
|
+
|
|
394
|
+
|
|
395
|
+
|
|
396
|
+
|
|
397
|
+
|
|
398
|
+
</h3><table class="source_code">
|
|
399
|
+
<tr>
|
|
400
|
+
<td>
|
|
401
|
+
<pre class="lines">
|
|
402
|
+
|
|
403
|
+
|
|
404
|
+
29
|
|
405
|
+
30
|
|
406
|
+
31
|
|
407
|
+
32
|
|
408
|
+
33
|
|
409
|
+
34
|
|
410
|
+
35
|
|
411
|
+
36
|
|
412
|
+
37
|
|
413
|
+
38
|
|
414
|
+
39
|
|
415
|
+
40
|
|
416
|
+
41
|
|
417
|
+
42
|
|
418
|
+
43
|
|
419
|
+
44</pre>
|
|
420
|
+
</td>
|
|
421
|
+
<td>
|
|
422
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/extension/variable/integer_variable.rb', line 29</span>
|
|
423
|
+
|
|
424
|
+
<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>
|
|
425
|
+
<span class='kw'>case</span> <span class='id identifier rubyid_object'>object</span>
|
|
426
|
+
<span class='kw'>when</span> <span class='const'>Integer</span>
|
|
427
|
+
<span class='kw'>return</span> <span class='op'>~</span><span class='lparen'>(</span><span class='ivar'>@var_nodes</span><span class='lbracket'>[</span><span class='id identifier rubyid_object'>object</span><span class='rbracket'>]</span><span class='rparen'>)</span>
|
|
428
|
+
<span class='kw'>when</span> <span class='const'><span class='object_link'><a href="" title="Ravensat::Extension::IntegerVariable (class)">IntegerVariable</a></span></span>
|
|
429
|
+
<span class='id identifier rubyid_result_formula'>result_formula</span> <span class='op'>=</span> <span class='const'><span class='object_link'><a href="../../Ravensat.html" title="Ravensat (module)">Ravensat</a></span></span><span class='op'>::</span><span class='const'><span class='object_link'><a href="../InitialNode.html" title="Ravensat::InitialNode (class)">InitialNode</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="../Node.html#initialize-instance_method" title="Ravensat::Node#initialize (method)">new</a></span></span>
|
|
430
|
+
<span class='id identifier rubyid_duplicated_keys'>duplicated_keys</span> <span class='op'>=</span> <span class='kw'>self</span><span class='period'>.</span><span class='id identifier rubyid_var_nodes'>var_nodes</span><span class='period'>.</span><span class='id identifier rubyid_keys'>keys</span> <span class='op'>&</span> <span class='id identifier rubyid_object'>object</span><span class='period'>.</span><span class='id identifier rubyid_var_nodes'>var_nodes</span><span class='period'>.</span><span class='id identifier rubyid_keys'>keys</span>
|
|
431
|
+
|
|
432
|
+
<span class='id identifier rubyid_duplicated_keys'>duplicated_keys</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_index'>index</span><span class='op'>|</span>
|
|
433
|
+
<span class='id identifier rubyid_result_formula'>result_formula</span> <span class='op'>&=</span> <span class='op'>~</span><span class='lparen'>(</span><span class='kw'>self</span><span class='period'>.</span><span class='id identifier rubyid_var_nodes'>var_nodes</span><span class='lbracket'>[</span><span class='id identifier rubyid_index'>index</span><span class='rbracket'>]</span><span class='rparen'>)</span> <span class='op'>|</span> <span class='op'>~</span><span class='lparen'>(</span><span class='id identifier rubyid_object'>object</span><span class='period'>.</span><span class='id identifier rubyid_var_nodes'>var_nodes</span><span class='lbracket'>[</span><span class='id identifier rubyid_index'>index</span><span class='rbracket'>]</span><span class='rparen'>)</span>
|
|
434
|
+
<span class='kw'>end</span>
|
|
435
|
+
<span class='kw'>return</span> <span class='id identifier rubyid_result_formula'>result_formula</span>
|
|
436
|
+
<span class='kw'>else</span>
|
|
437
|
+
<span class='id identifier rubyid_raise'>raise</span> <span class='const'>ArgumentError</span>
|
|
438
|
+
<span class='kw'>end</span>
|
|
439
|
+
<span class='kw'>end</span></pre>
|
|
440
|
+
</td>
|
|
441
|
+
</tr>
|
|
442
|
+
</table>
|
|
443
|
+
</div>
|
|
444
|
+
|
|
445
|
+
<div class="method_details ">
|
|
446
|
+
<h3 class="signature " id="==-instance_method">
|
|
447
|
+
|
|
448
|
+
#<strong>==</strong>(object) ⇒ <tt>Object</tt>
|
|
449
|
+
|
|
450
|
+
|
|
451
|
+
|
|
452
|
+
|
|
453
|
+
|
|
454
|
+
</h3><table class="source_code">
|
|
455
|
+
<tr>
|
|
456
|
+
<td>
|
|
457
|
+
<pre class="lines">
|
|
458
|
+
|
|
459
|
+
|
|
460
|
+
12
|
|
461
|
+
13
|
|
462
|
+
14
|
|
463
|
+
15
|
|
464
|
+
16
|
|
465
|
+
17
|
|
466
|
+
18
|
|
467
|
+
19
|
|
468
|
+
20
|
|
469
|
+
21
|
|
470
|
+
22
|
|
471
|
+
23
|
|
472
|
+
24
|
|
473
|
+
25
|
|
474
|
+
26
|
|
475
|
+
27</pre>
|
|
476
|
+
</td>
|
|
477
|
+
<td>
|
|
478
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/extension/variable/integer_variable.rb', line 12</span>
|
|
479
|
+
|
|
480
|
+
<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>
|
|
481
|
+
<span class='kw'>case</span> <span class='id identifier rubyid_object'>object</span>
|
|
482
|
+
<span class='kw'>when</span> <span class='const'>Integer</span>
|
|
483
|
+
<span class='kw'>return</span> <span class='ivar'>@var_nodes</span><span class='lbracket'>[</span><span class='id identifier rubyid_object'>object</span><span class='rbracket'>]</span>
|
|
484
|
+
<span class='kw'>when</span> <span class='const'><span class='object_link'><a href="" title="Ravensat::Extension::IntegerVariable (class)">IntegerVariable</a></span></span>
|
|
485
|
+
<span class='id identifier rubyid_result_formula'>result_formula</span> <span class='op'>=</span> <span class='const'><span class='object_link'><a href="../../Ravensat.html" title="Ravensat (module)">Ravensat</a></span></span><span class='op'>::</span><span class='const'><span class='object_link'><a href="../InitialNode.html" title="Ravensat::InitialNode (class)">InitialNode</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="../Node.html#initialize-instance_method" title="Ravensat::Node#initialize (method)">new</a></span></span>
|
|
486
|
+
<span class='id identifier rubyid_duplicated_keys'>duplicated_keys</span> <span class='op'>=</span> <span class='kw'>self</span><span class='period'>.</span><span class='id identifier rubyid_var_nodes'>var_nodes</span><span class='period'>.</span><span class='id identifier rubyid_keys'>keys</span> <span class='op'>&</span> <span class='id identifier rubyid_object'>object</span><span class='period'>.</span><span class='id identifier rubyid_var_nodes'>var_nodes</span><span class='period'>.</span><span class='id identifier rubyid_keys'>keys</span>
|
|
487
|
+
|
|
488
|
+
<span class='lbracket'>[</span><span class='kw'>self</span><span class='period'>.</span><span class='id identifier rubyid_var_nodes'>var_nodes</span><span class='comma'>,</span> <span class='id identifier rubyid_object'>object</span><span class='period'>.</span><span class='id identifier rubyid_var_nodes'>var_nodes</span><span class='rbracket'>]</span><span class='period'>.</span><span class='id identifier rubyid_repeated_permutation'>repeated_permutation</span><span class='lparen'>(</span><span class='id identifier rubyid_duplicated_keys'>duplicated_keys</span><span class='period'>.</span><span class='id identifier rubyid_size'>size</span><span class='rparen'>)</span> <span class='kw'>do</span> <span class='op'>|</span><span class='id identifier rubyid_var_nodes'>var_nodes</span><span class='op'>|</span>
|
|
489
|
+
<span class='id identifier rubyid_result_formula'>result_formula</span> <span class='op'>&=</span> <span class='const'><span class='object_link'><a href="../../Ravensat.html" title="Ravensat (module)">Ravensat</a></span></span><span class='op'>::</span><span class='const'><span class='object_link'><a href="../Claw.html" title="Ravensat::Claw (module)">Claw</a></span></span><span class='period'>.</span><span class='id identifier rubyid_alo'><span class='object_link'><a href="../Claw.html#alo-class_method" title="Ravensat::Claw.alo (method)">alo</a></span></span><span class='lparen'>(</span><span class='id identifier rubyid_var_nodes'>var_nodes</span><span class='period'>.</span><span class='id identifier rubyid_zip'>zip</span><span class='lparen'>(</span><span class='id identifier rubyid_duplicated_keys'>duplicated_keys</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_arr'>arr</span><span class='op'>|</span> <span class='id identifier rubyid_arr'>arr</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span><span class='lbracket'>[</span><span class='id identifier rubyid_arr'>arr</span><span class='period'>.</span><span class='id identifier rubyid_last'>last</span><span class='rbracket'>]</span><span class='rbrace'>}</span><span class='rparen'>)</span>
|
|
490
|
+
<span class='kw'>end</span>
|
|
491
|
+
<span class='kw'>return</span> <span class='id identifier rubyid_result_formula'>result_formula</span>
|
|
492
|
+
<span class='kw'>else</span>
|
|
493
|
+
<span class='id identifier rubyid_raise'>raise</span> <span class='const'>ArgumentError</span>
|
|
494
|
+
<span class='kw'>end</span>
|
|
495
|
+
<span class='kw'>end</span></pre>
|
|
496
|
+
</td>
|
|
497
|
+
</tr>
|
|
498
|
+
</table>
|
|
499
|
+
</div>
|
|
500
|
+
|
|
501
|
+
<div class="method_details ">
|
|
502
|
+
<h3 class="signature " id="only_one-instance_method">
|
|
503
|
+
|
|
504
|
+
#<strong>only_one</strong> ⇒ <tt>Object</tt>
|
|
505
|
+
|
|
506
|
+
|
|
507
|
+
|
|
508
|
+
|
|
509
|
+
|
|
510
|
+
</h3><table class="source_code">
|
|
511
|
+
<tr>
|
|
512
|
+
<td>
|
|
513
|
+
<pre class="lines">
|
|
514
|
+
|
|
515
|
+
|
|
516
|
+
46
|
|
517
|
+
47
|
|
518
|
+
48
|
|
519
|
+
49
|
|
520
|
+
50
|
|
521
|
+
51</pre>
|
|
522
|
+
</td>
|
|
523
|
+
<td>
|
|
524
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/extension/variable/integer_variable.rb', line 46</span>
|
|
525
|
+
|
|
526
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_only_one'>only_one</span>
|
|
527
|
+
<span class='id identifier rubyid_result_formula'>result_formula</span> <span class='op'>=</span> <span class='const'><span class='object_link'><a href="../../Ravensat.html" title="Ravensat (module)">Ravensat</a></span></span><span class='op'>::</span><span class='const'><span class='object_link'><a href="../InitialNode.html" title="Ravensat::InitialNode (class)">InitialNode</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="../Node.html#initialize-instance_method" title="Ravensat::Node#initialize (method)">new</a></span></span>
|
|
528
|
+
<span class='id identifier rubyid_result_formula'>result_formula</span> <span class='op'>&=</span> <span class='const'><span class='object_link'><a href="../../Ravensat.html" title="Ravensat (module)">Ravensat</a></span></span><span class='op'>::</span><span class='const'><span class='object_link'><a href="../Claw.html" title="Ravensat::Claw (module)">Claw</a></span></span><span class='period'>.</span><span class='id identifier rubyid_alo'><span class='object_link'><a href="../Claw.html#alo-class_method" title="Ravensat::Claw.alo (method)">alo</a></span></span> <span class='ivar'>@var_nodes</span><span class='period'>.</span><span class='id identifier rubyid_values'>values</span>
|
|
529
|
+
<span class='id identifier rubyid_result_formula'>result_formula</span> <span class='op'>&=</span> <span class='const'><span class='object_link'><a href="../../Ravensat.html" title="Ravensat (module)">Ravensat</a></span></span><span class='op'>::</span><span class='const'><span class='object_link'><a href="../Claw.html" title="Ravensat::Claw (module)">Claw</a></span></span><span class='period'>.</span><span class='id identifier rubyid_amo'><span class='object_link'><a href="../Claw.html#amo-class_method" title="Ravensat::Claw.amo (method)">amo</a></span></span> <span class='ivar'>@var_nodes</span><span class='period'>.</span><span class='id identifier rubyid_values'>values</span>
|
|
530
|
+
<span class='id identifier rubyid_result_formula'>result_formula</span>
|
|
531
|
+
<span class='kw'>end</span></pre>
|
|
532
|
+
</td>
|
|
533
|
+
</tr>
|
|
534
|
+
</table>
|
|
535
|
+
</div>
|
|
536
|
+
|
|
537
|
+
<div class="method_details ">
|
|
538
|
+
<h3 class="signature " id="result-instance_method">
|
|
539
|
+
|
|
540
|
+
#<strong>result</strong> ⇒ <tt>Object</tt>
|
|
541
|
+
|
|
542
|
+
|
|
543
|
+
|
|
544
|
+
|
|
545
|
+
|
|
546
|
+
</h3><table class="source_code">
|
|
547
|
+
<tr>
|
|
548
|
+
<td>
|
|
549
|
+
<pre class="lines">
|
|
550
|
+
|
|
551
|
+
|
|
552
|
+
53
|
|
553
|
+
54
|
|
554
|
+
55
|
|
555
|
+
56
|
|
556
|
+
57
|
|
557
|
+
58
|
|
558
|
+
59
|
|
559
|
+
60</pre>
|
|
560
|
+
</td>
|
|
561
|
+
<td>
|
|
562
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/extension/variable/integer_variable.rb', line 53</span>
|
|
563
|
+
|
|
564
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_result'>result</span>
|
|
565
|
+
<span class='id identifier rubyid_result'>result</span> <span class='op'>=</span> <span class='ivar'>@var_nodes</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_key'>key</span><span class='comma'>,</span> <span class='id identifier rubyid_var_node'>var_node</span><span class='op'>|</span> <span class='id identifier rubyid_var_node'>var_node</span><span class='period'>.</span><span class='id identifier rubyid_value'>value</span><span class='rbrace'>}</span><span class='period'>.</span><span class='id identifier rubyid_keys'>keys</span>
|
|
566
|
+
<span class='kw'>if</span> <span class='id identifier rubyid_result'>result</span><span class='period'>.</span><span class='id identifier rubyid_one?'>one?</span>
|
|
567
|
+
<span class='id identifier rubyid_result'>result</span><span class='period'>.</span><span class='id identifier rubyid_first'>first</span>
|
|
568
|
+
<span class='kw'>else</span>
|
|
569
|
+
<span class='id identifier rubyid_result'>result</span>
|
|
570
|
+
<span class='kw'>end</span>
|
|
571
|
+
<span class='kw'>end</span></pre>
|
|
572
|
+
</td>
|
|
573
|
+
</tr>
|
|
574
|
+
</table>
|
|
575
|
+
</div>
|
|
576
|
+
|
|
577
|
+
</div>
|
|
578
|
+
|
|
579
|
+
</div>
|
|
580
|
+
|
|
581
|
+
<div id="footer">
|
|
582
|
+
Generated on Wed May 25 14:42:45 2022 by
|
|
583
|
+
<a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
|
|
584
|
+
0.9.27 (ruby-3.0.0).
|
|
585
|
+
</div>
|
|
586
|
+
|
|
587
|
+
</div>
|
|
588
|
+
</body>
|
|
589
|
+
</html>
|