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.
Files changed (53) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/main.yml +18 -0
  3. data/README.md +90 -13
  4. data/docs/Arcteryx/CNF.html +827 -0
  5. data/docs/Arcteryx.html +309 -0
  6. data/docs/Ravensat/AndNode.html +159 -0
  7. data/docs/Ravensat/Claw.html +338 -0
  8. data/docs/Ravensat/DimacsDecoder.html +224 -0
  9. data/docs/Ravensat/DimacsEncoder.html +425 -0
  10. data/docs/Ravensat/Extension/BooleanVariable.html +229 -0
  11. data/docs/Ravensat/Extension/Domain.html +319 -0
  12. data/docs/Ravensat/Extension/IntegerVariable.html +589 -0
  13. data/docs/Ravensat/Extension/UndefinedVariable.html +236 -0
  14. data/docs/Ravensat/Extension/Variable.html +443 -0
  15. data/docs/Ravensat/Extension.html +141 -0
  16. data/docs/Ravensat/InitialNode.html +267 -0
  17. data/docs/Ravensat/Node.html +780 -0
  18. data/docs/Ravensat/NotNode.html +159 -0
  19. data/docs/Ravensat/OprNode.html +226 -0
  20. data/docs/Ravensat/OrNode.html +252 -0
  21. data/docs/Ravensat/Solver.html +373 -0
  22. data/docs/Ravensat/VarNode.html +488 -0
  23. data/docs/Ravensat.html +135 -0
  24. data/docs/_index.html +329 -0
  25. data/docs/class_list.html +51 -0
  26. data/docs/css/common.css +1 -0
  27. data/docs/css/full_list.css +58 -0
  28. data/docs/css/style.css +497 -0
  29. data/docs/file.README.html +233 -0
  30. data/docs/file_list.html +56 -0
  31. data/docs/frames.html +17 -0
  32. data/docs/index.html +233 -0
  33. data/docs/js/app.js +314 -0
  34. data/docs/js/full_list.js +216 -0
  35. data/docs/js/jquery.js +4 -0
  36. data/docs/method_list.html +523 -0
  37. data/docs/top-level-namespace.html +110 -0
  38. data/exe/ravensat +1 -5
  39. data/lib/ravensat/ast/and_node.rb +8 -0
  40. data/lib/ravensat/ast/node.rb +84 -20
  41. data/lib/ravensat/ast/not_node.rb +7 -0
  42. data/lib/ravensat/ast/or_node.rb +9 -0
  43. data/lib/ravensat/ast/var_node.rb +10 -1
  44. data/lib/ravensat/claw.rb +44 -0
  45. data/lib/ravensat/dimacs/dimacs_decoder.rb +9 -6
  46. data/lib/ravensat/dimacs/dimacs_encoder.rb +10 -13
  47. data/lib/ravensat/extension/domain.rb +0 -1
  48. data/lib/ravensat/extension/variable/integer_variable.rb +3 -3
  49. data/lib/ravensat/solver.rb +1 -8
  50. data/lib/ravensat/version.rb +1 -1
  51. data/lib/ravensat.rb +1 -1
  52. metadata +38 -3
  53. data/lib/ravensat/ravenclaw.rb +0 -19
