ravensat 0.2.2 → 0.3.2

Sign up to get free protection for your applications and to get access to all the features.
Files changed (58) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/main.yml +18 -0
  3. data/README.md +122 -9
  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 +7 -0
  39. data/lib/ravensat/ast/initial_node.rb +11 -0
  40. data/lib/ravensat/ast/node.rb +17 -9
  41. data/lib/ravensat/ast/not_node.rb +3 -0
  42. data/lib/ravensat/ast/var_node.rb +4 -0
  43. data/lib/ravensat/ast.rb +11 -0
  44. data/lib/ravensat/claw.rb +44 -0
  45. data/lib/ravensat/{dimacs_decoder.rb → dimacs/dimacs_decoder.rb} +0 -0
  46. data/lib/ravensat/{dimacs_encoder.rb → dimacs/dimacs_encoder.rb} +4 -7
  47. data/lib/ravensat/dimacs.rb +6 -0
  48. data/lib/ravensat/extension/domain.rb +24 -0
  49. data/lib/ravensat/extension/variable/boolean_variable.rb +17 -0
  50. data/lib/ravensat/extension/variable/integer_variable.rb +63 -0
  51. data/lib/ravensat/extension/variable/undefined_variable.rb +9 -0
  52. data/lib/ravensat/extension/variable/variable.rb +16 -0
  53. data/lib/ravensat/extension.rb +13 -0
  54. data/lib/ravensat/solver.rb +0 -7
  55. data/lib/ravensat/version.rb +1 -1
  56. data/lib/ravensat.rb +5 -10
  57. metadata +52 -6
  58. data/lib/ravensat/ravenclaw.rb +0 -15
