ravensat 0.2.2 → 0.3.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/.github/workflows/main.yml +18 -0
- data/README.md +122 -9
- data/docs/Arcteryx/CNF.html +827 -0
- data/docs/Arcteryx.html +309 -0
- data/docs/Ravensat/AndNode.html +159 -0
- data/docs/Ravensat/Claw.html +338 -0
- data/docs/Ravensat/DimacsDecoder.html +224 -0
- data/docs/Ravensat/DimacsEncoder.html +425 -0
- data/docs/Ravensat/Extension/BooleanVariable.html +229 -0
- data/docs/Ravensat/Extension/Domain.html +319 -0
- data/docs/Ravensat/Extension/IntegerVariable.html +589 -0
- data/docs/Ravensat/Extension/UndefinedVariable.html +236 -0
- data/docs/Ravensat/Extension/Variable.html +443 -0
- data/docs/Ravensat/Extension.html +141 -0
- data/docs/Ravensat/InitialNode.html +267 -0
- data/docs/Ravensat/Node.html +780 -0
- data/docs/Ravensat/NotNode.html +159 -0
- data/docs/Ravensat/OprNode.html +226 -0
- data/docs/Ravensat/OrNode.html +252 -0
- data/docs/Ravensat/Solver.html +373 -0
- data/docs/Ravensat/VarNode.html +488 -0
- data/docs/Ravensat.html +135 -0
- data/docs/_index.html +329 -0
- data/docs/class_list.html +51 -0
- data/docs/css/common.css +1 -0
- data/docs/css/full_list.css +58 -0
- data/docs/css/style.css +497 -0
- data/docs/file.README.html +233 -0
- data/docs/file_list.html +56 -0
- data/docs/frames.html +17 -0
- data/docs/index.html +233 -0
- data/docs/js/app.js +314 -0
- data/docs/js/full_list.js +216 -0
- data/docs/js/jquery.js +4 -0
- data/docs/method_list.html +523 -0
- data/docs/top-level-namespace.html +110 -0
- data/exe/ravensat +7 -0
- data/lib/ravensat/ast/initial_node.rb +11 -0
- data/lib/ravensat/ast/node.rb +17 -9
- data/lib/ravensat/ast/not_node.rb +3 -0
- data/lib/ravensat/ast/var_node.rb +4 -0
- data/lib/ravensat/ast.rb +11 -0
- data/lib/ravensat/claw.rb +44 -0
- data/lib/ravensat/{dimacs_decoder.rb → dimacs/dimacs_decoder.rb} +0 -0
- data/lib/ravensat/{dimacs_encoder.rb → dimacs/dimacs_encoder.rb} +4 -7
- data/lib/ravensat/dimacs.rb +6 -0
- data/lib/ravensat/extension/domain.rb +24 -0
- data/lib/ravensat/extension/variable/boolean_variable.rb +17 -0
- data/lib/ravensat/extension/variable/integer_variable.rb +63 -0
- data/lib/ravensat/extension/variable/undefined_variable.rb +9 -0
- data/lib/ravensat/extension/variable/variable.rb +16 -0
- data/lib/ravensat/extension.rb +13 -0
- data/lib/ravensat/solver.rb +0 -7
- data/lib/ravensat/version.rb +1 -1
- data/lib/ravensat.rb +5 -10
- metadata +52 -6
- data/lib/ravensat/ravenclaw.rb +0 -15
|
@@ -0,0 +1,425 @@
|
|
|
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::DimacsEncoder
|
|
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::DimacsEncoder";
|
|
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 (D)</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">DimacsEncoder</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::DimacsEncoder
|
|
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::DimacsEncoder</li>
|
|
78
|
+
|
|
79
|
+
</ul>
|
|
80
|
+
<a href="#" class="inheritanceTree">show all</a>
|
|
81
|
+
|
|
82
|
+
</dd>
|
|
83
|
+
</dl>
|
|
84
|
+
|
|
85
|
+
|
|
86
|
+
|
|
87
|
+
|
|
88
|
+
|
|
89
|
+
|
|
90
|
+
|
|
91
|
+
|
|
92
|
+
|
|
93
|
+
|
|
94
|
+
|
|
95
|
+
<dl>
|
|
96
|
+
<dt>Defined in:</dt>
|
|
97
|
+
<dd>lib/ravensat/dimacs/dimacs_encoder.rb</dd>
|
|
98
|
+
</dl>
|
|
99
|
+
|
|
100
|
+
</div>
|
|
101
|
+
|
|
102
|
+
|
|
103
|
+
|
|
104
|
+
|
|
105
|
+
|
|
106
|
+
<h2>Instance Attribute Summary <small><a href="#" class="summary_toggle">collapse</a></small></h2>
|
|
107
|
+
<ul class="summary">
|
|
108
|
+
|
|
109
|
+
<li class="public ">
|
|
110
|
+
<span class="summary_signature">
|
|
111
|
+
|
|
112
|
+
<a href="#name_table-instance_method" title="#name_table (instance method)">#<strong>name_table</strong> ⇒ Object </a>
|
|
113
|
+
|
|
114
|
+
|
|
115
|
+
|
|
116
|
+
</span>
|
|
117
|
+
|
|
118
|
+
|
|
119
|
+
|
|
120
|
+
|
|
121
|
+
<span class="note title readonly">readonly</span>
|
|
122
|
+
|
|
123
|
+
|
|
124
|
+
|
|
125
|
+
|
|
126
|
+
|
|
127
|
+
|
|
128
|
+
|
|
129
|
+
|
|
130
|
+
|
|
131
|
+
<span class="summary_desc"><div class='inline'>
|
|
132
|
+
<p>Returns the value of attribute name_table.</p>
|
|
133
|
+
</div></span>
|
|
134
|
+
|
|
135
|
+
</li>
|
|
136
|
+
|
|
137
|
+
|
|
138
|
+
</ul>
|
|
139
|
+
|
|
140
|
+
|
|
141
|
+
|
|
142
|
+
|
|
143
|
+
|
|
144
|
+
<h2>
|
|
145
|
+
Instance Method Summary
|
|
146
|
+
<small><a href="#" class="summary_toggle">collapse</a></small>
|
|
147
|
+
</h2>
|
|
148
|
+
|
|
149
|
+
<ul class="summary">
|
|
150
|
+
|
|
151
|
+
<li class="public ">
|
|
152
|
+
<span class="summary_signature">
|
|
153
|
+
|
|
154
|
+
<a href="#create_table-instance_method" title="#create_table (instance method)">#<strong>create_table</strong>(formula) ⇒ Object </a>
|
|
155
|
+
|
|
156
|
+
|
|
157
|
+
|
|
158
|
+
</span>
|
|
159
|
+
|
|
160
|
+
|
|
161
|
+
|
|
162
|
+
|
|
163
|
+
|
|
164
|
+
|
|
165
|
+
|
|
166
|
+
|
|
167
|
+
|
|
168
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
169
|
+
|
|
170
|
+
</li>
|
|
171
|
+
|
|
172
|
+
|
|
173
|
+
<li class="public ">
|
|
174
|
+
<span class="summary_signature">
|
|
175
|
+
|
|
176
|
+
<a href="#initialize-instance_method" title="#initialize (instance method)">#<strong>initialize</strong> ⇒ DimacsEncoder </a>
|
|
177
|
+
|
|
178
|
+
|
|
179
|
+
|
|
180
|
+
</span>
|
|
181
|
+
|
|
182
|
+
|
|
183
|
+
<span class="note title constructor">constructor</span>
|
|
184
|
+
|
|
185
|
+
|
|
186
|
+
|
|
187
|
+
|
|
188
|
+
|
|
189
|
+
|
|
190
|
+
|
|
191
|
+
|
|
192
|
+
<span class="summary_desc"><div class='inline'>
|
|
193
|
+
<p>A new instance of DimacsEncoder.</p>
|
|
194
|
+
</div></span>
|
|
195
|
+
|
|
196
|
+
</li>
|
|
197
|
+
|
|
198
|
+
|
|
199
|
+
<li class="public ">
|
|
200
|
+
<span class="summary_signature">
|
|
201
|
+
|
|
202
|
+
<a href="#to_dimacs-instance_method" title="#to_dimacs (instance method)">#<strong>to_dimacs</strong>(formula) ⇒ Object </a>
|
|
203
|
+
|
|
204
|
+
|
|
205
|
+
|
|
206
|
+
</span>
|
|
207
|
+
|
|
208
|
+
|
|
209
|
+
|
|
210
|
+
|
|
211
|
+
|
|
212
|
+
|
|
213
|
+
|
|
214
|
+
|
|
215
|
+
|
|
216
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
217
|
+
|
|
218
|
+
</li>
|
|
219
|
+
|
|
220
|
+
|
|
221
|
+
</ul>
|
|
222
|
+
|
|
223
|
+
|
|
224
|
+
<div id="constructor_details" class="method_details_list">
|
|
225
|
+
<h2>Constructor Details</h2>
|
|
226
|
+
|
|
227
|
+
<div class="method_details first">
|
|
228
|
+
<h3 class="signature first" id="initialize-instance_method">
|
|
229
|
+
|
|
230
|
+
#<strong>initialize</strong> ⇒ <tt><span class='object_link'><a href="" title="Ravensat::DimacsEncoder (class)">DimacsEncoder</a></span></tt>
|
|
231
|
+
|
|
232
|
+
|
|
233
|
+
|
|
234
|
+
|
|
235
|
+
|
|
236
|
+
</h3><div class="docstring">
|
|
237
|
+
<div class="discussion">
|
|
238
|
+
|
|
239
|
+
<p>Returns a new instance of DimacsEncoder.</p>
|
|
240
|
+
|
|
241
|
+
|
|
242
|
+
</div>
|
|
243
|
+
</div>
|
|
244
|
+
<div class="tags">
|
|
245
|
+
|
|
246
|
+
|
|
247
|
+
</div><table class="source_code">
|
|
248
|
+
<tr>
|
|
249
|
+
<td>
|
|
250
|
+
<pre class="lines">
|
|
251
|
+
|
|
252
|
+
|
|
253
|
+
4
|
|
254
|
+
5
|
|
255
|
+
6</pre>
|
|
256
|
+
</td>
|
|
257
|
+
<td>
|
|
258
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/dimacs/dimacs_encoder.rb', line 4</span>
|
|
259
|
+
|
|
260
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_initialize'>initialize</span>
|
|
261
|
+
<span class='ivar'>@name_table</span> <span class='op'>=</span> <span class='lbrace'>{</span><span class='rbrace'>}</span>
|
|
262
|
+
<span class='kw'>end</span></pre>
|
|
263
|
+
</td>
|
|
264
|
+
</tr>
|
|
265
|
+
</table>
|
|
266
|
+
</div>
|
|
267
|
+
|
|
268
|
+
</div>
|
|
269
|
+
|
|
270
|
+
<div id="instance_attr_details" class="attr_details">
|
|
271
|
+
<h2>Instance Attribute Details</h2>
|
|
272
|
+
|
|
273
|
+
|
|
274
|
+
<span id=""></span>
|
|
275
|
+
<div class="method_details first">
|
|
276
|
+
<h3 class="signature first" id="name_table-instance_method">
|
|
277
|
+
|
|
278
|
+
#<strong>name_table</strong> ⇒ <tt>Object</tt> <span class="extras">(readonly)</span>
|
|
279
|
+
|
|
280
|
+
|
|
281
|
+
|
|
282
|
+
|
|
283
|
+
|
|
284
|
+
</h3><div class="docstring">
|
|
285
|
+
<div class="discussion">
|
|
286
|
+
|
|
287
|
+
<p>Returns the value of attribute name_table.</p>
|
|
288
|
+
|
|
289
|
+
|
|
290
|
+
</div>
|
|
291
|
+
</div>
|
|
292
|
+
<div class="tags">
|
|
293
|
+
|
|
294
|
+
|
|
295
|
+
</div><table class="source_code">
|
|
296
|
+
<tr>
|
|
297
|
+
<td>
|
|
298
|
+
<pre class="lines">
|
|
299
|
+
|
|
300
|
+
|
|
301
|
+
3
|
|
302
|
+
4
|
|
303
|
+
5</pre>
|
|
304
|
+
</td>
|
|
305
|
+
<td>
|
|
306
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/dimacs/dimacs_encoder.rb', line 3</span>
|
|
307
|
+
|
|
308
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_name_table'>name_table</span>
|
|
309
|
+
<span class='ivar'>@name_table</span>
|
|
310
|
+
<span class='kw'>end</span></pre>
|
|
311
|
+
</td>
|
|
312
|
+
</tr>
|
|
313
|
+
</table>
|
|
314
|
+
</div>
|
|
315
|
+
|
|
316
|
+
</div>
|
|
317
|
+
|
|
318
|
+
|
|
319
|
+
<div id="instance_method_details" class="method_details_list">
|
|
320
|
+
<h2>Instance Method Details</h2>
|
|
321
|
+
|
|
322
|
+
|
|
323
|
+
<div class="method_details first">
|
|
324
|
+
<h3 class="signature first" id="create_table-instance_method">
|
|
325
|
+
|
|
326
|
+
#<strong>create_table</strong>(formula) ⇒ <tt>Object</tt>
|
|
327
|
+
|
|
328
|
+
|
|
329
|
+
|
|
330
|
+
|
|
331
|
+
|
|
332
|
+
</h3><table class="source_code">
|
|
333
|
+
<tr>
|
|
334
|
+
<td>
|
|
335
|
+
<pre class="lines">
|
|
336
|
+
|
|
337
|
+
|
|
338
|
+
27
|
|
339
|
+
28
|
|
340
|
+
29</pre>
|
|
341
|
+
</td>
|
|
342
|
+
<td>
|
|
343
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/dimacs/dimacs_encoder.rb', line 27</span>
|
|
344
|
+
|
|
345
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_create_table'>create_table</span><span class='lparen'>(</span><span class='id identifier rubyid_formula'>formula</span><span class='rparen'>)</span>
|
|
346
|
+
<span class='ivar'>@name_table</span> <span class='op'>=</span> <span class='id identifier rubyid_formula'>formula</span><span class='period'>.</span><span class='id identifier rubyid_vars'>vars</span><span class='period'>.</span><span class='id identifier rubyid_zip'>zip</span><span class='lparen'>(</span><span class='lparen'>(</span><span class='int'>1</span><span class='op'>..</span><span class='id identifier rubyid_formula'>formula</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><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&</span><span class='symbol'>:to_s</span><span class='rparen'>)</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_to_h'>to_h</span>
|
|
347
|
+
<span class='kw'>end</span></pre>
|
|
348
|
+
</td>
|
|
349
|
+
</tr>
|
|
350
|
+
</table>
|
|
351
|
+
</div>
|
|
352
|
+
|
|
353
|
+
<div class="method_details ">
|
|
354
|
+
<h3 class="signature " id="to_dimacs-instance_method">
|
|
355
|
+
|
|
356
|
+
#<strong>to_dimacs</strong>(formula) ⇒ <tt>Object</tt>
|
|
357
|
+
|
|
358
|
+
|
|
359
|
+
|
|
360
|
+
|
|
361
|
+
|
|
362
|
+
</h3><table class="source_code">
|
|
363
|
+
<tr>
|
|
364
|
+
<td>
|
|
365
|
+
<pre class="lines">
|
|
366
|
+
|
|
367
|
+
|
|
368
|
+
8
|
|
369
|
+
9
|
|
370
|
+
10
|
|
371
|
+
11
|
|
372
|
+
12
|
|
373
|
+
13
|
|
374
|
+
14
|
|
375
|
+
15
|
|
376
|
+
16
|
|
377
|
+
17
|
|
378
|
+
18
|
|
379
|
+
19
|
|
380
|
+
20
|
|
381
|
+
21
|
|
382
|
+
22
|
|
383
|
+
23
|
|
384
|
+
24
|
|
385
|
+
25</pre>
|
|
386
|
+
</td>
|
|
387
|
+
<td>
|
|
388
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/dimacs/dimacs_encoder.rb', line 8</span>
|
|
389
|
+
|
|
390
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_to_dimacs'>to_dimacs</span><span class='lparen'>(</span><span class='id identifier rubyid_formula'>formula</span><span class='rparen'>)</span>
|
|
391
|
+
<span class='kw'>return</span> <span class='kw'>nil</span> <span class='kw'>unless</span> <span class='id identifier rubyid_formula'>formula</span><span class='period'>.</span><span class='id identifier rubyid_cnf?'>cnf?</span>
|
|
392
|
+
|
|
393
|
+
<span class='id identifier rubyid_dimacs_header'>dimacs_header</span> <span class='op'>=</span> <span class='tstring'><span class='tstring_beg'>"</span><span class='tstring_content'>p cnf </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_formula'>formula</span><span class='period'>.</span><span class='id identifier rubyid_vars_size'>vars_size</span><span class='embexpr_end'>}</span><span class='tstring_content'> </span><span class='embexpr_beg'>#{</span><span class='id identifier rubyid_formula'>formula</span><span class='period'>.</span><span class='id identifier rubyid_clauses_size'>clauses_size</span><span class='embexpr_end'>}</span><span class='tstring_content'>\n</span><span class='tstring_end'>"</span></span>
|
|
394
|
+
<span class='id identifier rubyid_dimacs_body'>dimacs_body</span> <span class='op'>=</span> <span class='tstring'><span class='tstring_beg'>"</span><span class='tstring_end'>"</span></span>
|
|
395
|
+
<span class='id identifier rubyid_create_table'>create_table</span><span class='lparen'>(</span><span class='id identifier rubyid_formula'>formula</span><span class='rparen'>)</span>
|
|
396
|
+
<span class='id identifier rubyid_formula'>formula</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_node'>node</span><span class='op'>|</span>
|
|
397
|
+
<span class='kw'>case</span> <span class='id identifier rubyid_node'>node</span>
|
|
398
|
+
<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='kw'>then</span> <span class='id identifier rubyid_dimacs_body'>dimacs_body</span> <span class='op'><<</span> <span class='tstring'><span class='tstring_beg'>"</span><span class='tstring_content'> 0\n</span><span class='tstring_end'>"</span></span>
|
|
399
|
+
<span class='kw'>when</span> <span class='const'><span class='object_link'><a href="OrNode.html" title="Ravensat::OrNode (class)">OrNode</a></span></span> <span class='kw'>then</span> <span class='id identifier rubyid_dimacs_body'>dimacs_body</span> <span class='op'><<</span> <span class='tstring'><span class='tstring_beg'>"</span><span class='tstring_content'> </span><span class='tstring_end'>"</span></span>
|
|
400
|
+
<span class='kw'>when</span> <span class='const'><span class='object_link'><a href="NotNode.html" title="Ravensat::NotNode (class)">NotNode</a></span></span> <span class='kw'>then</span> <span class='id identifier rubyid_dimacs_body'>dimacs_body</span> <span class='op'><<</span> <span class='tstring'><span class='tstring_beg'>"</span><span class='tstring_content'>-</span><span class='tstring_end'>"</span></span>
|
|
401
|
+
<span class='kw'>when</span> <span class='const'><span class='object_link'><a href="VarNode.html" title="Ravensat::VarNode (class)">VarNode</a></span></span> <span class='kw'>then</span> <span class='id identifier rubyid_dimacs_body'>dimacs_body</span> <span class='op'><<</span> <span class='ivar'>@name_table</span><span class='lbracket'>[</span><span class='id identifier rubyid_node'>node</span><span class='rbracket'>]</span>
|
|
402
|
+
<span class='kw'>end</span>
|
|
403
|
+
<span class='kw'>end</span>
|
|
404
|
+
<span class='id identifier rubyid_dimacs_body'>dimacs_body</span> <span class='op'><<</span> <span class='tstring'><span class='tstring_beg'>"</span><span class='tstring_content'> 0\n</span><span class='tstring_end'>"</span></span>
|
|
405
|
+
|
|
406
|
+
<span class='id identifier rubyid_dimacs_header'>dimacs_header</span> <span class='op'>+</span> <span class='id identifier rubyid_dimacs_body'>dimacs_body</span>
|
|
407
|
+
<span class='kw'>end</span></pre>
|
|
408
|
+
</td>
|
|
409
|
+
</tr>
|
|
410
|
+
</table>
|
|
411
|
+
</div>
|
|
412
|
+
|
|
413
|
+
</div>
|
|
414
|
+
|
|
415
|
+
</div>
|
|
416
|
+
|
|
417
|
+
<div id="footer">
|
|
418
|
+
Generated on Wed May 25 14:42:45 2022 by
|
|
419
|
+
<a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
|
|
420
|
+
0.9.27 (ruby-3.0.0).
|
|
421
|
+
</div>
|
|
422
|
+
|
|
423
|
+
</div>
|
|
424
|
+
</body>
|
|
425
|
+
</html>
|
|
@@ -0,0 +1,229 @@
|
|
|
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::BooleanVariable
|
|
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::BooleanVariable";
|
|
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 (B)</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">BooleanVariable</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::BooleanVariable
|
|
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::BooleanVariable</li>
|
|
80
|
+
|
|
81
|
+
</ul>
|
|
82
|
+
<a href="#" class="inheritanceTree">show all</a>
|
|
83
|
+
|
|
84
|
+
</dd>
|
|
85
|
+
</dl>
|
|
86
|
+
|
|
87
|
+
|
|
88
|
+
|
|
89
|
+
|
|
90
|
+
<dl>
|
|
91
|
+
<dt>Extended by:</dt>
|
|
92
|
+
<dd>Forwardable</dd>
|
|
93
|
+
</dl>
|
|
94
|
+
|
|
95
|
+
|
|
96
|
+
|
|
97
|
+
|
|
98
|
+
|
|
99
|
+
|
|
100
|
+
|
|
101
|
+
|
|
102
|
+
<dl>
|
|
103
|
+
<dt>Defined in:</dt>
|
|
104
|
+
<dd>lib/ravensat/extension/variable/boolean_variable.rb</dd>
|
|
105
|
+
</dl>
|
|
106
|
+
|
|
107
|
+
</div>
|
|
108
|
+
|
|
109
|
+
|
|
110
|
+
|
|
111
|
+
|
|
112
|
+
|
|
113
|
+
|
|
114
|
+
|
|
115
|
+
<h2>Instance Attribute Summary</h2>
|
|
116
|
+
|
|
117
|
+
<h3 class="inherited">Attributes inherited from <span class='object_link'><a href="Variable.html" title="Ravensat::Extension::Variable (class)">Variable</a></span></h3>
|
|
118
|
+
<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>
|
|
119
|
+
|
|
120
|
+
|
|
121
|
+
|
|
122
|
+
<h2>
|
|
123
|
+
Instance Method Summary
|
|
124
|
+
<small><a href="#" class="summary_toggle">collapse</a></small>
|
|
125
|
+
</h2>
|
|
126
|
+
|
|
127
|
+
<ul class="summary">
|
|
128
|
+
|
|
129
|
+
<li class="public ">
|
|
130
|
+
<span class="summary_signature">
|
|
131
|
+
|
|
132
|
+
<a href="#initialize-instance_method" title="#initialize (instance method)">#<strong>initialize</strong>(name, args) ⇒ BooleanVariable </a>
|
|
133
|
+
|
|
134
|
+
|
|
135
|
+
|
|
136
|
+
</span>
|
|
137
|
+
|
|
138
|
+
|
|
139
|
+
<span class="note title constructor">constructor</span>
|
|
140
|
+
|
|
141
|
+
|
|
142
|
+
|
|
143
|
+
|
|
144
|
+
|
|
145
|
+
|
|
146
|
+
|
|
147
|
+
|
|
148
|
+
<span class="summary_desc"><div class='inline'>
|
|
149
|
+
<p>A new instance of BooleanVariable.</p>
|
|
150
|
+
</div></span>
|
|
151
|
+
|
|
152
|
+
</li>
|
|
153
|
+
|
|
154
|
+
|
|
155
|
+
</ul>
|
|
156
|
+
|
|
157
|
+
|
|
158
|
+
|
|
159
|
+
|
|
160
|
+
|
|
161
|
+
|
|
162
|
+
|
|
163
|
+
|
|
164
|
+
|
|
165
|
+
|
|
166
|
+
|
|
167
|
+
|
|
168
|
+
<h3 class="inherited">Methods inherited from <span class='object_link'><a href="Variable.html" title="Ravensat::Extension::Variable (class)">Variable</a></span></h3>
|
|
169
|
+
<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>
|
|
170
|
+
<div id="constructor_details" class="method_details_list">
|
|
171
|
+
<h2>Constructor Details</h2>
|
|
172
|
+
|
|
173
|
+
<div class="method_details first">
|
|
174
|
+
<h3 class="signature first" id="initialize-instance_method">
|
|
175
|
+
|
|
176
|
+
#<strong>initialize</strong>(name, args) ⇒ <tt><span class='object_link'><a href="" title="Ravensat::Extension::BooleanVariable (class)">BooleanVariable</a></span></tt>
|
|
177
|
+
|
|
178
|
+
|
|
179
|
+
|
|
180
|
+
|
|
181
|
+
|
|
182
|
+
</h3><div class="docstring">
|
|
183
|
+
<div class="discussion">
|
|
184
|
+
|
|
185
|
+
<p>Returns a new instance of BooleanVariable.</p>
|
|
186
|
+
|
|
187
|
+
|
|
188
|
+
</div>
|
|
189
|
+
</div>
|
|
190
|
+
<div class="tags">
|
|
191
|
+
|
|
192
|
+
|
|
193
|
+
</div><table class="source_code">
|
|
194
|
+
<tr>
|
|
195
|
+
<td>
|
|
196
|
+
<pre class="lines">
|
|
197
|
+
|
|
198
|
+
|
|
199
|
+
11
|
|
200
|
+
12
|
|
201
|
+
13
|
|
202
|
+
14</pre>
|
|
203
|
+
</td>
|
|
204
|
+
<td>
|
|
205
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/extension/variable/boolean_variable.rb', line 11</span>
|
|
206
|
+
|
|
207
|
+
<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>
|
|
208
|
+
<span class='kw'>super</span>
|
|
209
|
+
<span class='ivar'>@var_node</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>
|
|
210
|
+
<span class='kw'>end</span></pre>
|
|
211
|
+
</td>
|
|
212
|
+
</tr>
|
|
213
|
+
</table>
|
|
214
|
+
</div>
|
|
215
|
+
|
|
216
|
+
</div>
|
|
217
|
+
|
|
218
|
+
|
|
219
|
+
</div>
|
|
220
|
+
|
|
221
|
+
<div id="footer">
|
|
222
|
+
Generated on Wed May 25 14:42:45 2022 by
|
|
223
|
+
<a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
|
|
224
|
+
0.9.27 (ruby-3.0.0).
|
|
225
|
+
</div>
|
|
226
|
+
|
|
227
|
+
</div>
|
|
228
|
+
</body>
|
|
229
|
+
</html>
|