ravensat 0.3.1 → 1.0.1
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/README.md +44 -21
- 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/lib/ravensat/ast/and_node.rb +8 -0
- data/lib/ravensat/ast/node.rb +50 -15
- 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 +6 -1
- data/lib/ravensat/claw.rb +45 -0
- data/lib/ravensat/dimacs/dimacs_decoder.rb +6 -12
- data/lib/ravensat/dimacs/dimacs_encoder.rb +10 -13
- data/lib/ravensat/extension/variable/integer_variable.rb +3 -3
- data/lib/ravensat/solver.rb +1 -1
- data/lib/ravensat/version.rb +1 -1
- data/lib/ravensat.rb +1 -1
- metadata +37 -4
- data/Gemfile.lock +0 -45
- data/lib/ravensat/ravenclaw.rb +0 -19
|
@@ -0,0 +1,319 @@
|
|
|
1
|
+
<!DOCTYPE html>
|
|
2
|
+
<html>
|
|
3
|
+
<head>
|
|
4
|
+
<meta charset="utf-8">
|
|
5
|
+
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
|
6
|
+
<title>
|
|
7
|
+
Module: Ravensat::Extension::Domain
|
|
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::Domain";
|
|
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> » <span class='title'><span class='object_link'><a href="../Extension.html" title="Ravensat::Extension (module)">Extension</a></span></span>
|
|
41
|
+
»
|
|
42
|
+
<span class="title">Domain</span>
|
|
43
|
+
|
|
44
|
+
</div>
|
|
45
|
+
|
|
46
|
+
<div id="search">
|
|
47
|
+
|
|
48
|
+
<a class="full_list_link" id="class_list_link"
|
|
49
|
+
href="../../class_list.html">
|
|
50
|
+
|
|
51
|
+
<svg width="24" height="24">
|
|
52
|
+
<rect x="0" y="4" width="24" height="4" rx="1" ry="1"></rect>
|
|
53
|
+
<rect x="0" y="12" width="24" height="4" rx="1" ry="1"></rect>
|
|
54
|
+
<rect x="0" y="20" width="24" height="4" rx="1" ry="1"></rect>
|
|
55
|
+
</svg>
|
|
56
|
+
</a>
|
|
57
|
+
|
|
58
|
+
</div>
|
|
59
|
+
<div class="clear"></div>
|
|
60
|
+
</div>
|
|
61
|
+
|
|
62
|
+
<div id="content"><h1>Module: Ravensat::Extension::Domain
|
|
63
|
+
|
|
64
|
+
|
|
65
|
+
|
|
66
|
+
</h1>
|
|
67
|
+
<div class="box_info">
|
|
68
|
+
|
|
69
|
+
|
|
70
|
+
|
|
71
|
+
|
|
72
|
+
|
|
73
|
+
|
|
74
|
+
|
|
75
|
+
|
|
76
|
+
|
|
77
|
+
<dl>
|
|
78
|
+
<dt>Included in:</dt>
|
|
79
|
+
<dd><span class='object_link'><a href="../Extension.html" title="Ravensat::Extension (module)">Ravensat::Extension</a></span></dd>
|
|
80
|
+
</dl>
|
|
81
|
+
|
|
82
|
+
|
|
83
|
+
|
|
84
|
+
<dl>
|
|
85
|
+
<dt>Defined in:</dt>
|
|
86
|
+
<dd>lib/ravensat/extension/domain.rb</dd>
|
|
87
|
+
</dl>
|
|
88
|
+
|
|
89
|
+
</div>
|
|
90
|
+
|
|
91
|
+
|
|
92
|
+
|
|
93
|
+
<h2>
|
|
94
|
+
Constant Summary
|
|
95
|
+
<small><a href="#" class="constants_summary_toggle">collapse</a></small>
|
|
96
|
+
</h2>
|
|
97
|
+
|
|
98
|
+
<dl class="constants">
|
|
99
|
+
|
|
100
|
+
<dt id="LOCAL_VARIABLE_TABLE-constant" class="">LOCAL_VARIABLE_TABLE =
|
|
101
|
+
|
|
102
|
+
</dt>
|
|
103
|
+
<dd><pre class="code"><span class='lbrace'>{</span><span class='rbrace'>}</span></pre></dd>
|
|
104
|
+
|
|
105
|
+
</dl>
|
|
106
|
+
|
|
107
|
+
|
|
108
|
+
|
|
109
|
+
|
|
110
|
+
|
|
111
|
+
|
|
112
|
+
|
|
113
|
+
|
|
114
|
+
|
|
115
|
+
<h2>
|
|
116
|
+
Instance Method Summary
|
|
117
|
+
<small><a href="#" class="summary_toggle">collapse</a></small>
|
|
118
|
+
</h2>
|
|
119
|
+
|
|
120
|
+
<ul class="summary">
|
|
121
|
+
|
|
122
|
+
<li class="public ">
|
|
123
|
+
<span class="summary_signature">
|
|
124
|
+
|
|
125
|
+
<a href="#bool-instance_method" title="#bool (instance method)">#<strong>bool</strong>(*vars) ⇒ Object </a>
|
|
126
|
+
|
|
127
|
+
|
|
128
|
+
|
|
129
|
+
</span>
|
|
130
|
+
|
|
131
|
+
|
|
132
|
+
|
|
133
|
+
|
|
134
|
+
|
|
135
|
+
|
|
136
|
+
|
|
137
|
+
|
|
138
|
+
|
|
139
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
140
|
+
|
|
141
|
+
</li>
|
|
142
|
+
|
|
143
|
+
|
|
144
|
+
<li class="public ">
|
|
145
|
+
<span class="summary_signature">
|
|
146
|
+
|
|
147
|
+
<a href="#int-instance_method" title="#int (instance method)">#<strong>int</strong>(*vars) ⇒ Object </a>
|
|
148
|
+
|
|
149
|
+
|
|
150
|
+
|
|
151
|
+
</span>
|
|
152
|
+
|
|
153
|
+
|
|
154
|
+
|
|
155
|
+
|
|
156
|
+
|
|
157
|
+
|
|
158
|
+
|
|
159
|
+
|
|
160
|
+
|
|
161
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
162
|
+
|
|
163
|
+
</li>
|
|
164
|
+
|
|
165
|
+
|
|
166
|
+
<li class="public ">
|
|
167
|
+
<span class="summary_signature">
|
|
168
|
+
|
|
169
|
+
<a href="#method_missing-instance_method" title="#method_missing (instance method)">#<strong>method_missing</strong>(name, *args) ⇒ Object </a>
|
|
170
|
+
|
|
171
|
+
|
|
172
|
+
|
|
173
|
+
</span>
|
|
174
|
+
|
|
175
|
+
|
|
176
|
+
|
|
177
|
+
|
|
178
|
+
|
|
179
|
+
|
|
180
|
+
|
|
181
|
+
|
|
182
|
+
|
|
183
|
+
<span class="summary_desc"><div class='inline'></div></span>
|
|
184
|
+
|
|
185
|
+
</li>
|
|
186
|
+
|
|
187
|
+
|
|
188
|
+
</ul>
|
|
189
|
+
|
|
190
|
+
|
|
191
|
+
<div id="method_missing_details" class="method_details_list">
|
|
192
|
+
<h2>Dynamic Method Handling</h2>
|
|
193
|
+
<p class="notice this">
|
|
194
|
+
This class handles dynamic methods through the <tt>method_missing</tt> method
|
|
195
|
+
|
|
196
|
+
</p>
|
|
197
|
+
|
|
198
|
+
<div class="method_details first">
|
|
199
|
+
<h3 class="signature first" id="method_missing-instance_method">
|
|
200
|
+
|
|
201
|
+
#<strong>method_missing</strong>(name, *args) ⇒ <tt>Object</tt>
|
|
202
|
+
|
|
203
|
+
|
|
204
|
+
|
|
205
|
+
|
|
206
|
+
|
|
207
|
+
</h3><table class="source_code">
|
|
208
|
+
<tr>
|
|
209
|
+
<td>
|
|
210
|
+
<pre class="lines">
|
|
211
|
+
|
|
212
|
+
|
|
213
|
+
19
|
|
214
|
+
20
|
|
215
|
+
21</pre>
|
|
216
|
+
</td>
|
|
217
|
+
<td>
|
|
218
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/extension/domain.rb', line 19</span>
|
|
219
|
+
|
|
220
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_method_missing'>method_missing</span><span class='lparen'>(</span><span class='id identifier rubyid_name'>name</span><span class='comma'>,</span> <span class='op'>*</span><span class='id identifier rubyid_args'>args</span><span class='rparen'>)</span>
|
|
221
|
+
<span class='const'><span class='object_link'><a href="#LOCAL_VARIABLE_TABLE-constant" title="Ravensat::Extension::Domain::LOCAL_VARIABLE_TABLE (constant)">LOCAL_VARIABLE_TABLE</a></span></span><span class='lbracket'>[</span><span class='id identifier rubyid_name'>name</span><span class='rbracket'>]</span> <span class='op'>||</span> <span class='const'><span class='object_link'><a href="UndefinedVariable.html" title="Ravensat::Extension::UndefinedVariable (class)">UndefinedVariable</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="Variable.html#initialize-instance_method" title="Ravensat::Extension::Variable#initialize (method)">new</a></span></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>
|
|
222
|
+
<span class='kw'>end</span></pre>
|
|
223
|
+
</td>
|
|
224
|
+
</tr>
|
|
225
|
+
</table>
|
|
226
|
+
</div>
|
|
227
|
+
|
|
228
|
+
</div>
|
|
229
|
+
|
|
230
|
+
|
|
231
|
+
<div id="instance_method_details" class="method_details_list">
|
|
232
|
+
<h2>Instance Method Details</h2>
|
|
233
|
+
|
|
234
|
+
|
|
235
|
+
<div class="method_details first">
|
|
236
|
+
<h3 class="signature first" id="bool-instance_method">
|
|
237
|
+
|
|
238
|
+
#<strong>bool</strong>(*vars) ⇒ <tt>Object</tt>
|
|
239
|
+
|
|
240
|
+
|
|
241
|
+
|
|
242
|
+
|
|
243
|
+
|
|
244
|
+
</h3><table class="source_code">
|
|
245
|
+
<tr>
|
|
246
|
+
<td>
|
|
247
|
+
<pre class="lines">
|
|
248
|
+
|
|
249
|
+
|
|
250
|
+
12
|
|
251
|
+
13
|
|
252
|
+
14
|
|
253
|
+
15
|
|
254
|
+
16
|
|
255
|
+
17</pre>
|
|
256
|
+
</td>
|
|
257
|
+
<td>
|
|
258
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/extension/domain.rb', line 12</span>
|
|
259
|
+
|
|
260
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_bool'>bool</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_vars'>vars</span><span class='rparen'>)</span>
|
|
261
|
+
<span class='id identifier rubyid_vars'>vars</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_var'>var</span><span class='op'>|</span>
|
|
262
|
+
<span class='kw'>next</span> <span class='kw'>if</span> <span class='id identifier rubyid_var'>var</span><span class='period'>.</span><span class='id identifier rubyid_is_defined?'>is_defined?</span>
|
|
263
|
+
<span class='const'><span class='object_link'><a href="#LOCAL_VARIABLE_TABLE-constant" title="Ravensat::Extension::Domain::LOCAL_VARIABLE_TABLE (constant)">LOCAL_VARIABLE_TABLE</a></span></span><span class='lbracket'>[</span><span class='id identifier rubyid_var'>var</span><span class='period'>.</span><span class='id identifier rubyid_name'>name</span><span class='rbracket'>]</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="../Extension.html" title="Ravensat::Extension (module)">Extension</a></span></span><span class='op'>::</span><span class='const'><span class='object_link'><a href="BooleanVariable.html" title="Ravensat::Extension::BooleanVariable (class)">BooleanVariable</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="BooleanVariable.html#initialize-instance_method" title="Ravensat::Extension::BooleanVariable#initialize (method)">new</a></span></span><span class='lparen'>(</span><span class='id identifier rubyid_var'>var</span><span class='period'>.</span><span class='id identifier rubyid_name'>name</span><span class='comma'>,</span> <span class='id identifier rubyid_var'>var</span><span class='period'>.</span><span class='id identifier rubyid_args'>args</span><span class='rparen'>)</span>
|
|
264
|
+
<span class='kw'>end</span>
|
|
265
|
+
<span class='kw'>end</span></pre>
|
|
266
|
+
</td>
|
|
267
|
+
</tr>
|
|
268
|
+
</table>
|
|
269
|
+
</div>
|
|
270
|
+
|
|
271
|
+
<div class="method_details ">
|
|
272
|
+
<h3 class="signature " id="int-instance_method">
|
|
273
|
+
|
|
274
|
+
#<strong>int</strong>(*vars) ⇒ <tt>Object</tt>
|
|
275
|
+
|
|
276
|
+
|
|
277
|
+
|
|
278
|
+
|
|
279
|
+
|
|
280
|
+
</h3><table class="source_code">
|
|
281
|
+
<tr>
|
|
282
|
+
<td>
|
|
283
|
+
<pre class="lines">
|
|
284
|
+
|
|
285
|
+
|
|
286
|
+
5
|
|
287
|
+
6
|
|
288
|
+
7
|
|
289
|
+
8
|
|
290
|
+
9
|
|
291
|
+
10</pre>
|
|
292
|
+
</td>
|
|
293
|
+
<td>
|
|
294
|
+
<pre class="code"><span class="info file"># File 'lib/ravensat/extension/domain.rb', line 5</span>
|
|
295
|
+
|
|
296
|
+
<span class='kw'>def</span> <span class='id identifier rubyid_int'>int</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_vars'>vars</span><span class='rparen'>)</span>
|
|
297
|
+
<span class='id identifier rubyid_vars'>vars</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_var'>var</span><span class='op'>|</span>
|
|
298
|
+
<span class='kw'>next</span> <span class='kw'>if</span> <span class='id identifier rubyid_var'>var</span><span class='period'>.</span><span class='id identifier rubyid_is_defined?'>is_defined?</span>
|
|
299
|
+
<span class='const'><span class='object_link'><a href="#LOCAL_VARIABLE_TABLE-constant" title="Ravensat::Extension::Domain::LOCAL_VARIABLE_TABLE (constant)">LOCAL_VARIABLE_TABLE</a></span></span><span class='lbracket'>[</span><span class='id identifier rubyid_var'>var</span><span class='period'>.</span><span class='id identifier rubyid_name'>name</span><span class='rbracket'>]</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="../Extension.html" title="Ravensat::Extension (module)">Extension</a></span></span><span class='op'>::</span><span class='const'><span class='object_link'><a href="IntegerVariable.html" title="Ravensat::Extension::IntegerVariable (class)">IntegerVariable</a></span></span><span class='period'>.</span><span class='id identifier rubyid_new'><span class='object_link'><a href="IntegerVariable.html#initialize-instance_method" title="Ravensat::Extension::IntegerVariable#initialize (method)">new</a></span></span><span class='lparen'>(</span><span class='id identifier rubyid_var'>var</span><span class='period'>.</span><span class='id identifier rubyid_name'>name</span><span class='comma'>,</span> <span class='id identifier rubyid_var'>var</span><span class='period'>.</span><span class='id identifier rubyid_args'>args</span><span class='rparen'>)</span>
|
|
300
|
+
<span class='kw'>end</span>
|
|
301
|
+
<span class='kw'>end</span></pre>
|
|
302
|
+
</td>
|
|
303
|
+
</tr>
|
|
304
|
+
</table>
|
|
305
|
+
</div>
|
|
306
|
+
|
|
307
|
+
</div>
|
|
308
|
+
|
|
309
|
+
</div>
|
|
310
|
+
|
|
311
|
+
<div id="footer">
|
|
312
|
+
Generated on Wed May 25 14:42:45 2022 by
|
|
313
|
+
<a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
|
|
314
|
+
0.9.27 (ruby-3.0.0).
|
|
315
|
+
</div>
|
|
316
|
+
|
|
317
|
+
</div>
|
|
318
|
+
</body>
|
|
319
|
+
</html>
|