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/NotNode.html ADDED
@@ -0,0 +1,159 @@
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::NotNode
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::NotNode";
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 (N)</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">NotNode</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::NotNode
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="OprNode.html" title="Ravensat::OprNode (class)">OprNode</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"><span class='object_link'><a href="OprNode.html" title="Ravensat::OprNode (class)">OprNode</a></span></li>
80
+
81
+ <li class="next">Ravensat::NotNode</li>
82
+
83
+ </ul>
84
+ <a href="#" class="inheritanceTree">show all</a>
85
+
86
+ </dd>
87
+ </dl>
88
+
89
+
90
+
91
+
92
+
93
+
94
+
95
+
96
+
97
+
98
+
99
+ <dl>
100
+ <dt>Defined in:</dt>
101
+ <dd>lib/ravensat/ast/not_node.rb</dd>
102
+ </dl>
103
+
104
+ </div>
105
+
106
+
107
+
108
+
109
+
110
+
111
+
112
+ <h2>Instance Attribute Summary</h2>
113
+
114
+ <h3 class="inherited">Attributes inherited from <span class='object_link'><a href="Node.html" title="Ravensat::Node (class)">Node</a></span></h3>
115
+ <p class="inherited"><span class='object_link'><a href="Node.html#children-instance_method" title="Ravensat::Node#children (method)">#children</a></span></p>
116
+
117
+
118
+
119
+
120
+
121
+
122
+
123
+
124
+
125
+ <h2>Method Summary</h2>
126
+
127
+ <h3 class="inherited">Methods inherited from <span class='object_link'><a href="OprNode.html" title="Ravensat::OprNode (class)">OprNode</a></span></h3>
128
+ <p class="inherited"><span class='object_link'><a href="OprNode.html#initialize-instance_method" title="Ravensat::OprNode#initialize (method)">#initialize</a></span></p>
129
+
130
+
131
+
132
+
133
+
134
+
135
+
136
+
137
+
138
+ <h3 class="inherited">Methods inherited from <span class='object_link'><a href="Node.html" title="Ravensat::Node (class)">Node</a></span></h3>
139
+ <p class="inherited"><span class='object_link'><a href="Node.html#&-instance_method" title="Ravensat::Node#&amp; (method)">#&</a></span>, <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>, <span class='object_link'><a href="Node.html#%7C-instance_method" title="Ravensat::Node#| (method)">#|</a></span></p>
140
+
141
+ <div id="constructor_details" class="method_details_list">
142
+ <h2>Constructor Details</h2>
143
+
144
+ <p class="notice">This class inherits a constructor from <span class='object_link'><a href="OprNode.html#initialize-instance_method" title="Ravensat::OprNode#initialize (method)">Ravensat::OprNode</a></span></p>
145
+
146
+ </div>
147
+
148
+
149
+ </div>
150
+
151
+ <div id="footer">
152
+ Generated on Wed May 25 14:42:45 2022 by
153
+ <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
154
+ 0.9.27 (ruby-3.0.0).
155
+ </div>
156
+
157
+ </div>
158
+ </body>
159
+ </html>
data/docs/Ravensat/OprNode.html ADDED
@@ -0,0 +1,226 @@
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::OprNode
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::OprNode";
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 (O)</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">OprNode</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::OprNode
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::OprNode</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/opr_node.rb</dd>
100
+ </dl>
101
+
102
+ </div>
103
+
104
+ <div id="subclasses">
105
+ <h2>Direct Known Subclasses</h2>
106
+ <p class="children"><span class='object_link'><a href="AndNode.html" title="Ravensat::AndNode (class)">AndNode</a></span>, <span class='object_link'><a href="NotNode.html" title="Ravensat::NotNode (class)">NotNode</a></span>, <span class='object_link'><a href="OrNode.html" title="Ravensat::OrNode (class)">OrNode</a></span></p>
107
+ </div>
108
+
109
+
110
+
111
+
112
+
113
+
114
+ <h2>Instance Attribute Summary</h2>
115
+
116
+ <h3 class="inherited">Attributes inherited from <span class='object_link'><a href="Node.html" title="Ravensat::Node (class)">Node</a></span></h3>
117
+ <p class="inherited"><span class='object_link'><a href="Node.html#children-instance_method" title="Ravensat::Node#children (method)">#children</a></span></p>
118
+
119
+
120
+
121
+ <h2>
122
+ Instance Method Summary
123
+ <small><a href="#" class="summary_toggle">collapse</a></small>
124
+ </h2>
125
+
126
+ <ul class="summary">
127
+
128
+ <li class="public ">
129
+ <span class="summary_signature">
130
+
131
+ <a href="#initialize-instance_method" title="#initialize (instance method)">#<strong>initialize</strong>(*nodes) &#x21d2; OprNode </a>
132
+
133
+
134
+
135
+ </span>
136
+
137
+
138
+ <span class="note title constructor">constructor</span>
139
+
140
+
141
+
142
+
143
+
144
+
145
+
146
+
147
+ <span class="summary_desc"><div class='inline'>
148
+ <p>A new instance of OprNode.</p>
149
+ </div></span>
150
+
151
+ </li>
152
+
153
+
154
+ </ul>
155
+
156
+
157
+
158
+
159
+
160
+
161
+
162
+
163
+
164
+
165
+
166
+ <h3 class="inherited">Methods inherited from <span class='object_link'><a href="Node.html" title="Ravensat::Node (class)">Node</a></span></h3>
167
+ <p class="inherited"><span class='object_link'><a href="Node.html#&-instance_method" title="Ravensat::Node#&amp; (method)">#&</a></span>, <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#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>, <span class='object_link'><a href="Node.html#%7C-instance_method" title="Ravensat::Node#| (method)">#|</a></span></p>
168
+
169
+ <div id="constructor_details" class="method_details_list">
170
+ <h2>Constructor Details</h2>
171
+
172
+ <div class="method_details first">
173
+ <h3 class="signature first" id="initialize-instance_method">
174
+
175
+ #<strong>initialize</strong>(*nodes) &#x21d2; <tt><span class='object_link'><a href="" title="Ravensat::OprNode (class)">OprNode</a></span></tt>
176
+
177
+
178
+
179
+
180
+
181
+ </h3><div class="docstring">
182
+ <div class="discussion">
183
+
184
+ <p>Returns a new instance of OprNode.</p>
185
+
186
+
187
+ </div>
188
+ </div>
189
+ <div class="tags">
190
+
191
+
192
+ </div><table class="source_code">
193
+ <tr>
194
+ <td>
195
+ <pre class="lines">
196
+
197
+
198
+ 3
199
+ 4
200
+ 5</pre>
201
+ </td>
202
+ <td>
203
+ <pre class="code"><span class="info file"># File 'lib/ravensat/ast/opr_node.rb', line 3</span>
204
+
205
+ <span class='kw'>def</span> <span class='id identifier rubyid_initialize'>initialize</span><span class='lparen'>(</span><span class='op'>*</span><span class='id identifier rubyid_nodes'>nodes</span><span class='rparen'>)</span>
206
+ <span class='ivar'>@children</span> <span class='op'>=</span> <span class='id identifier rubyid_nodes'>nodes</span>
207
+ <span class='kw'>end</span></pre>
208
+ </td>
209
+ </tr>
210
+ </table>
211
+ </div>
212
+
213
+ </div>
214
+
215
+
216
+ </div>
217
+
218
+ <div id="footer">
219
+ Generated on Wed May 25 14:42:45 2022 by
220
+ <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
221
+ 0.9.27 (ruby-3.0.0).
222
+ </div>
223
+
224
+ </div>
225
+ </body>
226
+ </html>
data/docs/Ravensat/OrNode.html ADDED
@@ -0,0 +1,252 @@
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::OrNode
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::OrNode";
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 (O)</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">OrNode</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::OrNode
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="OprNode.html" title="Ravensat::OprNode (class)">OprNode</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"><span class='object_link'><a href="OprNode.html" title="Ravensat::OprNode (class)">OprNode</a></span></li>
80
+
81
+ <li class="next">Ravensat::OrNode</li>
82
+
83
+ </ul>
84
+ <a href="#" class="inheritanceTree">show all</a>
85
+
86
+ </dd>
87
+ </dl>
88
+
89
+
90
+
91
+
92
+
93
+
94
+
95
+
96
+
97
+
98
+
99
+ <dl>
100
+ <dt>Defined in:</dt>
101
+ <dd>lib/ravensat/ast/or_node.rb</dd>
102
+ </dl>
103
+
104
+ </div>
105
+
106
+
107
+
108
+
109
+
110
+
111
+
112
+ <h2>Instance Attribute Summary</h2>
113
+
114
+ <h3 class="inherited">Attributes inherited from <span class='object_link'><a href="Node.html" title="Ravensat::Node (class)">Node</a></span></h3>
115
+ <p class="inherited"><span class='object_link'><a href="Node.html#children-instance_method" title="Ravensat::Node#children (method)">#children</a></span></p>
116
+
117
+
118
+
119
+ <h2>
120
+ Instance Method Summary
121
+ <small><a href="#" class="summary_toggle">collapse</a></small>
122
+ </h2>
123
+
124
+ <ul class="summary">
125
+
126
+ <li class="public ">
127
+ <span class="summary_signature">
128
+
129
+ <a href="#cnf%3F-instance_method" title="#cnf? (instance method)">#<strong>cnf?</strong> &#x21d2; Boolean </a>
130
+
131
+
132
+
133
+ </span>
134
+
135
+
136
+
137
+
138
+
139
+
140
+
141
+
142
+
143
+ <span class="summary_desc"><div class='inline'></div></span>
144
+
145
+ </li>
146
+
147
+
148
+ </ul>
149
+
150
+
151
+
152
+
153
+
154
+
155
+
156
+
157
+
158
+
159
+
160
+ <h3 class="inherited">Methods inherited from <span class='object_link'><a href="OprNode.html" title="Ravensat::OprNode (class)">OprNode</a></span></h3>
161
+ <p class="inherited"><span class='object_link'><a href="OprNode.html#initialize-instance_method" title="Ravensat::OprNode#initialize (method)">#initialize</a></span></p>
162
+
163
+
164
+
165
+
166
+
167
+
168
+
169
+
170
+
171
+ <h3 class="inherited">Methods inherited from <span class='object_link'><a href="Node.html" title="Ravensat::Node (class)">Node</a></span></h3>
172
+ <p class="inherited"><span class='object_link'><a href="Node.html#&-instance_method" title="Ravensat::Node#&amp; (method)">#&</a></span>, <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#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>, <span class='object_link'><a href="Node.html#%7C-instance_method" title="Ravensat::Node#| (method)">#|</a></span></p>
173
+
174
+ <div id="constructor_details" class="method_details_list">
175
+ <h2>Constructor Details</h2>
176
+
177
+ <p class="notice">This class inherits a constructor from <span class='object_link'><a href="OprNode.html#initialize-instance_method" title="Ravensat::OprNode#initialize (method)">Ravensat::OprNode</a></span></p>
178
+
179
+ </div>
180
+
181
+
182
+ <div id="instance_method_details" class="method_details_list">
183
+ <h2>Instance Method Details</h2>
184
+
185
+
186
+ <div class="method_details first">
187
+ <h3 class="signature first" id="cnf?-instance_method">
188
+
189
+ #<strong>cnf?</strong> &#x21d2; <tt>Boolean</tt>
190
+
191
+
192
+
193
+
194
+
195
+ </h3><div class="docstring">
196
+ <div class="discussion">
197
+
198
+
199
+ </div>
200
+ </div>
201
+ <div class="tags">
202
+
203
+ <p class="tag_title">Returns:</p>
204
+ <ul class="return">
205
+
206
+ <li>
207
+
208
+
209
+ <span class='type'>(<tt>Boolean</tt>)</span>
210
+
211
+
212
+
213
+ </li>
214
+
215
+ </ul>
216
+
217
+ </div><table class="source_code">
218
+ <tr>
219
+ <td>
220
+ <pre class="lines">
221
+
222
+
223
+ 3
224
+ 4
225
+ 5
226
+ 6</pre>
227
+ </td>
228
+ <td>
229
+ <pre class="code"><span class="info file"># File 'lib/ravensat/ast/or_node.rb', line 3</span>
230
+
231
+ <span class='kw'>def</span> <span class='id identifier rubyid_cnf?'>cnf?</span>
232
+ <span class='kw'>return</span> <span class='kw'>false</span> <span class='kw'>if</span> <span class='ivar'>@children</span><span class='period'>.</span><span class='id identifier rubyid_any?'>any?</span><span class='lbrace'>{</span><span class='op'>|</span><span class='id identifier rubyid_node'>node</span><span class='op'>|</span> <span class='id identifier rubyid_node'>node</span><span class='period'>.</span><span class='id identifier rubyid_is_a?'>is_a?</span> <span class='const'><span class='object_link'><a href="AndNode.html" title="Ravensat::AndNode (class)">AndNode</a></span></span><span class='rbrace'>}</span>
233
+ <span class='ivar'>@children</span><span class='period'>.</span><span class='id identifier rubyid_map'>map</span><span class='lparen'>(</span><span class='op'>&amp;</span><span class='symbol'>:cnf?</span><span class='rparen'>)</span><span class='period'>.</span><span class='id identifier rubyid_reduce'>reduce</span><span class='lparen'>(</span><span class='symbol'>:&amp;</span><span class='rparen'>)</span>
234
+ <span class='kw'>end</span></pre>
235
+ </td>
236
+ </tr>
237
+ </table>
238
+ </div>
239
+
240
+ </div>
241
+
242
+ </div>
243
+
244
+ <div id="footer">
245
+ Generated on Wed May 25 14:42:45 2022 by
246
+ <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
247
+ 0.9.27 (ruby-3.0.0).
248
+ </div>
249
+
250
+ </div>
251
+ </body>
252
+ </html>