data/docs/Ravensat/Extension.html ADDED
@@ -0,0 +1,141 @@
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
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 = "Ravensat::Extension";
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 (E)</a> &raquo;
40
+ <span class='title'><span class='object_link'><a href="../Ravensat.html" title="Ravensat (module)">Ravensat</a></span></span>
41
+ &raquo;
42
+ <span class="title">Extension</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
63
+
64
+
65
+
66
+ </h1>
67
+ <div class="box_info">
68
+
69
+
70
+
71
+
72
+ <dl>
73
+ <dt>Extended by:</dt>
74
+ <dd><span class='object_link'><a href="Extension/Domain.html" title="Ravensat::Extension::Domain (module)">Domain</a></span></dd>
75
+ </dl>
76
+
77
+
78
+
79
+
80
+
81
+
82
+
83
+
84
+ <dl>
85
+ <dt>Defined in:</dt>
86
+ <dd>lib/ravensat/extension.rb<span class="defines">,<br />
87
+ lib/ravensat/extension/domain.rb,<br /> lib/ravensat/extension/variable/variable.rb,<br /> lib/ravensat/extension/variable/boolean_variable.rb,<br /> lib/ravensat/extension/variable/integer_variable.rb,<br /> lib/ravensat/extension/variable/undefined_variable.rb</span>
88
+ </dd>
89
+ </dl>
90
+
91
+ </div>
92
+
93
+ <h2>Defined Under Namespace</h2>
94
+ <p class="children">
95
+
96
+
97
+ <strong class="modules">Modules:</strong> <span class='object_link'><a href="Extension/Domain.html" title="Ravensat::Extension::Domain (module)">Domain</a></span>
98
+
99
+
100
+
101
+ <strong class="classes">Classes:</strong> <span class='object_link'><a href="Extension/BooleanVariable.html" title="Ravensat::Extension::BooleanVariable (class)">BooleanVariable</a></span>, <span class='object_link'><a href="Extension/IntegerVariable.html" title="Ravensat::Extension::IntegerVariable (class)">IntegerVariable</a></span>, <span class='object_link'><a href="Extension/UndefinedVariable.html" title="Ravensat::Extension::UndefinedVariable (class)">UndefinedVariable</a></span>, <span class='object_link'><a href="Extension/Variable.html" title="Ravensat::Extension::Variable (class)">Variable</a></span>
102
+
103
+
104
+ </p>
105
+
106
+
107
+
108
+ <h2>Constant Summary</h2>
109
+
110
+ <h3 class="inherited">Constants included
111
+ from <span class='object_link'><a href="Extension/Domain.html" title="Ravensat::Extension::Domain (module)">Domain</a></span></h3>
112
+ <p class="inherited"><span class='object_link'><a href="Extension/Domain.html#LOCAL_VARIABLE_TABLE-constant" title="Ravensat::Extension::Domain::LOCAL_VARIABLE_TABLE (constant)">Domain::LOCAL_VARIABLE_TABLE</a></span></p>
113
+
114
+
115
+
116
+
117
+
118
+
119
+
120
+
121
+
122
+
123
+
124
+
125
+ <h2>Method Summary</h2>
126
+
127
+ <h3 class="inherited">Methods included from <span class='object_link'><a href="Extension/Domain.html" title="Ravensat::Extension::Domain (module)">Domain</a></span></h3>
128
+ <p class="inherited"><span class='object_link'><a href="Extension/Domain.html#bool-instance_method" title="Ravensat::Extension::Domain#bool (method)">bool</a></span>, <span class='object_link'><a href="Extension/Domain.html#int-instance_method" title="Ravensat::Extension::Domain#int (method)">int</a></span>, <span class='object_link'><a href="Extension/Domain.html#method_missing-instance_method" title="Ravensat::Extension::Domain#method_missing (method)">method_missing</a></span></p>
129
+
130
+
131
+ </div>
132
+
133
+ <div id="footer">
134
+ Generated on Wed May 25 14:42:45 2022 by
135
+ <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
136
+ 0.9.27 (ruby-3.0.0).
137
+ </div>
138
+
139
+ </div>
140
+ </body>
141
+ </html>
data/docs/Ravensat/InitialNode.html ADDED
@@ -0,0 +1,267 @@
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::InitialNode
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 = "Ravensat::InitialNode";
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> &raquo;
40
+ <span class='title'><span class='object_link'><a href="../Ravensat.html" title="Ravensat (module)">Ravensat</a></span></span>
41
+ &raquo;
42
+ <span class="title">InitialNode</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::InitialNode
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="Node.html" title="Ravensat::Node (class)">Node</a></span></span>
73
+
74
+ <ul class="fullTree">
75
+ <li>Object</li>
76
+
77
+ <li class="next"><span class='object_link'><a href="Node.html" title="Ravensat::Node (class)">Node</a></span></li>
78
+
79
+ <li class="next">Ravensat::InitialNode</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/ast/initial_node.rb</dd>
100
+ </dl>
101
+
102
+ </div>
103
+
104
+
105
+
106
+
107
+
108
+
109
+
110
+ <h2>Instance Attribute Summary</h2>
111
+
112
+ <h3 class="inherited">Attributes inherited from <span class='object_link'><a href="Node.html" title="Ravensat::Node (class)">Node</a></span></h3>
113
+ <p class="inherited"><span class='object_link'><a href="Node.html#children-instance_method" title="Ravensat::Node#children (method)">#children</a></span></p>
114
+
115
+
116
+
117
+ <h2>
118
+ Instance Method Summary
119
+ <small><a href="#" class="summary_toggle">collapse</a></small>
120
+ </h2>
121
+
122
+ <ul class="summary">
123
+
124
+ <li class="public ">
125
+ <span class="summary_signature">
126
+
127
+ <a href="#&-instance_method" title="#&amp; (instance method)">#<strong>&amp;</strong>(object) &#x21d2; Object </a>
128
+
129
+
130
+
131
+ </span>
132
+
133
+
134
+
135
+
136
+
137
+
138
+
139
+
140
+
141
+ <span class="summary_desc"><div class='inline'></div></span>
142
+
143
+ </li>
144
+
145
+
146
+ <li class="public ">
147
+ <span class="summary_signature">
148
+
149
+ <a href="#%7C-instance_method" title="#| (instance method)">#<strong>|</strong>(object) &#x21d2; Object </a>
150
+
151
+
152
+
153
+ </span>
154
+
155
+
156
+
157
+
158
+
159
+
160
+
161
+
162
+
163
+ <span class="summary_desc"><div class='inline'></div></span>
164
+
165
+ </li>
166
+
167
+
168
+ </ul>
169
+
170
+
171
+
172
+
173
+
174
+
175
+
176
+
177
+
178
+
179
+
180
+ <h3 class="inherited">Methods inherited from <span class='object_link'><a href="Node.html" title="Ravensat::Node (class)">Node</a></span></h3>
181
+ <p class="inherited"><span class='object_link'><a href="Node.html#clauses_size-instance_method" title="Ravensat::Node#clauses_size (method)">#clauses_size</a></span>, <span class='object_link'><a href="Node.html#cnf%3F-instance_method" title="Ravensat::Node#cnf? (method)">#cnf?</a></span>, <span class='object_link'><a href="Node.html#each-instance_method" title="Ravensat::Node#each (method)">#each</a></span>, <span class='object_link'><a href="Node.html#initialize-instance_method" title="Ravensat::Node#initialize (method)">#initialize</a></span>, <span class='object_link'><a href="Node.html#to_s-instance_method" title="Ravensat::Node#to_s (method)">#to_s</a></span>, <span class='object_link'><a href="Node.html#vars-instance_method" title="Ravensat::Node#vars (method)">#vars</a></span>, <span class='object_link'><a href="Node.html#vars_size-instance_method" title="Ravensat::Node#vars_size (method)">#vars_size</a></span></p>
182
+
183
+ <div id="constructor_details" class="method_details_list">
184
+ <h2>Constructor Details</h2>
185
+
186
+ <p class="notice">This class inherits a constructor from <span class='object_link'><a href="Node.html#initialize-instance_method" title="Ravensat::Node#initialize (method)">Ravensat::Node</a></span></p>
187
+
188
+ </div>
189
+
190
+
191
+ <div id="instance_method_details" class="method_details_list">
192
+ <h2>Instance Method Details</h2>
193
+
194
+
195
+ <div class="method_details first">
196
+ <h3 class="signature first" id="&-instance_method">
197
+
198
+ #<strong>&amp;</strong>(object) &#x21d2; <tt>Object</tt>
199
+
200
+
201
+
202
+
203
+
204
+ </h3><table class="source_code">
205
+ <tr>
206
+ <td>
207
+ <pre class="lines">
208
+
209
+
210
+ 3
211
+ 4
212
+ 5</pre>
213
+ </td>
214
+ <td>
215
+ <pre class="code"><span class="info file"># File 'lib/ravensat/ast/initial_node.rb', line 3</span>
216
+
217
+ <span class='kw'>def</span> <span class='op'>&amp;</span><span class='lparen'>(</span><span class='id identifier rubyid_object'>object</span><span class='rparen'>)</span>
218
+ <span class='id identifier rubyid_object'>object</span>
219
+ <span class='kw'>end</span></pre>
220
+ </td>
221
+ </tr>
222
+ </table>
223
+ </div>
224
+
225
+ <div class="method_details ">
226
+ <h3 class="signature " id="|-instance_method">
227
+
228
+ #<strong>|</strong>(object) &#x21d2; <tt>Object</tt>
229
+
230
+
231
+
232
+
233
+
234
+ </h3><table class="source_code">
235
+ <tr>
236
+ <td>
237
+ <pre class="lines">
238
+
239
+
240
+ 7
241
+ 8
242
+ 9</pre>
243
+ </td>
244
+ <td>
245
+ <pre class="code"><span class="info file"># File 'lib/ravensat/ast/initial_node.rb', line 7</span>
246
+
247
+ <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>
248
+ <span class='id identifier rubyid_object'>object</span>
249
+ <span class='kw'>end</span></pre>
250
+ </td>
251
+ </tr>
252
+ </table>
253
+ </div>
254
+
255
+ </div>
256
+
257
+ </div>
258
+
259
+ <div id="footer">
260
+ Generated on Wed May 25 14:42:45 2022 by
261
+ <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
262
+ 0.9.27 (ruby-3.0.0).
263
+ </div>
264
+
265
+ </div>
266
+ </body>
267
+ </html>