-
Notifications
You must be signed in to change notification settings - Fork 0
/
annotated.html
557 lines (555 loc) · 151 KB
/
annotated.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.9.1"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>carl: Data Structures</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="navtreedata.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
<script type="text/javascript" src="search/search.js"></script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr style="height: 56px;">
<td id="projectalign" style="padding-left: 0.5em;">
<div id="projectname">carl
 <span id="projectnumber">24.04</span>
</div>
<div id="projectbrief">Computer ARithmetic Library</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.9.1 -->
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
var searchBox = new SearchBox("searchBox", "search",false,'Search','.html');
/* @license-end */
</script>
<script type="text/javascript" src="menudata.js"></script>
<script type="text/javascript" src="menu.js"></script>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
$(function() {
initMenu('',true,false,'search.php','Search');
$(document).ready(function() { init_search(); });
});
/* @license-end */</script>
<div id="main-nav"></div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
<div id="nav-tree">
<div id="nav-tree-contents">
<div id="nav-sync" class="sync"></div>
</div>
</div>
<div id="splitbar" style="-moz-user-select:none;"
class="ui-resizable-handle">
</div>
</div>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
$(document).ready(function(){initNavTree('annotated.html',''); initResizable(); });
/* @license-end */
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
onmouseover="return searchBox.OnSearchSelectShow()"
onmouseout="return searchBox.OnSearchSelectHide()"
onkeydown="return searchBox.OnSearchSelectKey(event)">
</div>
<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0"
name="MSearchResults" id="MSearchResults">
</iframe>
</div>
<div class="header">
<div class="headertitle">
<div class="title">Data Structures</div> </div>
</div><!--header-->
<div class="contents">
<div class="textblock">Here are the data structures with brief descriptions:</div><div class="directory">
<div class="levels">[detail level <span onclick="javascript:toggleLevel(1);">1</span><span onclick="javascript:toggleLevel(2);">2</span><span onclick="javascript:toggleLevel(3);">3</span><span onclick="javascript:toggleLevel(4);">4</span><span onclick="javascript:toggleLevel(5);">5</span>]</div><table class="directory">
<tr id="row_0_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_0_" class="arrow" onclick="toggleFolder('0_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d7/dc5/a01242.html" target="_self">carl</a></td><td class="desc">Carl is the main namespace for the library </td></tr>
<tr id="row_0_0_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_0_" class="arrow" onclick="toggleFolder('0_0_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="de/dcb/a01263.html" target="_self">checkpoints</a></td><td class="desc"></td></tr>
<tr id="row_0_0_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d5c/a02933.html" target="_self">CheckpointVector</a></td><td class="desc"></td></tr>
<tr id="row_0_0_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/d46/a02937.html" target="_self">CheckpointVerifier</a></td><td class="desc"></td></tr>
<tr id="row_0_1_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_1_" class="arrow" onclick="toggleFolder('0_1_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d4/dd5/a01244.html" target="_self">contractor</a></td><td class="desc"></td></tr>
<tr id="row_0_1_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/dfb/a02341.html" target="_self">Evaluation</a></td><td class="desc">Represents a contraction operation of the form </td></tr>
<tr id="row_0_1_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/d0a/a02345.html" target="_self">Contractor</a></td><td class="desc"></td></tr>
<tr id="row_0_2_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_2_" class="arrow" onclick="toggleFolder('0_2_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d4/d22/a01250.html" target="_self">convert_poly</a></td><td class="desc"></td></tr>
<tr id="row_0_2_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d6a/a02633.html" target="_self">ConvertHelper</a></td><td class="desc"></td></tr>
<tr id="row_0_2_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/de3/a02637.html" target="_self">ConvertHelper< ContextPolynomial< A, B, C >, MultivariatePolynomial< A, B, C > ></a></td><td class="desc"></td></tr>
<tr id="row_0_2_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/d4c/a02641.html" target="_self">ConvertHelper< MultivariatePolynomial< A, B, C >, ContextPolynomial< A, B, C > ></a></td><td class="desc"></td></tr>
<tr id="row_0_3_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_3_" class="arrow" onclick="toggleFolder('0_3_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="dd/d42/a01259.html" target="_self">convert_ran</a></td><td class="desc"></td></tr>
<tr id="row_0_3_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d1c/a02841.html" target="_self">ConvertHelper</a></td><td class="desc"></td></tr>
<tr id="row_0_4_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_4_" class="arrow" onclick="toggleFolder('0_4_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d4/d41/a01267.html" target="_self">covering</a></td><td class="desc"></td></tr>
<tr id="row_0_4_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/d33/a03269.html" target="_self">SetCover</a></td><td class="desc">Represents a set cover problem </td></tr>
<tr id="row_0_4_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/da0/a03273.html" target="_self">TypedSetCover</a></td><td class="desc">Represents a set cover problem where a set is represented by some type </td></tr>
<tr id="row_0_5_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_5_" class="arrow" onclick="toggleFolder('0_5_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d3/d7b/a01249.html" target="_self">detail</a></td><td class="desc"></td></tr>
<tr id="row_0_5_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/da4/a03225.html" target="_self">stream_joined_impl</a></td><td class="desc"></td></tr>
<tr id="row_0_5_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d34/a03237.html" target="_self">tuple_accumulate_impl</a></td><td class="desc">Helper functor for <a class="el" href="d7/dc5/a01242.html#a3baaa7af42ddc95e35cc1521ae99bdfa" title="Implements a functional fold (similar to std::accumulate) for std::tuple.">carl::tuple_accumulate</a> that actually does the work </td></tr>
<tr id="row_0_5_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/dc7/a03241.html" target="_self">variant_is_type_visitor</a></td><td class="desc"></td></tr>
<tr id="row_0_5_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/daf/a03245.html" target="_self">variant_extend_visitor</a></td><td class="desc"></td></tr>
<tr id="row_0_5_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d24/a03249.html" target="_self">variant_hash</a></td><td class="desc"></td></tr>
<tr id="row_0_5_5_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/d56/a03253.html" target="_self">is_from_variant_wrapper</a></td><td class="desc"></td></tr>
<tr id="row_0_5_6_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d62/a03257.html" target="_self">is_from_variant_wrapper< Check, T, Variant< Args... > ></a></td><td class="desc"></td></tr>
<tr id="row_0_6_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_6_" class="arrow" onclick="toggleFolder('0_6_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="da/d00/a01270.html" target="_self">formula</a></td><td class="desc"></td></tr>
<tr id="row_0_6_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_0_6_0_" class="arrow" onclick="toggleFolder('0_6_0_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="de/d33/a01274.html" target="_self">symmetry</a></td><td class="desc"></td></tr>
<tr id="row_0_6_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d8e/a03509.html" target="_self">ColorGenerator</a></td><td class="desc">Provides unique ids (colors) for all kinds of different objects in the formula: variable types, relations, formula types, numbers, special colors and indexes </td></tr>
<tr id="row_0_6_0_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/df2/a03513.html" target="_self">Permutation</a></td><td class="desc"></td></tr>
<tr id="row_0_6_0_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/d4c/a03517.html" target="_self">GraphBuilder</a></td><td class="desc"></td></tr>
<tr id="row_0_7_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_7_" class="arrow" onclick="toggleFolder('0_7_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d7/d88/a01255.html" target="_self">helper</a></td><td class="desc"></td></tr>
<tr id="row_0_7_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/d56/a03437.html" target="_self">Substitutor</a></td><td class="desc"></td></tr>
<tr id="row_0_7_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/dc4/a03441.html" target="_self">PolynomialSubstitutor</a></td><td class="desc"></td></tr>
<tr id="row_0_7_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/d11/a03445.html" target="_self">BitvectorSubstitutor</a></td><td class="desc"></td></tr>
<tr id="row_0_7_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/dc5/a03449.html" target="_self">UninterpretedSubstitutor</a></td><td class="desc"></td></tr>
<tr id="row_0_8_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_8_" class="arrow" onclick="toggleFolder('0_8_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d3/d42/a01275.html" target="_self">io</a></td><td class="desc"></td></tr>
<tr id="row_0_8_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_0_8_0_" class="arrow" onclick="toggleFolder('0_8_0_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d2/d1d/a01277.html" target="_self">detail</a></td><td class="desc"></td></tr>
<tr id="row_0_8_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/ddd/a03693.html" target="_self">SMTLIBScriptContainer</a></td><td class="desc">Shorthand to allow writing SMTLIB scripts in one line </td></tr>
<tr id="row_0_8_0_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d0f/a03697.html" target="_self">SMTLIBOutputContainer</a></td><td class="desc"></td></tr>
<tr id="row_0_8_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_0_8_1_" class="arrow" onclick="toggleFolder('0_8_1_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d4/d10/a01278.html" target="_self">helper</a></td><td class="desc"></td></tr>
<tr id="row_0_8_1_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span id="arr_0_8_1_0_" class="arrow" onclick="toggleFolder('0_8_1_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/df9/a03701.html" target="_self">ErrorHandler</a></td><td class="desc"></td></tr>
<tr id="row_0_8_1_0_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/d47/a03705.html" target="_self">result</a></td><td class="desc"></td></tr>
<tr id="row_0_8_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_0_8_2_" class="arrow" onclick="toggleFolder('0_8_2_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d5/d37/a01276.html" target="_self">parser</a></td><td class="desc"></td></tr>
<tr id="row_0_8_2_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/d58/a03633.html" target="_self">RationalPolicies</a></td><td class="desc"></td></tr>
<tr id="row_0_8_2_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span id="arr_0_8_2_1_" class="arrow" onclick="toggleFolder('0_8_2_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/d63/a03637.html" target="_self">ExpressionParser</a></td><td class="desc"></td></tr>
<tr id="row_0_8_2_1_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d3b/a03641.html" target="_self">perform_addition</a></td><td class="desc"></td></tr>
<tr id="row_0_8_2_1_1_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/d0b/a03653.html" target="_self">perform_division</a></td><td class="desc"></td></tr>
<tr id="row_0_8_2_1_2_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d7d/a03649.html" target="_self">perform_multiplication</a></td><td class="desc"></td></tr>
<tr id="row_0_8_2_1_3_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/dce/a03661.html" target="_self">perform_negate</a></td><td class="desc"></td></tr>
<tr id="row_0_8_2_1_4_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/d01/a03657.html" target="_self">perform_power</a></td><td class="desc"></td></tr>
<tr id="row_0_8_2_1_5_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d6b/a03645.html" target="_self">perform_subtraction</a></td><td class="desc"></td></tr>
<tr id="row_0_8_2_1_6_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/df9/a03665.html" target="_self">print_expr_type</a></td><td class="desc"></td></tr>
<tr id="row_0_8_2_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/d83/a03669.html" target="_self">FormulaParser</a></td><td class="desc"></td></tr>
<tr id="row_0_8_2_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/da3/a03673.html" target="_self">Parser</a></td><td class="desc"></td></tr>
<tr id="row_0_8_2_4_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/d78/a03677.html" target="_self">PolynomialParser</a></td><td class="desc"></td></tr>
<tr id="row_0_8_2_5_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d40/a03681.html" target="_self">RationalFunctionParser</a></td><td class="desc"></td></tr>
<tr id="row_0_8_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/d0f/a03605.html" target="_self">DIMACSExporter</a></td><td class="desc">Write formulas to the DIMAS format </td></tr>
<tr id="row_0_8_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d13/a03609.html" target="_self">DIMACSImporter</a></td><td class="desc">Parser for the DIMACS format </td></tr>
<tr id="row_0_8_5_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/de0/a03613.html" target="_self">MapleStream</a></td><td class="desc"></td></tr>
<tr id="row_0_8_6_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/d35/a03617.html" target="_self">Skipper</a></td><td class="desc"></td></tr>
<tr id="row_0_8_7_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/df8/a03621.html" target="_self">OPBParser</a></td><td class="desc"></td></tr>
<tr id="row_0_8_8_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/d7d/a03625.html" target="_self">OPBFile</a></td><td class="desc"></td></tr>
<tr id="row_0_8_9_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d33/a03629.html" target="_self">OPBImporter</a></td><td class="desc"></td></tr>
<tr id="row_0_8_10_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/da8/a03685.html" target="_self">QEPCADStream</a></td><td class="desc"></td></tr>
<tr id="row_0_8_11_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/d4a/a03689.html" target="_self">SMTLIBStream</a></td><td class="desc">Allows to print carl data structures in SMTLIB syntax </td></tr>
<tr id="row_0_8_12_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/d14/a03709.html" target="_self">InvalidInputStringException</a></td><td class="desc"></td></tr>
<tr id="row_0_8_13_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/df6/a03713.html" target="_self">StringParser</a></td><td class="desc"></td></tr>
<tr id="row_0_9_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_9_" class="arrow" onclick="toggleFolder('0_9_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d9/de7/a01279.html" target="_self">logging</a></td><td class="desc">Contains a custom logging facility </td></tr>
<tr id="row_0_9_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/d23/a03717.html" target="_self">Filter</a></td><td class="desc">This class checks if some log message shall be forwarded to some sink </td></tr>
<tr id="row_0_9_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/dc8/a03721.html" target="_self">Formatter</a></td><td class="desc">Formats a log messages </td></tr>
<tr id="row_0_9_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d69/a03725.html" target="_self">Logger</a></td><td class="desc">Main logger class </td></tr>
<tr id="row_0_9_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/d2d/a03729.html" target="_self">RecordInfo</a></td><td class="desc">Additional information about a log message </td></tr>
<tr id="row_0_9_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/dc0/a03733.html" target="_self">Sink</a></td><td class="desc">Base class for a logging sink </td></tr>
<tr id="row_0_9_5_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d49/a03737.html" target="_self">StreamSink</a></td><td class="desc">Logging sink that wraps an arbitrary <code>std::ostream</code> </td></tr>
<tr id="row_0_9_6_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d52/a03741.html" target="_self">FileSink</a></td><td class="desc">Logging sink for file output </td></tr>
<tr id="row_0_10_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_10_" class="arrow" onclick="toggleFolder('0_10_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="da/de0/a01248.html" target="_self">parser</a></td><td class="desc"></td></tr>
<tr id="row_0_10_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/db4/a02517.html" target="_self">isDivisible</a></td><td class="desc"></td></tr>
<tr id="row_0_10_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/dbf/a02521.html" target="_self">isDivisible< true ></a></td><td class="desc"></td></tr>
<tr id="row_0_10_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/de8/a02525.html" target="_self">isDivisible< false ></a></td><td class="desc"></td></tr>
<tr id="row_0_10_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dd9/a02529.html" target="_self">RationalPolicies</a></td><td class="desc">Specialization of qi::real_policies for our rational types </td></tr>
<tr id="row_0_10_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/db6/a02533.html" target="_self">IntegerParser</a></td><td class="desc">Parses (signed) integers </td></tr>
<tr id="row_0_10_5_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/d2e/a02537.html" target="_self">DecimalParser</a></td><td class="desc">Parses decimals, including floating point and scientific notation </td></tr>
<tr id="row_0_10_6_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/dd4/a02541.html" target="_self">RationalParser</a></td><td class="desc">Parses rationals, being two decimals separated by a slash </td></tr>
<tr id="row_0_11_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_11_" class="arrow" onclick="toggleFolder('0_11_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="da/dd8/a01265.html" target="_self">pool</a></td><td class="desc"></td></tr>
<tr id="row_0_11_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_0_11_0_" class="arrow" onclick="toggleFolder('0_11_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/d23/a03041.html" target="_self">LocalPool</a></td><td class="desc"></td></tr>
<tr id="row_0_11_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d8c/a03049.html" target="_self">content_equal</a></td><td class="desc"></td></tr>
<tr id="row_0_11_0_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/dfe/a03053.html" target="_self">content_hash</a></td><td class="desc"></td></tr>
<tr id="row_0_11_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/df6/a03045.html" target="_self">LocalPoolElementWrapper</a></td><td class="desc"></td></tr>
<tr id="row_0_11_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/df1/a03057.html" target="_self">LocalPoolElement</a></td><td class="desc"></td></tr>
<tr id="row_0_11_3_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_0_11_3_" class="arrow" onclick="toggleFolder('0_11_3_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/deb/a03061.html" target="_self">Pool</a></td><td class="desc"></td></tr>
<tr id="row_0_11_3_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d5a/a03069.html" target="_self">content_equal</a></td><td class="desc"></td></tr>
<tr id="row_0_11_3_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d64/a03073.html" target="_self">content_hash</a></td><td class="desc"></td></tr>
<tr id="row_0_11_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/d44/a03065.html" target="_self">PoolElementWrapper</a></td><td class="desc"></td></tr>
<tr id="row_0_11_5_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/deb/a03077.html" target="_self">PoolElement</a></td><td class="desc"></td></tr>
<tr id="row_0_11_6_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/dc2/a03081.html" target="_self">RehashPolicy</a></td><td class="desc">Mimics stdlibs default rehash policy for hashtables </td></tr>
<tr id="row_0_12_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_12_" class="arrow" onclick="toggleFolder('0_12_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d7/da3/a01260.html" target="_self">ran</a></td><td class="desc"></td></tr>
<tr id="row_0_12_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_0_12_0_" class="arrow" onclick="toggleFolder('0_12_0_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="de/d34/a01261.html" target="_self">interval</a></td><td class="desc"></td></tr>
<tr id="row_0_12_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d4f/a02845.html" target="_self">FieldExtensions</a></td><td class="desc">This class can be used to construct iterated field extensions from a sequence of real algebraic numbers </td></tr>
<tr id="row_0_12_0_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/dd2/a02849.html" target="_self">LazardEvaluation</a></td><td class="desc"></td></tr>
<tr id="row_0_12_0_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/da3/a02853.html" target="_self">RealRootIsolation</a></td><td class="desc">Compact class to isolate real roots from a univariate polynomial using bisection </td></tr>
<tr id="row_0_12_0_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/d69/a02869.html" target="_self">ran_evaluator</a></td><td class="desc"></td></tr>
<tr id="row_0_13_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_13_" class="arrow" onclick="toggleFolder('0_13_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d8/d0d/a01280.html" target="_self">settings</a></td><td class="desc"></td></tr>
<tr id="row_0_13_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/ded/a03745.html" target="_self">Settings</a></td><td class="desc">Base class for central settings class </td></tr>
<tr id="row_0_13_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/dd0/a03749.html" target="_self">duration</a></td><td class="desc">Helper type to parse duration as std::chrono values with boost::program_options </td></tr>
<tr id="row_0_13_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/ddb/a03753.html" target="_self">binary_quantity</a></td><td class="desc">Helper type to parse quantities with binary SI-style suffixes </td></tr>
<tr id="row_0_13_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d44/a03757.html" target="_self">metric_quantity</a></td><td class="desc">Helper type to parse quantities with SI-style suffixes </td></tr>
<tr id="row_0_13_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/d79/a03761.html" target="_self">OptionPrinter</a></td><td class="desc">Helper class to nicely print the options that are available </td></tr>
<tr id="row_0_13_5_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d93/a03765.html" target="_self">SettingsPrinter</a></td><td class="desc">Helper class to nicely print the settings that were parsed </td></tr>
<tr id="row_0_13_6_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/ddf/a03769.html" target="_self">SettingsParser</a></td><td class="desc">Base class for a settings parser </td></tr>
<tr id="row_0_14_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_14_" class="arrow" onclick="toggleFolder('0_14_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d5/d6f/a01281.html" target="_self">statistics</a></td><td class="desc"></td></tr>
<tr id="row_0_14_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/df3/a03773.html" target="_self">MultiCounter</a></td><td class="desc"></td></tr>
<tr id="row_0_14_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/d2f/a03777.html" target="_self">Series</a></td><td class="desc"></td></tr>
<tr id="row_0_14_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/d93/a03781.html" target="_self">Statistics</a></td><td class="desc"></td></tr>
<tr id="row_0_14_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/d08/a03785.html" target="_self">StatisticsCollector</a></td><td class="desc"></td></tr>
<tr id="row_0_14_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d11/a03789.html" target="_self">StatisticsPrinter</a></td><td class="desc"></td></tr>
<tr id="row_0_14_5_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/d04/a03793.html" target="_self">Timer</a></td><td class="desc"></td></tr>
<tr id="row_0_15_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_15_" class="arrow" onclick="toggleFolder('0_15_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d3/d51/a01264.html" target="_self">tree_detail</a></td><td class="desc"></td></tr>
<tr id="row_0_15_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d45/a02973.html" target="_self">Node</a></td><td class="desc"></td></tr>
<tr id="row_0_15_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/dc5/a02977.html" target="_self">BaseIterator</a></td><td class="desc">This is the base class for all iterators </td></tr>
<tr id="row_0_15_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d93/a02981.html" target="_self">PreorderIterator</a></td><td class="desc">Iterator class for pre-order iterations over all elements </td></tr>
<tr id="row_0_15_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d5c/a02985.html" target="_self">PostorderIterator</a></td><td class="desc">Iterator class for post-order iterations over all elements </td></tr>
<tr id="row_0_15_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/d69/a02989.html" target="_self">LeafIterator</a></td><td class="desc">Iterator class for iterations over all leaf elements </td></tr>
<tr id="row_0_15_5_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d58/a02993.html" target="_self">DepthIterator</a></td><td class="desc">Iterator class for iterations over all elements of a certain depth </td></tr>
<tr id="row_0_15_6_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/daa/a02997.html" target="_self">ChildrenIterator</a></td><td class="desc">Iterator class for iterations over all children of a given element </td></tr>
<tr id="row_0_15_7_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/db8/a03001.html" target="_self">PathIterator</a></td><td class="desc">Iterator class for iterations from a given element to the root </td></tr>
<tr id="row_0_16_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_16_" class="arrow" onclick="toggleFolder('0_16_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="d5/da7/a01283.html" target="_self">vs</a></td><td class="desc"></td></tr>
<tr id="row_0_16_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_0_16_0_" class="arrow" onclick="toggleFolder('0_16_0_')">►</span><span class="icona"><span class="icon">N</span></span><a class="el" href="dd/d18/a01284.html" target="_self">detail</a></td><td class="desc"></td></tr>
<tr id="row_0_16_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/d11/a03797.html" target="_self">Substitution</a></td><td class="desc"></td></tr>
<tr id="row_0_16_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/d0c/a03801.html" target="_self">Term</a></td><td class="desc"></td></tr>
<tr id="row_0_16_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/d79/a03809.html" target="_self">zero</a></td><td class="desc">A square root expression with side conditions </td></tr>
<tr id="row_0_17_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d71/a02101.html" target="_self">BasicConstraint</a></td><td class="desc">Represent a polynomial (in)equality against zero </td></tr>
<tr id="row_0_18_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/dc6/a02113.html" target="_self">CArLConverter</a></td><td class="desc"></td></tr>
<tr id="row_0_19_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d79/a02117.html" target="_self">ConvertTo</a></td><td class="desc"></td></tr>
<tr id="row_0_20_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d3b/a02121.html" target="_self">ConvertFrom</a></td><td class="desc"></td></tr>
<tr id="row_0_21_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/db2/a02125.html" target="_self">GiNaCConversion</a></td><td class="desc"></td></tr>
<tr id="row_0_22_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d26/a02129.html" target="_self">ToGiNaC</a></td><td class="desc"></td></tr>
<tr id="row_0_23_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d67/a02133.html" target="_self">FromGiNaC</a></td><td class="desc"></td></tr>
<tr id="row_0_24_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/d88/a02141.html" target="_self">Variable</a></td><td class="desc">A <a class="el" href="d5/d88/a02141.html" title="A Variable represents an algebraic variable that can be used throughout carl.">Variable</a> represents an algebraic variable that can be used throughout carl </td></tr>
<tr id="row_0_25_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/da0/a02149.html" target="_self">VariablePool</a></td><td class="desc">This class generates new variables and stores human-readable names for them </td></tr>
<tr id="row_0_26_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/de9/a02153.html" target="_self">variable_type_filter</a></td><td class="desc"></td></tr>
<tr id="row_0_27_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/dcf/a02157.html" target="_self">carlVariables</a></td><td class="desc"></td></tr>
<tr id="row_0_28_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/dbf/a02161.html" target="_self">MultivariateRoot</a></td><td class="desc"></td></tr>
<tr id="row_0_29_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/d08/a02169.html" target="_self">VariableAssignment</a></td><td class="desc"></td></tr>
<tr id="row_0_30_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/d90/a02177.html" target="_self">VariableComparison</a></td><td class="desc">Represent a sum type/variant of an (in)equality between a variable on the left-hand side and multivariateRoot or algebraic real on the right-hand side </td></tr>
<tr id="row_0_31_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d02/a02185.html" target="_self">DivisionLookupResult</a></td><td class="desc">The result of </td></tr>
<tr id="row_0_32_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d85/a02189.html" target="_self">UpdateFnct</a></td><td class="desc"></td></tr>
<tr id="row_0_33_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/dbb/a02193.html" target="_self">DefaultBuchbergerSettings</a></td><td class="desc">Standard settings used if the <a class="el" href="de/df6/a02197.html" title="Gebauer and Moeller style implementation of the Buchberger algorithm.">Buchberger</a> object is not instantiated with another template parameter </td></tr>
<tr id="row_0_34_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/df6/a02197.html" target="_self">Buchberger</a></td><td class="desc">Gebauer and Moeller style implementation of the <a class="el" href="de/df6/a02197.html" title="Gebauer and Moeller style implementation of the Buchberger algorithm.">Buchberger</a> algorithm </td></tr>
<tr id="row_0_35_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d14/a02201.html" target="_self">BuchbergerStats</a></td><td class="desc">A little class for gathering statistics about the <a class="el" href="de/df6/a02197.html" title="Gebauer and Moeller style implementation of the Buchberger algorithm.">Buchberger</a> algorithm calls </td></tr>
<tr id="row_0_36_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/d43/a02205.html" target="_self">CriticalPairConfiguration</a></td><td class="desc"></td></tr>
<tr id="row_0_37_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/db1/a02209.html" target="_self">CriticalPairs</a></td><td class="desc">A data structure to store all the SPolynomial pairs which have to be checked </td></tr>
<tr id="row_0_38_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/d8e/a02213.html" target="_self">CriticalPairsEntry</a></td><td class="desc">A list of SPol pairs which have to be checked by the <a class="el" href="de/df6/a02197.html" title="Gebauer and Moeller style implementation of the Buchberger algorithm.">Buchberger</a> algorithm </td></tr>
<tr id="row_0_39_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/da2/a02217.html" target="_self">SPolPair</a></td><td class="desc">Basic spol-pair </td></tr>
<tr id="row_0_40_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dd6/a02221.html" target="_self">SPolPairCompare</a></td><td class="desc"></td></tr>
<tr id="row_0_41_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/dc0/a02225.html" target="_self">AbstractGBProcedure</a></td><td class="desc"></td></tr>
<tr id="row_0_42_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d3b/a02229.html" target="_self">GBProcedure</a></td><td class="desc">A general class for Groebner Basis calculation </td></tr>
<tr id="row_0_43_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/d3d/a02233.html" target="_self">UpdateFnc</a></td><td class="desc"></td></tr>
<tr id="row_0_44_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/d13/a02237.html" target="_self">StdAdding</a></td><td class="desc"></td></tr>
<tr id="row_0_45_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/de4/a02241.html" target="_self">RadicalAwareAdding</a></td><td class="desc"></td></tr>
<tr id="row_0_46_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d14/a02245.html" target="_self">RealRadicalAwareAdding</a></td><td class="desc"></td></tr>
<tr id="row_0_47_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dc3/a02249.html" target="_self">IdealDatastructureVector</a></td><td class="desc"></td></tr>
<tr id="row_0_48_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d24/a02261.html" target="_self">Ideal</a></td><td class="desc"></td></tr>
<tr id="row_0_49_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d6e/a02265.html" target="_self">ReductorConfiguration</a></td><td class="desc">Class with the settings for the reduction algorithm </td></tr>
<tr id="row_0_50_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/d1b/a02269.html" target="_self">Reductor</a></td><td class="desc">A dedicated algorithm for calculating the remainder of a polynomial modulo a set of other polynomials </td></tr>
<tr id="row_0_51_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d6e/a02273.html" target="_self">ReductorEntry</a></td><td class="desc">An entry in the reduction polynomial </td></tr>
<tr id="row_0_52_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d80/a02281.html" target="_self">Interval</a></td><td class="desc">The class which contains the interval arithmetic including trigonometric functions </td></tr>
<tr id="row_0_53_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d4d/a02285.html" target="_self">is_interval_type< carl::Interval< Number > ></a></td><td class="desc"></td></tr>
<tr id="row_0_54_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/d4e/a02289.html" target="_self">is_interval_type< const carl::Interval< Number > ></a></td><td class="desc"></td></tr>
<tr id="row_0_55_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dc5/a02293.html" target="_self">policies</a></td><td class="desc">Struct which holds the rounding and checking policies required for boost interval </td></tr>
<tr id="row_0_56_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/db8/a02297.html" target="_self">policies< double, Interval ></a></td><td class="desc">Template specialization for rounding and checking policies for native double </td></tr>
<tr id="row_0_57_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/db3/a02301.html" target="_self">LowerBound</a></td><td class="desc"></td></tr>
<tr id="row_0_58_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/dd6/a02305.html" target="_self">UpperBound</a></td><td class="desc"></td></tr>
<tr id="row_0_59_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/dd6/a02309.html" target="_self">is_number_type< Interval< T > ></a></td><td class="desc"></td></tr>
<tr id="row_0_60_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d68/a02317.html" target="_self">checking</a></td><td class="desc"></td></tr>
<tr id="row_0_61_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/d0a/a02321.html" target="_self">rounding</a></td><td class="desc"></td></tr>
<tr id="row_0_62_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d2a/a02325.html" target="_self">is_interval_type</a></td><td class="desc">States whether a given type is an <code><a class="el" href="d0/d80/a02281.html" title="The class which contains the interval arithmetic including trigonometric functions.">Interval</a></code> </td></tr>
<tr id="row_0_63_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d71/a02329.html" target="_self">VarSolutionFormula</a></td><td class="desc"></td></tr>
<tr id="row_0_64_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/dbe/a02333.html" target="_self">Contraction</a></td><td class="desc"></td></tr>
<tr id="row_0_65_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d52/a02337.html" target="_self">SimpleNewton</a></td><td class="desc"></td></tr>
<tr id="row_0_66_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d1e/a01234.html#d8/d26/a02357" target="_self">is_integer_type< cln::cl_I ></a></td><td class="desc">States that cln::cl_I has the trait <a class="el" href="d6/d1e/a01234.html#de/d94/a02597" title="States if a type is an integer type.">is_integer_type</a> </td></tr>
<tr id="row_0_67_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/dab/a01237.html#d5/db0/a02361" target="_self">is_rational_type< cln::cl_RA ></a></td><td class="desc">States that cln::cl_RA has the trait <a class="el" href="df/dd3/a02569.html" title="States if a type is a rational type.">is_rational_type</a> </td></tr>
<tr id="row_0_68_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/dbf/a01239.html#d0/dc0/a02365" target="_self">IntegralType< cln::cl_I ></a></td><td class="desc">States that <a class="el" href="d0/dce/a02617.html" title="Gives the corresponding integral type.">IntegralType</a> of cln::cl_I is cln::cl_I </td></tr>
<tr id="row_0_69_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/dbf/a01239.html#df/def/a02369" target="_self">IntegralType< cln::cl_RA ></a></td><td class="desc">States that <a class="el" href="d0/dce/a02617.html" title="Gives the corresponding integral type.">IntegralType</a> of cln::cl_RA is cln::cl_I </td></tr>
<tr id="row_0_70_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/de7/a02373.html" target="_self">FLOAT_T</a></td><td class="desc">Templated wrapper class which allows universal usage of different IEEE 754 implementations </td></tr>
<tr id="row_0_71_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d75/a02377.html" target="_self">FloatConv</a></td><td class="desc">Struct which holds the conversion operator for any two instanciations of <a class="el" href="d7/de7/a02373.html" title="Templated wrapper class which allows universal usage of different IEEE 754 implementations.">FLOAT_T</a> with different underlying floating point implementations </td></tr>
<tr id="row_0_72_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/d53/a02389.html" target="_self">convRnd</a></td><td class="desc"></td></tr>
<tr id="row_0_73_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/d29/a02393.html" target="_self">IntegralType< carl::FLOAT_T< F > ></a></td><td class="desc"></td></tr>
<tr id="row_0_74_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d6b/a02397.html" target="_self">is_rational_type< FLOAT_T< C > ></a></td><td class="desc"></td></tr>
<tr id="row_0_75_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/d62/a02401.html" target="_self">is_float_type< carl::FLOAT_T< C > ></a></td><td class="desc"></td></tr>
<tr id="row_0_76_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d1e/a01234.html#d5/da5/a02413" target="_self">is_integer_type< mpz_class ></a></td><td class="desc">States that mpz_class has the trait <a class="el" href="d6/d1e/a01234.html#de/d94/a02597" title="States if a type is an integer type.">is_integer_type</a> </td></tr>
<tr id="row_0_77_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/dab/a01237.html#de/d76/a02417" target="_self">is_rational_type< mpq_class ></a></td><td class="desc">States that mpq_class has the trait <a class="el" href="df/dd3/a02569.html" title="States if a type is a rational type.">is_rational_type</a> </td></tr>
<tr id="row_0_78_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/dbf/a01239.html#da/d18/a02421" target="_self">IntegralType< mpq_class ></a></td><td class="desc">States that <a class="el" href="d0/dce/a02617.html" title="Gives the corresponding integral type.">IntegralType</a> of mpq_class is mpz_class </td></tr>
<tr id="row_0_79_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/dbf/a01239.html#d9/d9d/a02425" target="_self">IntegralType< mpz_class ></a></td><td class="desc">States that <a class="el" href="d0/dce/a02617.html" title="Gives the corresponding integral type.">IntegralType</a> of mpz_class is mpz_class </td></tr>
<tr id="row_0_80_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/d09/a02429.html" target="_self">EEA</a></td><td class="desc">Extended euclidean algorithm for numbers </td></tr>
<tr id="row_0_81_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dad/a01235.html#d7/d18/a02433" target="_self">is_subset_of_integers_type< signed char ></a></td><td class="desc">States that signed char has the trait <a class="el" href="dd/dad/a01235.html#dd/d05/a02601" title="States if a type represents a subset of all integers.">is_subset_of_integers_type</a> </td></tr>
<tr id="row_0_82_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dad/a01235.html#de/da0/a02437" target="_self">is_subset_of_integers_type< short int ></a></td><td class="desc">States that short int has the trait <a class="el" href="dd/dad/a01235.html#dd/d05/a02601" title="States if a type represents a subset of all integers.">is_subset_of_integers_type</a> </td></tr>
<tr id="row_0_83_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dad/a01235.html#d9/dd6/a02441" target="_self">is_subset_of_integers_type< int ></a></td><td class="desc">States that int has the trait <a class="el" href="dd/dad/a01235.html#dd/d05/a02601" title="States if a type represents a subset of all integers.">is_subset_of_integers_type</a> </td></tr>
<tr id="row_0_84_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dad/a01235.html#dd/d26/a02445" target="_self">is_subset_of_integers_type< long int ></a></td><td class="desc">States that long int has the trait <a class="el" href="dd/dad/a01235.html#dd/d05/a02601" title="States if a type represents a subset of all integers.">is_subset_of_integers_type</a> </td></tr>
<tr id="row_0_85_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dad/a01235.html#dc/d4e/a02449" target="_self">is_subset_of_integers_type< long long int ></a></td><td class="desc">States that long long int has the trait <a class="el" href="dd/dad/a01235.html#dd/d05/a02601" title="States if a type represents a subset of all integers.">is_subset_of_integers_type</a> </td></tr>
<tr id="row_0_86_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dad/a01235.html#d3/d27/a02453" target="_self">is_subset_of_integers_type< unsigned char ></a></td><td class="desc">States that unsigned char has the trait <a class="el" href="dd/dad/a01235.html#dd/d05/a02601" title="States if a type represents a subset of all integers.">is_subset_of_integers_type</a> </td></tr>
<tr id="row_0_87_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dad/a01235.html#d4/d87/a02457" target="_self">is_subset_of_integers_type< unsigned short int ></a></td><td class="desc">States that unsigned short int has the trait <a class="el" href="dd/dad/a01235.html#dd/d05/a02601" title="States if a type represents a subset of all integers.">is_subset_of_integers_type</a> </td></tr>
<tr id="row_0_88_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dad/a01235.html#df/d68/a02461" target="_self">is_subset_of_integers_type< unsigned int ></a></td><td class="desc">States that unsigned int has the trait <a class="el" href="dd/dad/a01235.html#dd/d05/a02601" title="States if a type represents a subset of all integers.">is_subset_of_integers_type</a> </td></tr>
<tr id="row_0_89_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dad/a01235.html#d4/d73/a02465" target="_self">is_subset_of_integers_type< unsigned long int ></a></td><td class="desc">States that unsigned long int has the trait <a class="el" href="dd/dad/a01235.html#dd/d05/a02601" title="States if a type represents a subset of all integers.">is_subset_of_integers_type</a> </td></tr>
<tr id="row_0_90_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dad/a01235.html#de/dcb/a02469" target="_self">is_subset_of_integers_type< unsigned long long int ></a></td><td class="desc">States that unsigned long long int has the trait <a class="el" href="dd/dad/a01235.html#dd/d05/a02601" title="States if a type represents a subset of all integers.">is_subset_of_integers_type</a> </td></tr>
<tr id="row_0_91_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/dbf/a01239.html#d9/dc1/a02473" target="_self">IntegralType< float ></a></td><td class="desc">States that <a class="el" href="d0/dce/a02617.html" title="Gives the corresponding integral type.">IntegralType</a> of float is sint </td></tr>
<tr id="row_0_92_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/dbf/a01239.html#d0/dc2/a02477" target="_self">IntegralType< double ></a></td><td class="desc">States that <a class="el" href="d0/dce/a02617.html" title="Gives the corresponding integral type.">IntegralType</a> of double is sint </td></tr>
<tr id="row_0_93_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/dbf/a01239.html#d9/dd8/a02481" target="_self">IntegralType< long double ></a></td><td class="desc">States that <a class="el" href="d0/dce/a02617.html" title="Gives the corresponding integral type.">IntegralType</a> of long double is sint </td></tr>
<tr id="row_0_94_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d44/a02485.html" target="_self">constant_zero</a></td><td class="desc"></td></tr>
<tr id="row_0_95_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/dbe/a02489.html" target="_self">constant_one</a></td><td class="desc"></td></tr>
<tr id="row_0_96_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/de1/a02493.html" target="_self">FactorizationFactory</a></td><td class="desc">This class provides a cached factorization for numbers </td></tr>
<tr id="row_0_97_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/d73/a02497.html" target="_self">FactorizationFactory< uint ></a></td><td class="desc">This class provides a cached prime factorization for std::size_t </td></tr>
<tr id="row_0_98_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/df7/a02501.html" target="_self">IntegerPairCompare</a></td><td class="desc"></td></tr>
<tr id="row_0_99_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/d94/a02505.html" target="_self">GaloisField</a></td><td class="desc">A finite field </td></tr>
<tr id="row_0_100_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d28/a02509.html" target="_self">GaloisFieldManager</a></td><td class="desc"></td></tr>
<tr id="row_0_101_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/de1/a02513.html" target="_self">GFNumber</a></td><td class="desc">Galois Field numbers, i.e </td></tr>
<tr id="row_0_102_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/d8b/a02545.html" target="_self">PrimeFactory</a></td><td class="desc">This class provides a convenient way to enumerate primes </td></tr>
<tr id="row_0_103_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/df5/a02549.html" target="_self">remove_all</a></td><td class="desc"></td></tr>
<tr id="row_0_104_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d68/a02553.html" target="_self">remove_all< T, T ></a></td><td class="desc"></td></tr>
<tr id="row_0_105_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d98/a02557.html" target="_self">has_subtype</a></td><td class="desc">This template is designed to provide types that are related to other types </td></tr>
<tr id="row_0_106_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/d67/a02561.html" target="_self">UnivariatePolynomial</a></td><td class="desc">This class represents a univariate polynomial with coefficients of an arbitrary type </td></tr>
<tr id="row_0_107_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/dff/a02565.html" target="_self">MultivariatePolynomial</a></td><td class="desc">The general-purpose multivariate polynomial class </td></tr>
<tr id="row_0_108_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/dd3/a02569.html" target="_self">is_rational_type</a></td><td class="desc">States if a type is a rational type </td></tr>
<tr id="row_0_109_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/ddf/a02573.html" target="_self">is_subset_of_rationals_type</a></td><td class="desc">States if a type represents a subset of all rationals and the representation is similar to a rational </td></tr>
<tr id="row_0_110_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d88/a01231.html#da/d03/a02577" target="_self">is_field_type</a></td><td class="desc">States if a type is a field </td></tr>
<tr id="row_0_111_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d88/a01231.html#d6/dae/a02581" target="_self">is_field_type< GFNumber< C > ></a></td><td class="desc">States that a Gallois field is a field </td></tr>
<tr id="row_0_112_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d67/a01232.html#d0/dea/a02585" target="_self">is_finite_type</a></td><td class="desc">States if a type represents only a finite domain </td></tr>
<tr id="row_0_113_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d67/a01232.html#de/d48/a02589" target="_self">is_finite_type< GFNumber< C > ></a></td><td class="desc">Type trait is_finite_type_domain </td></tr>
<tr id="row_0_114_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/da1/a01233.html#d6/dfc/a02593" target="_self">is_float_type</a></td><td class="desc">States if a type is a floating point type </td></tr>
<tr id="row_0_115_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d1e/a01234.html#de/d94/a02597" target="_self">is_integer_type</a></td><td class="desc">States if a type is an integer type </td></tr>
<tr id="row_0_116_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dad/a01235.html#dd/d05/a02601" target="_self">is_subset_of_integers_type</a></td><td class="desc">States if a type represents a subset of all integers </td></tr>
<tr id="row_0_117_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d20/a02605.html" target="_self">is_number_type</a></td><td class="desc">States if a type is a number type </td></tr>
<tr id="row_0_118_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d2b/a01236.html#df/d40/a02609" target="_self">is_number_type< GFNumber< C > ></a></td><td class="desc"></td></tr>
<tr id="row_0_119_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d6a/a02613.html" target="_self">characteristic</a></td><td class="desc">Type trait for the characteristic of the given field (template argument) </td></tr>
<tr id="row_0_120_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/dce/a02617.html" target="_self">IntegralType</a></td><td class="desc">Gives the corresponding integral type </td></tr>
<tr id="row_0_121_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d10/a02621.html" target="_self">IntegralType< GFNumber< C > ></a></td><td class="desc"></td></tr>
<tr id="row_0_122_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/d6e/a01240.html#d5/d95/a02625" target="_self">UnderlyingNumberType</a></td><td class="desc">Gives the underlying number type of a complex object </td></tr>
<tr id="row_0_123_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d70/a02629.html" target="_self">PreventConversion</a></td><td class="desc"></td></tr>
<tr id="row_0_124_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/d80/a02645.html" target="_self">Context</a></td><td class="desc"></td></tr>
<tr id="row_0_125_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/dfe/a02649.html" target="_self">ContextPolynomial</a></td><td class="desc"></td></tr>
<tr id="row_0_126_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d0d/a02653.html" target="_self">needs_context_type< ContextPolynomial< Coeff, Ordering, Policies > ></a></td><td class="desc"></td></tr>
<tr id="row_0_127_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/de8/a02657.html" target="_self">is_polynomial_type< ContextPolynomial< Coeff, Ordering, Policies > ></a></td><td class="desc"></td></tr>
<tr id="row_0_128_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/d32/a02665.html" target="_self">is_polynomial_type</a></td><td class="desc"></td></tr>
<tr id="row_0_129_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/dbb/a02669.html" target="_self">needs_cache_type</a></td><td class="desc"></td></tr>
<tr id="row_0_130_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d46/a02673.html" target="_self">needs_context_type</a></td><td class="desc"></td></tr>
<tr id="row_0_131_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/da6/a02677.html" target="_self">is_factorized_type</a></td><td class="desc"></td></tr>
<tr id="row_0_132_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/d9d/a02681.html" target="_self">Chebyshev</a></td><td class="desc">Implements a generator for <a class="el" href="d4/d9d/a02681.html" title="Implements a generator for Chebyshev polynomials.">Chebyshev</a> polynomials </td></tr>
<tr id="row_0_133_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/dd8/a02685.html" target="_self">DivisionResult</a></td><td class="desc">A strongly typed pair encoding the result of a division, being a quotient and a remainder </td></tr>
<tr id="row_0_134_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/dff/a02689.html" target="_self">EZGCD</a></td><td class="desc">Extended Zassenhaus algorithm for multivariate GCD calculation </td></tr>
<tr id="row_0_135_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/da8/a02693.html" target="_self">MultivariateHorner</a></td><td class="desc"></td></tr>
<tr id="row_0_136_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/dbe/a02697.html" target="_self">strategy</a></td><td class="desc"></td></tr>
<tr id="row_0_137_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/dd2/a02701.html" target="_self">DiophantineEquations</a></td><td class="desc">Includes the algorithms 6.2 and 6.3 from the book Algorithms for Computer Algebra by Geddes, Czaper, Labahn </td></tr>
<tr id="row_0_138_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d28/a02705.html" target="_self">MultivariateHensel</a></td><td class="desc"></td></tr>
<tr id="row_0_139_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d8f/a02709.html" target="_self">TaylorExpansion</a></td><td class="desc"></td></tr>
<tr id="row_0_140_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/d1d/a02713.html" target="_self">Monomial</a></td><td class="desc">The general-purpose monomials </td></tr>
<tr id="row_0_141_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/df8/a02717.html" target="_self">hashLess</a></td><td class="desc"></td></tr>
<tr id="row_0_142_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d8f/a02721.html" target="_self">hashEqual</a></td><td class="desc"></td></tr>
<tr id="row_0_143_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d0b/a02741.html" target="_self">MonomialComparator</a></td><td class="desc">A class for term orderings </td></tr>
<tr id="row_0_144_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_144_" class="arrow" onclick="toggleFolder('0_144_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d00/a02745.html" target="_self">MonomialPool</a></td><td class="desc"></td></tr>
<tr id="row_0_144_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d40/a02749.html" target="_self">content_equal</a></td><td class="desc"></td></tr>
<tr id="row_0_144_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/d93/a02753.html" target="_self">content_hash</a></td><td class="desc"></td></tr>
<tr id="row_0_145_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/da5/a02757.html" target="_self">is_polynomial_type< carl::MultivariatePolynomial< T, O, P > ></a></td><td class="desc"></td></tr>
<tr id="row_0_146_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/d6e/a01240.html#dd/d4a/a02761" target="_self">UnderlyingNumberType< MultivariatePolynomial< C, O, P > ></a></td><td class="desc">States that <a class="el" href="d5/d6e/a01240.html#d5/d95/a02625" title="Gives the underlying number type of a complex object.">UnderlyingNumberType</a> of MultivariatePolynomial<C,O,P> is <a class="el" href="dd/d98/a02557.html#ad98291d2967397a24dad7df4dcee5cea" title="A type associated with the type.">UnderlyingNumberType<C>::type</a> </td></tr>
<tr id="row_0_147_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/da5/a02769.html" target="_self">NoAllocator</a></td><td class="desc"></td></tr>
<tr id="row_0_148_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/de5/a02773.html" target="_self">NoReasons</a></td><td class="desc"></td></tr>
<tr id="row_0_149_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/db0/a02777.html" target="_self">BVReasons</a></td><td class="desc"></td></tr>
<tr id="row_0_150_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/d95/a02781.html" target="_self">StdMultivariatePolynomialPolicies</a></td><td class="desc">The default policy for polynomials </td></tr>
<tr id="row_0_151_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d7d/a02785.html" target="_self">Term</a></td><td class="desc">Represents a single term, that is a numeric coefficient and a monomial </td></tr>
<tr id="row_0_152_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d9c/a02793.html" target="_self">TermAdditionManager</a></td><td class="desc"></td></tr>
<tr id="row_0_153_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_153_" class="arrow" onclick="toggleFolder('0_153_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d51/a02797.html" target="_self">IntRepRealAlgebraicNumber</a></td><td class="desc"></td></tr>
<tr id="row_0_153_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dc1/a02857.html" target="_self">content</a></td><td class="desc"></td></tr>
<tr id="row_0_154_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d1e/a02801.html" target="_self">is_polynomial_type< carl::UnivariatePolynomial< T > ></a></td><td class="desc"></td></tr>
<tr id="row_0_155_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/d6e/a01240.html#d7/d75/a02805" target="_self">UnderlyingNumberType< UnivariatePolynomial< C > ></a></td><td class="desc">States that <a class="el" href="d5/d6e/a01240.html#d5/d95/a02625" title="Gives the underlying number type of a complex object.">UnderlyingNumberType</a> of UnivariatePolynomial<T> is <a class="el" href="dd/d98/a02557.html#ad98291d2967397a24dad7df4dcee5cea" title="A type associated with the type.">UnderlyingNumberType<C>::type</a> </td></tr>
<tr id="row_0_156_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d27/a02817.html" target="_self">VarInfo</a></td><td class="desc"></td></tr>
<tr id="row_0_157_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/de9/a02821.html" target="_self">VarsInfo</a></td><td class="desc"></td></tr>
<tr id="row_0_158_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d7d/a02825.html" target="_self">is_ran_type</a></td><td class="desc"></td></tr>
<tr id="row_0_159_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_159_" class="arrow" onclick="toggleFolder('0_159_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d4f/a02829.html" target="_self">RealRootsResult</a></td><td class="desc"></td></tr>
<tr id="row_0_159_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/dfd/a02837.html" target="_self">non_univariate_t</a></td><td class="desc"></td></tr>
<tr id="row_0_159_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d2b/a02833.html" target="_self">nullified_t</a></td><td class="desc"></td></tr>
<tr id="row_0_160_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/d09/a02861.html" target="_self">is_ran_type< IntRepRealAlgebraicNumber< Number > ></a></td><td class="desc"></td></tr>
<tr id="row_0_161_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_161_" class="arrow" onclick="toggleFolder('0_161_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d13/a02873.html" target="_self">RealAlgebraicNumberThom</a></td><td class="desc"></td></tr>
<tr id="row_0_161_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/dc2/a02877.html" target="_self">Content</a></td><td class="desc"></td></tr>
<tr id="row_0_162_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d3c/a02881.html" target="_self">is_ran_type< RealAlgebraicNumberThom< Number > ></a></td><td class="desc"></td></tr>
<tr id="row_0_163_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d7d/a02889.html" target="_self">SignCondition</a></td><td class="desc"></td></tr>
<tr id="row_0_164_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d44/a02893.html" target="_self">SignDetermination</a></td><td class="desc"></td></tr>
<tr id="row_0_165_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/d4c/a02897.html" target="_self">GroebnerBase</a></td><td class="desc"></td></tr>
<tr id="row_0_166_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/dfc/a02901.html" target="_self">BaseRepresentation</a></td><td class="desc"></td></tr>
<tr id="row_0_167_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_167_" class="arrow" onclick="toggleFolder('0_167_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/d2e/a02905.html" target="_self">MultiplicationTable</a></td><td class="desc"></td></tr>
<tr id="row_0_167_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/d86/a02909.html" target="_self">TableContent</a></td><td class="desc"></td></tr>
<tr id="row_0_168_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/dea/a02913.html" target="_self">TarskiQueryManager</a></td><td class="desc"></td></tr>
<tr id="row_0_169_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d8d/a02917.html" target="_self">ThomEncoding</a></td><td class="desc"></td></tr>
<tr id="row_0_170_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d27/a02921.html" target="_self">RealAlgebraicNumber</a></td><td class="desc"></td></tr>
<tr id="row_0_171_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/de8/a02925.html" target="_self">SqrtEx</a></td><td class="desc"></td></tr>
<tr id="row_0_172_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d7d/a02941.html" target="_self">CompileInfo</a></td><td class="desc">Compile time generated structure holding information about compiler and system version </td></tr>
<tr id="row_0_173_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d6b/a02945.html" target="_self">CMakeOptionPrinter</a></td><td class="desc"></td></tr>
<tr id="row_0_174_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_174_" class="arrow" onclick="toggleFolder('0_174_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d4c/a02949.html" target="_self">Bitset</a></td><td class="desc">This class is a simple wrapper around boost::dynamic_bitset </td></tr>
<tr id="row_0_174_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d72/a02953.html" target="_self">iterator</a></td><td class="desc">Iterate for iterate over all bits of a <a class="el" href="dd/d4c/a02949.html" title="This class is a simple wrapper around boost::dynamic_bitset.">Bitset</a> that are set to true </td></tr>
<tr id="row_0_175_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_175_" class="arrow" onclick="toggleFolder('0_175_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/df1/a02961.html" target="_self">BitVector</a></td><td class="desc"></td></tr>
<tr id="row_0_175_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/d39/a02965.html" target="_self">forward_iterator</a></td><td class="desc"></td></tr>
<tr id="row_0_176_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d6c/a02969.html" target="_self">tree</a></td><td class="desc">This class represents a tree </td></tr>
<tr id="row_0_177_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_177_" class="arrow" onclick="toggleFolder('0_177_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/da4/a03005.html" target="_self">CompactTree</a></td><td class="desc">This class packs a complete binary tree in a vector </td></tr>
<tr id="row_0_177_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/dc5/a03009.html" target="_self">Node</a></td><td class="desc"></td></tr>
<tr id="row_0_178_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_178_" class="arrow" onclick="toggleFolder('0_178_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/db3/a03013.html" target="_self">Heap</a></td><td class="desc">A heap priority queue </td></tr>
<tr id="row_0_178_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dfd/a03017.html" target="_self">c_iterator</a></td><td class="desc"></td></tr>
<tr id="row_0_179_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/d76/a03021.html" target="_self">Timer</a></td><td class="desc">This classes provides an easy way to obtain the current number of milliseconds that the program has been running </td></tr>
<tr id="row_0_180_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_180_" class="arrow" onclick="toggleFolder('0_180_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d1b/a03029.html" target="_self">Cache</a></td><td class="desc"></td></tr>
<tr id="row_0_180_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/def/a03033.html" target="_self">Info</a></td><td class="desc"></td></tr>
<tr id="row_0_181_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/ddb/a03037.html" target="_self">IDPool</a></td><td class="desc"></td></tr>
<tr id="row_0_182_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/d45/a03085.html" target="_self">Singleton</a></td><td class="desc">Base class that implements a singleton </td></tr>
<tr id="row_0_183_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d54/a03089.html" target="_self">overloaded</a></td><td class="desc"></td></tr>
<tr id="row_0_184_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d4b/a03093.html" target="_self">dependent_bool_type</a></td><td class="desc"></td></tr>
<tr id="row_0_185_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d92/a03097.html" target="_self">any</a></td><td class="desc">Meta-logical disjunction </td></tr>
<tr id="row_0_186_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/d43/a03101.html" target="_self">any< Head, Tail... ></a></td><td class="desc"></td></tr>
<tr id="row_0_187_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d75/a03105.html" target="_self">all</a></td><td class="desc">Meta-logical conjunction </td></tr>
<tr id="row_0_188_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/d5f/a03109.html" target="_self">all< Head, Tail... ></a></td><td class="desc"></td></tr>
<tr id="row_0_189_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/dcd/a03113.html" target="_self">Void</a></td><td class="desc"></td></tr>
<tr id="row_0_190_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/da6/a03117.html" target="_self">is_instantiation_of</a></td><td class="desc"></td></tr>
<tr id="row_0_191_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/dcb/a03121.html" target="_self">is_instantiation_of< Template, Template< Args... > ></a></td><td class="desc"></td></tr>
<tr id="row_0_192_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/ddf/a03129.html" target="_self">hash_inserter</a></td><td class="desc">Utility functor to hash a sequence of object using an output iterator </td></tr>
<tr id="row_0_193_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/d0f/a03137.html" target="_self">mpl_unique</a></td><td class="desc"></td></tr>
<tr id="row_0_194_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dd1/a03141.html" target="_self">mpl_concatenate_impl</a></td><td class="desc"></td></tr>
<tr id="row_0_195_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d02/a03145.html" target="_self">mpl_concatenate_impl< 1, Front, Tail... ></a></td><td class="desc"></td></tr>
<tr id="row_0_196_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d74/a03149.html" target="_self">mpl_concatenate</a></td><td class="desc"></td></tr>
<tr id="row_0_197_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d44/a03153.html" target="_self">mpl_variant_of_impl</a></td><td class="desc"></td></tr>
<tr id="row_0_198_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/d27/a03157.html" target="_self">mpl_variant_of_impl< true, Vector, Unpacked... ></a></td><td class="desc"></td></tr>
<tr id="row_0_199_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d04/a03161.html" target="_self">mpl_variant_of</a></td><td class="desc"></td></tr>
<tr id="row_0_200_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/d1d/a03165.html" target="_self">equal_to</a></td><td class="desc">Alternative specialization of std::equal_to for pointer types </td></tr>
<tr id="row_0_201_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/d10/a03169.html" target="_self">equal_to< T *, mayBeNull ></a></td><td class="desc"></td></tr>
<tr id="row_0_202_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/dcf/a03173.html" target="_self">equal_to< std::shared_ptr< T >, mayBeNull ></a></td><td class="desc"></td></tr>
<tr id="row_0_203_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d90/a03177.html" target="_self">not_equal_to</a></td><td class="desc"></td></tr>
<tr id="row_0_204_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/daf/a03181.html" target="_self">not_equal_to< T *, mayBeNull ></a></td><td class="desc"></td></tr>
<tr id="row_0_205_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/d30/a03185.html" target="_self">not_equal_to< std::shared_ptr< T >, mayBeNull ></a></td><td class="desc"></td></tr>
<tr id="row_0_206_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/d5f/a03189.html" target="_self">less</a></td><td class="desc">Alternative specialization of std::less for pointer types </td></tr>
<tr id="row_0_207_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d04/a03193.html" target="_self">less< T *, mayBeNull ></a></td><td class="desc"></td></tr>
<tr id="row_0_208_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d61/a03197.html" target="_self">less< std::shared_ptr< T >, mayBeNull ></a></td><td class="desc"></td></tr>
<tr id="row_0_209_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/df4/a03201.html" target="_self">greater</a></td><td class="desc"></td></tr>
<tr id="row_0_210_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/dee/a03205.html" target="_self">greater< T *, mayBeNull ></a></td><td class="desc"></td></tr>
<tr id="row_0_211_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/d86/a03209.html" target="_self">greater< std::shared_ptr< T >, mayBeNull ></a></td><td class="desc"></td></tr>
<tr id="row_0_212_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/d59/a03213.html" target="_self">hash</a></td><td class="desc">Alternative specialization of std::hash for pointer types </td></tr>
<tr id="row_0_213_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/df1/a03217.html" target="_self">hash< T *, mayBeNull ></a></td><td class="desc"></td></tr>
<tr id="row_0_214_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/da3/a03221.html" target="_self">hash< std::shared_ptr< T >, mayBeNull ></a></td><td class="desc"></td></tr>
<tr id="row_0_215_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d0c/a03229.html" target="_self">tuple_convert</a></td><td class="desc"></td></tr>
<tr id="row_0_216_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d07/a03233.html" target="_self">tuple_convert< Converter, Information, Out ></a></td><td class="desc"></td></tr>
<tr id="row_0_217_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/df1/a03261.html" target="_self">is_from_variant</a></td><td class="desc"></td></tr>
<tr id="row_0_218_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d81/a03265.html" target="_self">convertible_to_variant</a></td><td class="desc"></td></tr>
<tr id="row_0_219_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/d46/a03277.html" target="_self">FactorizedPolynomial</a></td><td class="desc"></td></tr>
<tr id="row_0_220_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d84/a03281.html" target="_self">needs_cache_type< FactorizedPolynomial< P > ></a></td><td class="desc"></td></tr>
<tr id="row_0_221_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/dfa/a03285.html" target="_self">is_factorized_type< FactorizedPolynomial< P > ></a></td><td class="desc"></td></tr>
<tr id="row_0_222_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/d74/a03293.html" target="_self">Factorization</a></td><td class="desc"></td></tr>
<tr id="row_0_223_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d0a/a03297.html" target="_self">PolynomialFactorizationPair</a></td><td class="desc"></td></tr>
<tr id="row_0_224_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/d34/a03305.html" target="_self">RationalFunction</a></td><td class="desc"></td></tr>
<tr id="row_0_225_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/dde/a03313.html" target="_self">Constraint</a></td><td class="desc">Represent a polynomial (in)equality against zero </td></tr>
<tr id="row_0_226_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/ddd/a03317.html" target="_self">CachedConstraintContent</a></td><td class="desc"></td></tr>
<tr id="row_0_227_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d2c/a03333.html" target="_self">BVConstraint</a></td><td class="desc"></td></tr>
<tr id="row_0_228_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/d55/a03341.html" target="_self">BVConstraintPool</a></td><td class="desc"></td></tr>
<tr id="row_0_229_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d55/a03345.html" target="_self">BVTerm</a></td><td class="desc"></td></tr>
<tr id="row_0_230_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/d3a/a03353.html" target="_self">BVUnaryContent</a></td><td class="desc"></td></tr>
<tr id="row_0_231_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/dfd/a03357.html" target="_self">BVBinaryContent</a></td><td class="desc"></td></tr>
<tr id="row_0_232_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d67/a03361.html" target="_self">BVExtractContent</a></td><td class="desc"></td></tr>
<tr id="row_0_233_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d8e/a03377.html" target="_self">BVTermContent</a></td><td class="desc"></td></tr>
<tr id="row_0_234_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/d35/a03385.html" target="_self">BVTermPool</a></td><td class="desc"></td></tr>
<tr id="row_0_235_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/dce/a03389.html" target="_self">BVValue</a></td><td class="desc"></td></tr>
<tr id="row_0_236_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/df1/a03397.html" target="_self">BVVariable</a></td><td class="desc">Represent a BitVector-Variable </td></tr>
<tr id="row_0_237_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d0e/a03405.html" target="_self">Pool</a></td><td class="desc"></td></tr>
<tr id="row_0_238_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/dc8/a03409.html" target="_self">Condition</a></td><td class="desc"></td></tr>
<tr id="row_0_239_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/daa/a03413.html" target="_self">Formula</a></td><td class="desc">Represent an SMT formula, which can be an atom for some background theory or a boolean combination of (sub)formulas </td></tr>
<tr id="row_0_240_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/d9d/a03417.html" target="_self">FormulaPool</a></td><td class="desc"></td></tr>
<tr id="row_0_241_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/d9b/a03429.html" target="_self">QuantifierContent</a></td><td class="desc">Stores the variables and the formula bound by a quantifier </td></tr>
<tr id="row_0_242_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d19/a03433.html" target="_self">FormulaContent</a></td><td class="desc"></td></tr>
<tr id="row_0_243_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/d32/a03453.html" target="_self">Model</a></td><td class="desc">Represent a collection of assignments/mappings from variables to values </td></tr>
<tr id="row_0_244_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/d15/a03457.html" target="_self">ModelFormulaSubstitution</a></td><td class="desc"></td></tr>
<tr id="row_0_245_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d1b/a03461.html" target="_self">ModelMVRootSubstitution</a></td><td class="desc"></td></tr>
<tr id="row_0_246_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/da5/a03465.html" target="_self">ModelPolynomialSubstitution</a></td><td class="desc"></td></tr>
<tr id="row_0_247_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/df7/a03469.html" target="_self">ModelSubstitution</a></td><td class="desc">Represent a expression for a <a class="el" href="d2/d50/a03473.html" title="Represent a sum type/variant over the different kinds of values that can be assigned to the different...">ModelValue</a> with variables as placeholders, where the final expression's value depends on the bindings/values of these variables </td></tr>
<tr id="row_0_248_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/d50/a03473.html" target="_self">ModelValue</a></td><td class="desc">Represent a sum type/variant over the different kinds of values that can be assigned to the different kinds of variables that exist in CARL and to use them in a more uniform way, e.g </td></tr>
<tr id="row_0_249_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/d74/a03477.html" target="_self">InfinityValue</a></td><td class="desc">This class represents infinity or minus infinity, depending on its flag positive </td></tr>
<tr id="row_0_250_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/d8a/a03481.html" target="_self">ModelVariable</a></td><td class="desc">Represent a sum type/variant over the different kinds of variables that exist in CARL to use them in a more uniform way, e.g </td></tr>
<tr id="row_0_251_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d45/a03489.html" target="_self">ModelConditionalSubstitution</a></td><td class="desc"></td></tr>
<tr id="row_0_252_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d04/a03493.html" target="_self">Sort</a></td><td class="desc">Implements a sort (for defining types of variables and functions) </td></tr>
<tr id="row_0_253_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/dbb/a03501.html" target="_self">SortContent</a></td><td class="desc">The actual content of a sort </td></tr>
<tr id="row_0_254_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/dcb/a03505.html" target="_self">SortManager</a></td><td class="desc">Implements a manager for sorts, containing the actual contents of these sort and allocating their ids </td></tr>
<tr id="row_0_255_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/dbe/a03521.html" target="_self">SortValue</a></td><td class="desc">Implements a sort value, being a value of the uninterpreted domain specified by this sort </td></tr>
<tr id="row_0_256_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d33/a03529.html" target="_self">SortValueManager</a></td><td class="desc">Implements a manager for sort values, containing the actual contents of these sort and allocating their ids </td></tr>
<tr id="row_0_257_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/dfa/a03533.html" target="_self">UEquality</a></td><td class="desc">Implements an uninterpreted equality, that is an equality of either two uninterpreted function instances, two uninterpreted variables, or an uninterpreted function instance and an uninterpreted variable </td></tr>
<tr id="row_0_258_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/dd5/a03541.html" target="_self">UFInstance</a></td><td class="desc">Implements an uninterpreted function instance </td></tr>
<tr id="row_0_259_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d72/a03549.html" target="_self">UFInstanceContent</a></td><td class="desc">The actual content of an uninterpreted function instance </td></tr>
<tr id="row_0_260_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d20/a03557.html" target="_self">UFInstanceManager</a></td><td class="desc">Implements a manager for uninterpreted function instances, containing their actual contents and allocating their ids </td></tr>
<tr id="row_0_261_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/df7/a03561.html" target="_self">UFContent</a></td><td class="desc">The actual content of an uninterpreted function instance </td></tr>
<tr id="row_0_262_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d87/a03569.html" target="_self">UFManager</a></td><td class="desc">Implements a manager for uninterpreted functions, containing their actual contents and allocating their ids </td></tr>
<tr id="row_0_263_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/d29/a03573.html" target="_self">UFModel</a></td><td class="desc">Implements a sort value, being a value of the uninterpreted domain specified by this sort </td></tr>
<tr id="row_0_264_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d3e/a03581.html" target="_self">UninterpretedFunction</a></td><td class="desc">Implements an uninterpreted function </td></tr>
<tr id="row_0_265_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/d3c/a03589.html" target="_self">UTerm</a></td><td class="desc">Implements an uninterpreted term, that is either an uninterpreted variable or an uninterpreted function instance </td></tr>
<tr id="row_0_266_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/d3a/a03597.html" target="_self">UVariable</a></td><td class="desc">Implements an uninterpreted variable </td></tr>
<tr id="row_1_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_1_" class="arrow" onclick="toggleFolder('1_')">►</span><span class="icona"><span class="icon">N</span></span><b>std</b></td><td class="desc">STL namespace </td></tr>
<tr id="row_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d7a/a02105.html" target="_self">hash< carl::BasicConstraint< Pol > ></a></td><td class="desc">Implements std::hash for constraints </td></tr>
<tr id="row_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d16/a02109.html" target="_self">hash< std::vector< carl::BasicConstraint< Pol > > ></a></td><td class="desc">Implements std::hash for vectors of constraints </td></tr>
<tr id="row_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/d74/a02137.html" target="_self">hash< carl::Relation ></a></td><td class="desc"></td></tr>
<tr id="row_1_3_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d2d/a02145.html" target="_self">hash< carl::Variable ></a></td><td class="desc">Specialization of <code>std::hash</code> for Variable </td></tr>
<tr id="row_1_4_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d4c/a02165.html" target="_self">hash< carl::MultivariateRoot< Pol > ></a></td><td class="desc"></td></tr>
<tr id="row_1_5_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/d63/a02173.html" target="_self">hash< carl::VariableAssignment< Pol > ></a></td><td class="desc"></td></tr>
<tr id="row_1_6_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/d85/a02181.html" target="_self">hash< carl::VariableComparison< Pol > ></a></td><td class="desc"></td></tr>
<tr id="row_1_7_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/dc1/a02277.html" target="_self">hash< carl::BoundType ></a></td><td class="desc">Specialization of <code>std::hash</code> for BoundType </td></tr>
<tr id="row_1_8_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d4/d16/a02313.html" target="_self">hash< carl::Interval< Number > ></a></td><td class="desc">Specialization of <code>std::hash</code> for an interval </td></tr>
<tr id="row_1_9_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/de0/a02349.html" target="_self">hash< cln::cl_RA ></a></td><td class="desc"></td></tr>
<tr id="row_1_10_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/db9/a02353.html" target="_self">hash< cln::cl_I ></a></td><td class="desc"></td></tr>
<tr id="row_1_11_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d1a/a02381.html" target="_self">hash< carl::FLOAT_T< Number > ></a></td><td class="desc"></td></tr>
<tr id="row_1_12_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/da3/a02385.html" target="_self">numeric_limits< carl::FLOAT_T< Number > ></a></td><td class="desc"></td></tr>
<tr id="row_1_13_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d31/a02405.html" target="_self">hash< mpz_class ></a></td><td class="desc"></td></tr>
<tr id="row_1_14_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d18/a02409.html" target="_self">hash< mpq_class ></a></td><td class="desc"></td></tr>
<tr id="row_1_15_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d69/a02661.html" target="_self">hash< carl::ContextPolynomial< Coeff, Ordering, Policies > ></a></td><td class="desc"></td></tr>
<tr id="row_1_16_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d50/a02725.html" target="_self">equal_to< carl::Monomial::Arg ></a></td><td class="desc"></td></tr>
<tr id="row_1_17_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d01/a02729.html" target="_self">less< carl::Monomial::Arg ></a></td><td class="desc"></td></tr>
<tr id="row_1_18_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d6f/a02733.html" target="_self">hash< carl::Monomial ></a></td><td class="desc">The template specialization of <code>std::hash</code> for <code><a class="el" href="dc/d1d/a02713.html" title="The general-purpose monomials.">carl::Monomial</a></code> </td></tr>
<tr id="row_1_19_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/de8/a02737.html" target="_self">hash< carl::Monomial::Arg ></a></td><td class="desc">The template specialization of <code>std::hash</code> for a shared pointer of a <code><a class="el" href="dc/d1d/a02713.html" title="The general-purpose monomials.">carl::Monomial</a></code> </td></tr>
<tr id="row_1_20_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/d73/a02765.html" target="_self">hash< carl::MultivariatePolynomial< C, O, P > ></a></td><td class="desc">Specialization of <code>std::hash</code> for MultivariatePolynomial </td></tr>
<tr id="row_1_21_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d38/a02789.html" target="_self">hash< carl::Term< Coefficient > ></a></td><td class="desc">Specialization of <code>std::hash</code> for a Term </td></tr>
<tr id="row_1_22_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/d34/a02809.html" target="_self">hash< carl::UnivariatePolynomial< Coefficient > ></a></td><td class="desc">Specialization of <code>std::hash</code> for univariate polynomials </td></tr>
<tr id="row_1_23_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/d85/a02813.html" target="_self">less< carl::UnivariatePolynomial< Coefficient > ></a></td><td class="desc">Specialization of <code>std::less</code> for univariate polynomials </td></tr>
<tr id="row_1_24_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/d4b/a02865.html" target="_self">hash< carl::IntRepRealAlgebraicNumber< Number > ></a></td><td class="desc"></td></tr>
<tr id="row_1_25_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d68/a02885.html" target="_self">hash< carl::RealAlgebraicNumberThom< Number > ></a></td><td class="desc"></td></tr>
<tr id="row_1_26_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d0d/a02929.html" target="_self">hash< carl::SqrtEx< Poly > ></a></td><td class="desc">Implements std::hash for square root expressions </td></tr>
<tr id="row_1_27_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d08/a02957.html" target="_self">hash< carl::Bitset ></a></td><td class="desc"></td></tr>
<tr id="row_1_28_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/de7/a03025.html" target="_self">hash< carl::TypeInfoPair< T, I > ></a></td><td class="desc"></td></tr>
<tr id="row_1_29_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d2a/a03133.html" target="_self">hash< std::vector< T > ></a></td><td class="desc"></td></tr>
<tr id="row_1_30_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d9d/a03289.html" target="_self">hash< carl::FactorizedPolynomial< P > ></a></td><td class="desc"></td></tr>
<tr id="row_1_31_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/d24/a03301.html" target="_self">hash< carl::PolynomialFactorizationPair< P > ></a></td><td class="desc"></td></tr>
<tr id="row_1_32_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d1e/a03309.html" target="_self">hash< carl::RationalFunction< Pol, AS > ></a></td><td class="desc"></td></tr>
<tr id="row_1_33_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d15/a03321.html" target="_self">hash< carl::Constraint< Pol > ></a></td><td class="desc">Implements std::hash for constraints </td></tr>
<tr id="row_1_34_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d12/a03325.html" target="_self">hash< std::vector< carl::Constraint< Pol > > ></a></td><td class="desc">Implements std::hash for vectors of constraints </td></tr>
<tr id="row_1_35_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d5d/a03329.html" target="_self">hash< carl::BVCompareRelation ></a></td><td class="desc"></td></tr>
<tr id="row_1_36_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d5/d83/a03337.html" target="_self">hash< carl::BVConstraint ></a></td><td class="desc">Implements std::hash for bit-vector constraints </td></tr>
<tr id="row_1_37_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/df3/a03349.html" target="_self">hash< carl::BVTerm ></a></td><td class="desc">Implements std::hash for bit vector terms </td></tr>
<tr id="row_1_38_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d13/a03365.html" target="_self">hash< carl::BVUnaryContent ></a></td><td class="desc"></td></tr>
<tr id="row_1_39_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d2/d7f/a03369.html" target="_self">hash< carl::BVBinaryContent ></a></td><td class="desc"></td></tr>
<tr id="row_1_40_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/d60/a03373.html" target="_self">hash< carl::BVExtractContent ></a></td><td class="desc"></td></tr>
<tr id="row_1_41_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d3/d0c/a03381.html" target="_self">hash< carl::BVTermContent ></a></td><td class="desc">Implements std::hash for bit vector term contents </td></tr>
<tr id="row_1_42_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d58/a03393.html" target="_self">hash< carl::BVValue ></a></td><td class="desc">Implements std::hash for bit vector values </td></tr>
<tr id="row_1_43_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/dfd/a03401.html" target="_self">hash< carl::BVVariable ></a></td><td class="desc">Implement std::hash for bitvector variables </td></tr>
<tr id="row_1_44_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/d2c/a03421.html" target="_self">hash< carl::FormulaContent< Pol > ></a></td><td class="desc">Implements std::hash for formula contents </td></tr>
<tr id="row_1_45_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/dfe/a03425.html" target="_self">hash< carl::Formula< Pol > ></a></td><td class="desc">Implements std::hash for formulas </td></tr>
<tr id="row_1_46_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/dc1/a03485.html" target="_self">hash< carl::ModelVariable ></a></td><td class="desc"></td></tr>
<tr id="row_1_47_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/d8f/a03497.html" target="_self">hash< carl::Sort ></a></td><td class="desc">Implements std::hash for sort </td></tr>
<tr id="row_1_48_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d0f/a03525.html" target="_self">hash< carl::SortValue ></a></td><td class="desc">Implements std::hash for sort value </td></tr>
<tr id="row_1_49_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d9/d54/a03537.html" target="_self">hash< carl::UEquality ></a></td><td class="desc">Implements std::hash for uninterpreted equalities </td></tr>
<tr id="row_1_50_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dd/d25/a03545.html" target="_self">hash< carl::UFInstance ></a></td><td class="desc">Implements std::hash for uninterpreted function instances </td></tr>
<tr id="row_1_51_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d1/da6/a03553.html" target="_self">hash< carl::UFInstanceContent ></a></td><td class="desc">Implements std::hash for uninterpreted function instance's contents </td></tr>
<tr id="row_1_52_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/d5d/a03565.html" target="_self">hash< carl::UFContent ></a></td><td class="desc">Implements std::hash for uninterpreted function's contents </td></tr>
<tr id="row_1_53_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="da/df8/a03577.html" target="_self">hash< carl::UFModel ></a></td><td class="desc">Implements std::hash for uninterpreted function model </td></tr>
<tr id="row_1_54_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d0/d92/a03585.html" target="_self">hash< carl::UninterpretedFunction ></a></td><td class="desc">Implements std::hash for uninterpreted functions </td></tr>
<tr id="row_1_55_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d7/d7b/a03593.html" target="_self">hash< carl::UTerm ></a></td><td class="desc">Implements std::hash for uninterpreted terms </td></tr>
<tr id="row_1_56_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d6/d8c/a03601.html" target="_self">hash< carl::UVariable ></a></td><td class="desc">Implements std::hash for uninterpreted variables </td></tr>
<tr id="row_1_57_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="dc/d98/a03805.html" target="_self">hash< carl::vs::Term< Poly > ></a></td><td class="desc"></td></tr>
<tr id="row_2_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="d8/de3/a03817.html" target="_self">ExecuteBenchmarks</a></td><td class="desc"></td></tr>
<tr id="row_3_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="df/d63/a03813.html" target="_self">GbBenchmark</a></td><td class="desc"></td></tr>
<tr id="row_4_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="db/d7a/a02253.html" target="_self">sortByLeadingTerm</a></td><td class="desc">Sorts generators of an ideal by their leading terms </td></tr>
<tr id="row_5_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="de/dad/a02257.html" target="_self">sortByPolSize</a></td><td class="desc">Sorts generators of an ideal by their number of terms </td></tr>
</table>
</div><!-- directory -->
</div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
<ul>
<li class="footer">Generated by <a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.1 </li>
</ul>
</div>
</body>
</html>