data/docs/_index.html ADDED
@@ -0,0 +1,329 @@
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
+ Documentation by YARD 0.9.27
8
+
9
+ </title>
10
+
11
+ <link rel="stylesheet" href="css/style.css" type="text/css" />
12
+
13
+ <link rel="stylesheet" href="css/common.css" type="text/css" />
14
+
15
+ <script type="text/javascript">
16
+ pathId = null;
17
+ relpath = '';
18
+ </script>
19
+
20
+
21
+ <script type="text/javascript" charset="utf-8" src="js/jquery.js"></script>
22
+
23
+ <script type="text/javascript" charset="utf-8" src="js/app.js"></script>
24
+
25
+
26
+ </head>
27
+ <body>
28
+ <div class="nav_wrap">
29
+ <iframe id="nav" src="class_list.html?1"></iframe>
30
+ <div id="resizer"></div>
31
+ </div>
32
+
33
+ <div id="main" tabindex="-1">
34
+ <div id="header">
35
+ <div id="menu">
36
+
37
+ </div>
38
+
39
+ <div id="search">
40
+
41
+ <a class="full_list_link" id="class_list_link"
42
+ href="class_list.html">
43
+
44
+ <svg width="24" height="24">
45
+ <rect x="0" y="4" width="24" height="4" rx="1" ry="1"></rect>
46
+ <rect x="0" y="12" width="24" height="4" rx="1" ry="1"></rect>
47
+ <rect x="0" y="20" width="24" height="4" rx="1" ry="1"></rect>
48
+ </svg>
49
+ </a>
50
+
51
+ </div>
52
+ <div class="clear"></div>
53
+ </div>
54
+
55
+ <div id="content"><h1 class="noborder title">Documentation by YARD 0.9.27</h1>
56
+ <div id="listing">
57
+ <h1 class="alphaindex">Alphabetic Index</h1>
58
+
59
+ <h2>File Listing</h2>
60
+ <ul id="files" class="index_inline_list">
61
+
62
+
63
+ <li class="r1"><a href="index.html" title="README">README</a></li>
64
+
65
+
66
+ </ul>
67
+
68
+ <div class="clear"></div>
69
+ <h2>Namespace Listing A-Z</h2>
70
+
71
+
72
+
73
+
74
+ <table>
75
+ <tr>
76
+ <td valign='top' width="33%">
77
+
78
+
79
+ <ul id="alpha_A" class="alpha">
80
+ <li class="letter">A</li>
81
+ <ul>
82
+
83
+ <li>
84
+ <span class='object_link'><a href="Ravensat/AndNode.html" title="Ravensat::AndNode (class)">AndNode</a></span>
85
+
86
+ <small>(Ravensat)</small>
87
+
88
+ </li>
89
+
90
+ <li>
91
+ <span class='object_link'><a href="Arcteryx.html" title="Arcteryx (module)">Arcteryx</a></span>
92
+
93
+ </li>
94
+
95
+ </ul>
96
+ </ul>
97
+
98
+
99
+ <ul id="alpha_B" class="alpha">
100
+ <li class="letter">B</li>
101
+ <ul>
102
+
103
+ <li>
104
+ <span class='object_link'><a href="Ravensat/Extension/BooleanVariable.html" title="Ravensat::Extension::BooleanVariable (class)">BooleanVariable</a></span>
105
+
106
+ <small>(Ravensat::Extension)</small>
107
+
108
+ </li>
109
+
110
+ </ul>
111
+ </ul>
112
+
113
+
114
+ <ul id="alpha_C" class="alpha">
115
+ <li class="letter">C</li>
116
+ <ul>
117
+
118
+ <li>
119
+ <span class='object_link'><a href="Arcteryx/CNF.html" title="Arcteryx::CNF (class)">CNF</a></span>
120
+
121
+ <small>(Arcteryx)</small>
122
+
123
+ </li>
124
+
125
+ <li>
126
+ <span class='object_link'><a href="Ravensat/Claw.html" title="Ravensat::Claw (module)">Claw</a></span>
127
+
128
+ <small>(Ravensat)</small>
129
+
130
+ </li>
131
+
132
+ </ul>
133
+ </ul>
134
+
135
+
136
+ <ul id="alpha_D" class="alpha">
137
+ <li class="letter">D</li>
138
+ <ul>
139
+
140
+ <li>
141
+ <span class='object_link'><a href="Ravensat/DimacsDecoder.html" title="Ravensat::DimacsDecoder (class)">DimacsDecoder</a></span>
142
+
143
+ <small>(Ravensat)</small>
144
+
145
+ </li>
146
+
147
+ <li>
148
+ <span class='object_link'><a href="Ravensat/DimacsEncoder.html" title="Ravensat::DimacsEncoder (class)">DimacsEncoder</a></span>
149
+
150
+ <small>(Ravensat)</small>
151
+
152
+ </li>
153
+
154
+ <li>
155
+ <span class='object_link'><a href="Ravensat/Extension/Domain.html" title="Ravensat::Extension::Domain (module)">Domain</a></span>
156
+
157
+ <small>(Ravensat::Extension)</small>
158
+
159
+ </li>
160
+
161
+ </ul>
162
+ </ul>
163
+
164
+
165
+ <ul id="alpha_E" class="alpha">
166
+ <li class="letter">E</li>
167
+ <ul>
168
+
169
+ <li>
170
+ <span class='object_link'><a href="Ravensat/Extension.html" title="Ravensat::Extension (module)">Extension</a></span>
171
+
172
+ <small>(Ravensat)</small>
173
+
174
+ </li>
175
+
176
+ </ul>
177
+ </ul>
178
+
179
+
180
+ <ul id="alpha_I" class="alpha">
181
+ <li class="letter">I</li>
182
+ <ul>
183
+
184
+ <li>
185
+ <span class='object_link'><a href="Ravensat/InitialNode.html" title="Ravensat::InitialNode (class)">InitialNode</a></span>
186
+
187
+ <small>(Ravensat)</small>
188
+
189
+ </li>
190
+
191
+ <li>
192
+ <span class='object_link'><a href="Ravensat/Extension/IntegerVariable.html" title="Ravensat::Extension::IntegerVariable (class)">IntegerVariable</a></span>
193
+
194
+ <small>(Ravensat::Extension)</small>
195
+
196
+ </li>
197
+
198
+ </ul>
199
+ </ul>
200
+
201
+
202
+ <ul id="alpha_N" class="alpha">
203
+ <li class="letter">N</li>
204
+ <ul>
205
+
206
+ <li>
207
+ <span class='object_link'><a href="Ravensat/Node.html" title="Ravensat::Node (class)">Node</a></span>
208
+
209
+ <small>(Ravensat)</small>
210
+
211
+ </li>
212
+
213
+ <li>
214
+ <span class='object_link'><a href="Ravensat/NotNode.html" title="Ravensat::NotNode (class)">NotNode</a></span>
215
+
216
+ <small>(Ravensat)</small>
217
+
218
+ </li>
219
+
220
+ </ul>
221
+ </ul>
222
+
223
+
224
+ </td><td valign='top' width="33%">
225
+
226
+
227
+ <ul id="alpha_O" class="alpha">
228
+ <li class="letter">O</li>
229
+ <ul>
230
+
231
+ <li>
232
+ <span class='object_link'><a href="Ravensat/OprNode.html" title="Ravensat::OprNode (class)">OprNode</a></span>
233
+
234
+ <small>(Ravensat)</small>
235
+
236
+ </li>
237
+
238
+ <li>
239
+ <span class='object_link'><a href="Ravensat/OrNode.html" title="Ravensat::OrNode (class)">OrNode</a></span>
240
+
241
+ <small>(Ravensat)</small>
242
+
243
+ </li>
244
+
245
+ </ul>
246
+ </ul>
247
+
248
+
249
+ <ul id="alpha_R" class="alpha">
250
+ <li class="letter">R</li>
251
+ <ul>
252
+
253
+ <li>
254
+ <span class='object_link'><a href="Ravensat.html" title="Ravensat (module)">Ravensat</a></span>
255
+
256
+ </li>
257
+
258
+ </ul>
259
+ </ul>
260
+
261
+
262
+ <ul id="alpha_S" class="alpha">
263
+ <li class="letter">S</li>
264
+ <ul>
265
+
266
+ <li>
267
+ <span class='object_link'><a href="Ravensat/Solver.html" title="Ravensat::Solver (class)">Solver</a></span>
268
+
269
+ <small>(Ravensat)</small>
270
+
271
+ </li>
272
+
273
+ </ul>
274
+ </ul>
275
+
276
+
277
+ <ul id="alpha_U" class="alpha">
278
+ <li class="letter">U</li>
279
+ <ul>
280
+
281
+ <li>
282
+ <span class='object_link'><a href="Ravensat/Extension/UndefinedVariable.html" title="Ravensat::Extension::UndefinedVariable (class)">UndefinedVariable</a></span>
283
+
284
+ <small>(Ravensat::Extension)</small>
285
+
286
+ </li>
287
+
288
+ </ul>
289
+ </ul>
290
+
291
+
292
+ <ul id="alpha_V" class="alpha">
293
+ <li class="letter">V</li>
294
+ <ul>
295
+
296
+ <li>
297
+ <span class='object_link'><a href="Ravensat/VarNode.html" title="Ravensat::VarNode (class)">VarNode</a></span>
298
+
299
+ <small>(Ravensat)</small>
300
+
301
+ </li>
302
+
303
+ <li>
304
+ <span class='object_link'><a href="Ravensat/Extension/Variable.html" title="Ravensat::Extension::Variable (class)">Variable</a></span>
305
+
306
+ <small>(Ravensat::Extension)</small>
307
+
308
+ </li>
309
+
310
+ </ul>
311
+ </ul>
312
+
313
+ </td>
314
+ </tr>
315
+ </table>
316
+
317
+ </div>
318
+
319
+ </div>
320
+
321
+ <div id="footer">
322
+ Generated on Wed May 25 14:42:44 2022 by
323
+ <a href="http://yardoc.org" title="Yay! A Ruby Documentation Tool" target="_parent">yard</a>
324
+ 0.9.27 (ruby-3.0.0).
325
+ </div>
326
+
327
+ </div>
328
+ </body>
329
+ </html>
@@ -0,0 +1,51 @@
1
+ <!DOCTYPE html>
2
+ <html>
3
+ <head>
4
+ <meta name="viewport" content="width=device-width, initial-scale=1.0">
5
+ <meta charset="utf-8" />
6
+
7
+ <link rel="stylesheet" href="css/full_list.css" type="text/css" media="screen" />
8
+
9
+ <link rel="stylesheet" href="css/common.css" type="text/css" media="screen" />
10
+
11
+
12
+
13
+ <script type="text/javascript" charset="utf-8" src="js/jquery.js"></script>
14
+
15
+ <script type="text/javascript" charset="utf-8" src="js/full_list.js"></script>
16
+
17
+
18
+ <title>Class List</title>
19
+ <base id="base_target" target="_parent" />
20
+ </head>
21
+ <body>
22
+ <div id="content">
23
+ <div class="fixed_header">
24
+ <h1 id="full_list_header">Class List</h1>
25
+ <div id="full_list_nav">
26
+
27
+ <span><a target="_self" href="class_list.html">
28
+ Classes
29
+ </a></span>
30
+
31
+ <span><a target="_self" href="method_list.html">
32
+ Methods
33
+ </a></span>
34
+
35
+ <span><a target="_self" href="file_list.html">
36
+ Files
37
+ </a></span>
38
+
39
+ </div>
40
+
41
+ <div id="search">Search: <input type="text" /></div>
42
+ </div>
43
+
44
+ <ul id="full_list" class="class">
45
+ <li id="object_" class="odd"><div class="item" style="padding-left:30px"><span class='object_link'><a href="top-level-namespace.html" title="Top Level Namespace (root)">Top Level Namespace</a></span></div></li>
46
+ <li id='object_Arcteryx' class='even'><div class='item' style='padding-left:30px'><a class='toggle'></a> <span class='object_link'><a href="Arcteryx.html" title="Arcteryx (module)">Arcteryx</a></span><small class='search_info'>Top Level Namespace</small></div><ul><li id='object_Arcteryx::CNF' class='collapsed odd'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Arcteryx/CNF.html" title="Arcteryx::CNF (class)">CNF</a></span> &lt; Object<small class='search_info'>Arcteryx</small></div></li></ul></li><li id='object_Ravensat' class='even'><div class='item' style='padding-left:30px'><a class='toggle'></a> <span class='object_link'><a href="Ravensat.html" title="Ravensat (module)">Ravensat</a></span><small class='search_info'>Top Level Namespace</small></div><ul><li id='object_Ravensat::AndNode' class='collapsed odd'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Ravensat/AndNode.html" title="Ravensat::AndNode (class)">AndNode</a></span> &lt; OprNode<small class='search_info'>Ravensat</small></div></li><li id='object_Ravensat::Claw' class='collapsed even'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Ravensat/Claw.html" title="Ravensat::Claw (module)">Claw</a></span><small class='search_info'>Ravensat</small></div></li><li id='object_Ravensat::DimacsDecoder' class='collapsed odd'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Ravensat/DimacsDecoder.html" title="Ravensat::DimacsDecoder (class)">DimacsDecoder</a></span> &lt; Object<small class='search_info'>Ravensat</small></div></li><li id='object_Ravensat::DimacsEncoder' class='collapsed even'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Ravensat/DimacsEncoder.html" title="Ravensat::DimacsEncoder (class)">DimacsEncoder</a></span> &lt; Object<small class='search_info'>Ravensat</small></div></li><li id='object_Ravensat::Extension' class='collapsed odd'><div class='item' style='padding-left:45px'><a class='toggle'></a> <span class='object_link'><a href="Ravensat/Extension.html" title="Ravensat::Extension (module)">Extension</a></span><small class='search_info'>Ravensat</small></div><ul><li id='object_Ravensat::Extension::BooleanVariable' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Ravensat/Extension/BooleanVariable.html" title="Ravensat::Extension::BooleanVariable (class)">BooleanVariable</a></span> &lt; Variable<small class='search_info'>Ravensat::Extension</small></div></li><li id='object_Ravensat::Extension::Domain' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Ravensat/Extension/Domain.html" title="Ravensat::Extension::Domain (module)">Domain</a></span><small class='search_info'>Ravensat::Extension</small></div></li><li id='object_Ravensat::Extension::IntegerVariable' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Ravensat/Extension/IntegerVariable.html" title="Ravensat::Extension::IntegerVariable (class)">IntegerVariable</a></span> &lt; Variable<small class='search_info'>Ravensat::Extension</small></div></li><li id='object_Ravensat::Extension::UndefinedVariable' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Ravensat/Extension/UndefinedVariable.html" title="Ravensat::Extension::UndefinedVariable (class)">UndefinedVariable</a></span> &lt; Variable<small class='search_info'>Ravensat::Extension</small></div></li><li id='object_Ravensat::Extension::Variable' class='collapsed'><div class='item' style='padding-left:60px'><span class='object_link'><a href="Ravensat/Extension/Variable.html" title="Ravensat::Extension::Variable (class)">Variable</a></span> &lt; Object<small class='search_info'>Ravensat::Extension</small></div></li></ul></li><li id='object_Ravensat::InitialNode' class='collapsed even'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Ravensat/InitialNode.html" title="Ravensat::InitialNode (class)">InitialNode</a></span> &lt; Node<small class='search_info'>Ravensat</small></div></li><li id='object_Ravensat::Node' class='collapsed odd'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Ravensat/Node.html" title="Ravensat::Node (class)">Node</a></span> &lt; Object<small class='search_info'>Ravensat</small></div></li><li id='object_Ravensat::NotNode' class='collapsed even'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Ravensat/NotNode.html" title="Ravensat::NotNode (class)">NotNode</a></span> &lt; OprNode<small class='search_info'>Ravensat</small></div></li><li id='object_Ravensat::OprNode' class='collapsed odd'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Ravensat/OprNode.html" title="Ravensat::OprNode (class)">OprNode</a></span> &lt; Node<small class='search_info'>Ravensat</small></div></li><li id='object_Ravensat::OrNode' class='collapsed even'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Ravensat/OrNode.html" title="Ravensat::OrNode (class)">OrNode</a></span> &lt; OprNode<small class='search_info'>Ravensat</small></div></li><li id='object_Ravensat::Solver' class='collapsed odd'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Ravensat/Solver.html" title="Ravensat::Solver (class)">Solver</a></span> &lt; Object<small class='search_info'>Ravensat</small></div></li><li id='object_Ravensat::VarNode' class='collapsed even'><div class='item' style='padding-left:45px'><span class='object_link'><a href="Ravensat/VarNode.html" title="Ravensat::VarNode (class)">VarNode</a></span> &lt; Node<small class='search_info'>Ravensat</small></div></li></ul></li>
47
+
48
+ </ul>
49
+ </div>
50
+ </body>
51
+ </html>
@@ -0,0 +1 @@
1
+ /* Override this file with custom rules */
@@ -0,0 +1,58 @@
1
+ body {
2
+ margin: 0;
3
+ font-family: "Lucida Sans", "Lucida Grande", Verdana, Arial, sans-serif;
4
+ font-size: 13px;
5
+ height: 101%;
6
+ overflow-x: hidden;
7
+ background: #fafafa;
8
+ }
9
+
10
+ h1 { padding: 12px 10px; padding-bottom: 0; margin: 0; font-size: 1.4em; }
11
+ .clear { clear: both; }
12
+ .fixed_header { position: fixed; background: #fff; width: 100%; padding-bottom: 10px; margin-top: 0; top: 0; z-index: 9999; height: 70px; }
13
+ #search { position: absolute; right: 5px; top: 9px; padding-left: 24px; }
14
+ #content.insearch #search, #content.insearch #noresults { background: url(data:image/gif;base64,R0lGODlhEAAQAPYAAP///wAAAPr6+pKSkoiIiO7u7sjIyNjY2J6engAAAI6OjsbGxjIyMlJSUuzs7KamppSUlPLy8oKCghwcHLKysqSkpJqamvT09Pj4+KioqM7OzkRERAwMDGBgYN7e3ujo6Ly8vCoqKjY2NkZGRtTU1MTExDw8PE5OTj4+PkhISNDQ0MrKylpaWrS0tOrq6nBwcKysrLi4uLq6ul5eXlxcXGJiYoaGhuDg4H5+fvz8/KKiohgYGCwsLFZWVgQEBFBQUMzMzDg4OFhYWBoaGvDw8NbW1pycnOLi4ubm5kBAQKqqqiQkJCAgIK6urnJyckpKSjQ0NGpqatLS0sDAwCYmJnx8fEJCQlRUVAoKCggICLCwsOTk5ExMTPb29ra2tmZmZmhoaNzc3KCgoBISEiIiIgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACH/C05FVFNDQVBFMi4wAwEAAAAh/hpDcmVhdGVkIHdpdGggYWpheGxvYWQuaW5mbwAh+QQJCAAAACwAAAAAEAAQAAAHaIAAgoMgIiYlg4kACxIaACEJCSiKggYMCRselwkpghGJBJEcFgsjJyoAGBmfggcNEx0flBiKDhQFlIoCCA+5lAORFb4AJIihCRbDxQAFChAXw9HSqb60iREZ1omqrIPdJCTe0SWI09GBACH5BAkIAAAALAAAAAAQABAAAAdrgACCgwc0NTeDiYozCQkvOTo9GTmDKy8aFy+NOBA7CTswgywJDTIuEjYFIY0JNYMtKTEFiRU8Pjwygy4ws4owPyCKwsMAJSTEgiQlgsbIAMrO0dKDGMTViREZ14kYGRGK38nHguHEJcvTyIEAIfkECQgAAAAsAAAAABAAEAAAB2iAAIKDAggPg4iJAAMJCRUAJRIqiRGCBI0WQEEJJkWDERkYAAUKEBc4Po1GiKKJHkJDNEeKig4URLS0ICImJZAkuQAhjSi/wQyNKcGDCyMnk8u5rYrTgqDVghgZlYjcACTA1sslvtHRgQAh+QQJCAAAACwAAAAAEAAQAAAHZ4AAgoOEhYaCJSWHgxGDJCQARAtOUoQRGRiFD0kJUYWZhUhKT1OLhR8wBaaFBzQ1NwAlkIszCQkvsbOHL7Y4q4IuEjaqq0ZQD5+GEEsJTDCMmIUhtgk1lo6QFUwJVDKLiYJNUd6/hoEAIfkECQgAAAAsAAAAABAAEAAAB2iAAIKDhIWGgiUlh4MRgyQkjIURGRiGGBmNhJWHm4uen4ICCA+IkIsDCQkVACWmhwSpFqAABQoQF6ALTkWFnYMrVlhWvIKTlSAiJiVVPqlGhJkhqShHV1lCW4cMqSkAR1ofiwsjJyqGgQAh+QQJCAAAACwAAAAAEAAQAAAHZ4AAgoOEhYaCJSWHgxGDJCSMhREZGIYYGY2ElYebi56fhyWQniSKAKKfpaCLFlAPhl0gXYNGEwkhGYREUywag1wJwSkHNDU3D0kJYIMZQwk8MjPBLx9eXwuETVEyAC/BOKsuEjYFhoEAIfkECQgAAAAsAAAAABAAEAAAB2eAAIKDhIWGgiUlh4MRgyQkjIURGRiGGBmNhJWHm4ueICImip6CIQkJKJ4kigynKaqKCyMnKqSEK05StgAGQRxPYZaENqccFgIID4KXmQBhXFkzDgOnFYLNgltaSAAEpxa7BQoQF4aBACH5BAkIAAAALAAAAAAQABAAAAdogACCg4SFggJiPUqCJSWGgkZjCUwZACQkgxGEXAmdT4UYGZqCGWQ+IjKGGIUwPzGPhAc0NTewhDOdL7Ykji+dOLuOLhI2BbaFETICx4MlQitdqoUsCQ2vhKGjglNfU0SWmILaj43M5oEAOwAAAAAAAAAAAA==) no-repeat center left; }
15
+ #full_list { padding: 0; list-style: none; margin-left: 0; margin-top: 80px; font-size: 1.1em; }
16
+ #full_list ul { padding: 0; }
17
+ #full_list li { padding: 0; margin: 0; list-style: none; }
18
+ #full_list li .item { padding: 5px 5px 5px 12px; }
19
+ #noresults { padding: 7px 12px; background: #fff; }
20
+ #content.insearch #noresults { margin-left: 7px; }
21
+ li.collapsed ul { display: none; }
22
+ li a.toggle { cursor: default; position: relative; left: -5px; top: 4px; text-indent: -999px; width: 10px; height: 9px; margin-left: -10px; display: block; float: left; background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAASCAYAAABb0P4QAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAAK8AAACvABQqw0mAAAABx0RVh0U29mdHdhcmUAQWRvYmUgRmlyZXdvcmtzIENTM5jWRgMAAAAVdEVYdENyZWF0aW9uIFRpbWUAMy8xNC8wOeNZPpQAAAE2SURBVDiNrZTBccIwEEXfelIAHUA6CZ24BGaWO+FuzZAK4k6gg5QAdGAq+Bxs2Yqx7BzyL7Llp/VfzZeQhCTc/ezuGzKKnKSzpCxXJM8fwNXda3df5RZETlIt6YUzSQDs93sl8w3wBZxCCE10GM1OcWbWjB2mWgEH4Mfdyxm3PSepBHibgQE2wLe7r4HjEidpnXMYdQPKEMJcsZ4zs2POYQOcaPfwMVOo58zsAdMt18BuoVDPxUJRacELbXv3hUIX2vYmOUvi8C8ydz/ThjXrqKqqLbDIAdsCKBd+Wo7GWa7o9qzOQHVVVXeAbs+yHHCH4aTsaCOQqunmUy1yBUAXkdMIfMlgF5EXLo2OpV/c/Up7jG4hhHcYLgWzAZXUc2b2ixsfvc/RmNNfOXD3Q/oeL9axJE1yT9IOoUu6MGUkAAAAAElFTkSuQmCC) no-repeat bottom left; }
23
+ li.collapsed a.toggle { opacity: 0.5; cursor: default; background-position: top left; }
24
+ li { color: #888; cursor: pointer; }
25
+ li.deprecated { text-decoration: line-through; font-style: italic; }
26
+ li.odd { background: #f0f0f0; }
27
+ li.even { background: #fafafa; }
28
+ .item:hover { background: #ddd; }
29
+ li small:before { content: "("; }
30
+ li small:after { content: ")"; }
31
+ li small.search_info { display: none; }
32
+ a, a:visited { text-decoration: none; color: #05a; }
33
+ li.clicked > .item { background: #05a; color: #ccc; }
34
+ li.clicked > .item a, li.clicked > .item a:visited { color: #eee; }
35
+ li.clicked > .item a.toggle { opacity: 0.5; background-position: bottom right; }
36
+ li.collapsed.clicked a.toggle { background-position: top right; }
37
+ #search input { border: 1px solid #bbb; border-radius: 3px; }
38
+ #full_list_nav { margin-left: 10px; font-size: 0.9em; display: block; color: #aaa; }
39
+ #full_list_nav a, #nav a:visited { color: #358; }
40
+ #full_list_nav a:hover { background: transparent; color: #5af; }
41
+ #full_list_nav span:after { content: ' | '; }
42
+ #full_list_nav span:last-child:after { content: ''; }
43
+
44
+ #content h1 { margin-top: 0; }
45
+ li { white-space: nowrap; cursor: normal; }
46
+ li small { display: block; font-size: 0.8em; }
47
+ li small:before { content: ""; }
48
+ li small:after { content: ""; }
49
+ li small.search_info { display: none; }
50
+ #search { width: 170px; position: static; margin: 3px; margin-left: 10px; font-size: 0.9em; color: #888; padding-left: 0; padding-right: 24px; }
51
+ #content.insearch #search { background-position: center right; }
52
+ #search input { width: 110px; }
53
+
54
+ #full_list.insearch ul { display: block; }
55
+ #full_list.insearch .item { display: none; }
56
+ #full_list.insearch .found { display: block; padding-left: 11px !important; }
57
+ #full_list.insearch li a.toggle { display: none; }
58
+ #full_list.insearch li small.search_info { display: block; }