-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathglobals_eval.html
487 lines (464 loc) · 23.5 KB
/
globals_eval.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
<!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.8.17"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>Clingo C API: File Members</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="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" />
<link href="clingo.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">Clingo C API
</div>
<div id="projectbrief">C API for clingo providing high level functions to control grounding and solving.</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.17 -->
<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');
/* @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 -->
<!-- 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="contents">
 
<h3><a id="index_a"></a>- a -</h3><ul>
<li>clingo_ast_aggregate_function_count
: <a class="el" href="group__AST.html#gga4c6f53a5d24e1e5de940d72a9a858ab1a7cabc3b10124de352a48dcfd42daa615">clingo.h</a>
</li>
<li>clingo_ast_aggregate_function_max
: <a class="el" href="group__AST.html#gga4c6f53a5d24e1e5de940d72a9a858ab1a8c78e91fb67ea0d902e4070c1425c892">clingo.h</a>
</li>
<li>clingo_ast_aggregate_function_min
: <a class="el" href="group__AST.html#gga4c6f53a5d24e1e5de940d72a9a858ab1a06a10234563cd070d38c3460f4ceb3f1">clingo.h</a>
</li>
<li>clingo_ast_aggregate_function_sum
: <a class="el" href="group__AST.html#gga4c6f53a5d24e1e5de940d72a9a858ab1a821a85354bdfdbe5a7ce4b2f7c979478">clingo.h</a>
</li>
<li>clingo_ast_aggregate_function_sump
: <a class="el" href="group__AST.html#gga4c6f53a5d24e1e5de940d72a9a858ab1a45e83b8376c4876fd2934653928cfddd">clingo.h</a>
</li>
<li>clingo_ast_attribute_type_ast
: <a class="el" href="group__AST.html#gga03ff7ec56b255eca4b8d53a78a308c54ac92844c9e2522fe41889e78573dbeb97">clingo.h</a>
</li>
<li>clingo_ast_attribute_type_ast_array
: <a class="el" href="group__AST.html#gga03ff7ec56b255eca4b8d53a78a308c54aa34cdf51eb41411ceb20df9e7aae4dd4">clingo.h</a>
</li>
<li>clingo_ast_attribute_type_location
: <a class="el" href="group__AST.html#gga03ff7ec56b255eca4b8d53a78a308c54a464f08c55e7ad848fa3aa19a25d34fb2">clingo.h</a>
</li>
<li>clingo_ast_attribute_type_number
: <a class="el" href="group__AST.html#gga03ff7ec56b255eca4b8d53a78a308c54adbb858fd533d7efd6323615bf983e5ca">clingo.h</a>
</li>
<li>clingo_ast_attribute_type_optional_ast
: <a class="el" href="group__AST.html#gga03ff7ec56b255eca4b8d53a78a308c54a8ea6198e5fe6d6ff93f56f0189db3d1e">clingo.h</a>
</li>
<li>clingo_ast_attribute_type_string
: <a class="el" href="group__AST.html#gga03ff7ec56b255eca4b8d53a78a308c54a80d444063c03e78e31a684e1e277f09e">clingo.h</a>
</li>
<li>clingo_ast_attribute_type_string_array
: <a class="el" href="group__AST.html#gga03ff7ec56b255eca4b8d53a78a308c54af9c564d375f60a066224019bf28cf024">clingo.h</a>
</li>
<li>clingo_ast_attribute_type_symbol
: <a class="el" href="group__AST.html#gga03ff7ec56b255eca4b8d53a78a308c54ad87be95f7da997598d34c81dac1f9890">clingo.h</a>
</li>
</ul>
<h3><a id="index_b"></a>- b -</h3><ul>
<li>clingo_ast_binary_operator_and
: <a class="el" href="group__AST.html#gga0da82bf65db27c03e50a6ec3f4086e30a10307977505351a932344418d38b4bc2">clingo.h</a>
</li>
<li>clingo_ast_binary_operator_division
: <a class="el" href="group__AST.html#gga0da82bf65db27c03e50a6ec3f4086e30aeee2fe1039577ad50f89253b899f953f">clingo.h</a>
</li>
<li>clingo_ast_binary_operator_minus
: <a class="el" href="group__AST.html#gga0da82bf65db27c03e50a6ec3f4086e30a19ba38da0595a41e2ca39233e27866ec">clingo.h</a>
</li>
<li>clingo_ast_binary_operator_modulo
: <a class="el" href="group__AST.html#gga0da82bf65db27c03e50a6ec3f4086e30aa23d07903ca11f0d08c13e7f070edbd0">clingo.h</a>
</li>
<li>clingo_ast_binary_operator_multiplication
: <a class="el" href="group__AST.html#gga0da82bf65db27c03e50a6ec3f4086e30ad09197886ccabe60f0452280e72336fe">clingo.h</a>
</li>
<li>clingo_ast_binary_operator_or
: <a class="el" href="group__AST.html#gga0da82bf65db27c03e50a6ec3f4086e30aa8756a70a0342b3c7f964871400a797c">clingo.h</a>
</li>
<li>clingo_ast_binary_operator_plus
: <a class="el" href="group__AST.html#gga0da82bf65db27c03e50a6ec3f4086e30ab1b13993d2103cfb1c86a5281a81cad3">clingo.h</a>
</li>
<li>clingo_ast_binary_operator_power
: <a class="el" href="group__AST.html#gga0da82bf65db27c03e50a6ec3f4086e30a5e36ae24a63dcd9a936c1c0833a3f979">clingo.h</a>
</li>
<li>clingo_ast_binary_operator_xor
: <a class="el" href="group__AST.html#gga0da82bf65db27c03e50a6ec3f4086e30a1847709cb0490b7c7f1da495dc949a7e">clingo.h</a>
</li>
</ul>
<h3><a id="index_c"></a>- c -</h3><ul>
<li>clingo_ast_comparison_operator_equal
: <a class="el" href="group__AST.html#gga51239cc5b95da677a0f26966913adfb4a7475906866610deab807ed69755b88d2">clingo.h</a>
</li>
<li>clingo_ast_comparison_operator_greater_equal
: <a class="el" href="group__AST.html#gga51239cc5b95da677a0f26966913adfb4a41eaa30a90c4fdfd2458550d7bda43b2">clingo.h</a>
</li>
<li>clingo_ast_comparison_operator_greater_than
: <a class="el" href="group__AST.html#gga51239cc5b95da677a0f26966913adfb4ac11eb5069b75f11253c0a71838ec01a3">clingo.h</a>
</li>
<li>clingo_ast_comparison_operator_less_equal
: <a class="el" href="group__AST.html#gga51239cc5b95da677a0f26966913adfb4a602b0230b6e966321086e4e771c4ff14">clingo.h</a>
</li>
<li>clingo_ast_comparison_operator_less_than
: <a class="el" href="group__AST.html#gga51239cc5b95da677a0f26966913adfb4a2c28939b9c3eb2be54ba7bedb184af57">clingo.h</a>
</li>
<li>clingo_ast_comparison_operator_not_equal
: <a class="el" href="group__AST.html#gga51239cc5b95da677a0f26966913adfb4addc6633728e1fc2534ab77d8856b21f1">clingo.h</a>
</li>
<li>clingo_clause_type_learnt
: <a class="el" href="group__Propagator.html#ggac97452376bdf24c42dc27a5738445b35a35c9cfe61e2130b0292866860218ee58">clingo.h</a>
</li>
<li>clingo_clause_type_static
: <a class="el" href="group__Propagator.html#ggac97452376bdf24c42dc27a5738445b35aa2c3713451094ee97afb514312822cbc">clingo.h</a>
</li>
<li>clingo_clause_type_volatile
: <a class="el" href="group__Propagator.html#ggac97452376bdf24c42dc27a5738445b35a685f2488ec3067d910c57b5c2fbdb96d">clingo.h</a>
</li>
<li>clingo_clause_type_volatile_static
: <a class="el" href="group__Propagator.html#ggac97452376bdf24c42dc27a5738445b35acbc856b61916be9757c7bd9f231f0c03">clingo.h</a>
</li>
<li>clingo_configuration_type_array
: <a class="el" href="group__Configuration.html#ggade7f5a08a2fecad591df4fb9a8090431a774fe9fe60872f2d2418dde97fc3c6fa">clingo.h</a>
</li>
<li>clingo_configuration_type_map
: <a class="el" href="group__Configuration.html#ggade7f5a08a2fecad591df4fb9a8090431a4c5211be109b64361373c40ca61e9e0f">clingo.h</a>
</li>
<li>clingo_configuration_type_value
: <a class="el" href="group__Configuration.html#ggade7f5a08a2fecad591df4fb9a8090431aac81ac118558aca24a61f668dee17450">clingo.h</a>
</li>
</ul>
<h3><a id="index_e"></a>- e -</h3><ul>
<li>clingo_error_bad_alloc
: <a class="el" href="group__BasicTypes.html#ggaebdf91a4187db9abdd2c6ceb971cf13eaa14a0926eb3e653fcc13299b33d8d348">clingo.h</a>
</li>
<li>clingo_error_logic
: <a class="el" href="group__BasicTypes.html#ggaebdf91a4187db9abdd2c6ceb971cf13ea4aa101607590cdc8b4597d7c05e5f3af">clingo.h</a>
</li>
<li>clingo_error_runtime
: <a class="el" href="group__BasicTypes.html#ggaebdf91a4187db9abdd2c6ceb971cf13eaf43eebc9503fef8d1b2b85f99bb63221">clingo.h</a>
</li>
<li>clingo_error_success
: <a class="el" href="group__BasicTypes.html#ggaebdf91a4187db9abdd2c6ceb971cf13eaabdc3ab9fa6ed5f2b9032f8dfb2303e2">clingo.h</a>
</li>
<li>clingo_error_unknown
: <a class="el" href="group__BasicTypes.html#ggaebdf91a4187db9abdd2c6ceb971cf13eaf0ac62d4f86f97849bc7fd25dbbfb676">clingo.h</a>
</li>
<li>clingo_external_type_false
: <a class="el" href="group__ProgramInspection.html#gga66003e1c5b864b41a569b39e120cec18aa456c48e83b159db4b28d6b3924a16b8">clingo.h</a>
</li>
<li>clingo_external_type_free
: <a class="el" href="group__ProgramInspection.html#gga66003e1c5b864b41a569b39e120cec18a475c9c8288d9ad4437bb7d6b4cc703e5">clingo.h</a>
</li>
<li>clingo_external_type_release
: <a class="el" href="group__ProgramInspection.html#gga66003e1c5b864b41a569b39e120cec18aaa8a481558b9b9a4fc89016c6e94b117">clingo.h</a>
</li>
<li>clingo_external_type_true
: <a class="el" href="group__ProgramInspection.html#gga66003e1c5b864b41a569b39e120cec18a5182f96c94477b5ce7c669218bb6070b">clingo.h</a>
</li>
</ul>
<h3><a id="index_h"></a>- h -</h3><ul>
<li>clingo_heuristic_type_factor
: <a class="el" href="group__ProgramInspection.html#gga1283342a922201778f9729a453d97524a8987b24f9738e211ff933e0863f8327d">clingo.h</a>
</li>
<li>clingo_heuristic_type_false
: <a class="el" href="group__ProgramInspection.html#gga1283342a922201778f9729a453d97524a07e1bf4703553a1ed8fcd388b80fa5cc">clingo.h</a>
</li>
<li>clingo_heuristic_type_init
: <a class="el" href="group__ProgramInspection.html#gga1283342a922201778f9729a453d97524a11307df0595c1e261a8e2421bd7a6046">clingo.h</a>
</li>
<li>clingo_heuristic_type_level
: <a class="el" href="group__ProgramInspection.html#gga1283342a922201778f9729a453d97524a8eeb163846c75b11de9af6772438303a">clingo.h</a>
</li>
<li>clingo_heuristic_type_sign
: <a class="el" href="group__ProgramInspection.html#gga1283342a922201778f9729a453d97524a922b4061aafa6239fb15a0985c2a3ae9">clingo.h</a>
</li>
<li>clingo_heuristic_type_true
: <a class="el" href="group__ProgramInspection.html#gga1283342a922201778f9729a453d97524a33a18c2fb9533de0a036e40b5cfe95ed">clingo.h</a>
</li>
</ul>
<h3><a id="index_m"></a>- m -</h3><ul>
<li>clingo_model_type_brave_consequences
: <a class="el" href="group__Model.html#gga2a8b4c9ddcd63dcfd57a61d1aa9bd77aa6a84892300ae13401572c5b5a9bd69db">clingo.h</a>
</li>
<li>clingo_model_type_cautious_consequences
: <a class="el" href="group__Model.html#gga2a8b4c9ddcd63dcfd57a61d1aa9bd77aa4ae425fae120bbeb34c5f983833b66d7">clingo.h</a>
</li>
<li>clingo_model_type_stable_model
: <a class="el" href="group__Model.html#gga2a8b4c9ddcd63dcfd57a61d1aa9bd77aa26c979a76b39d052f9e4475b5479bbdf">clingo.h</a>
</li>
</ul>
<h3><a id="index_p"></a>- p -</h3><ul>
<li>clingo_propagator_check_mode_both
: <a class="el" href="group__Propagator.html#ggac545027859304086eb5898b958908344a0ad38faf5f0e3cea772beab9f2197095">clingo.h</a>
</li>
<li>clingo_propagator_check_mode_fixpoint
: <a class="el" href="group__Propagator.html#ggac545027859304086eb5898b958908344aa161d549a95b92c1ebd985834f34deb6">clingo.h</a>
</li>
<li>clingo_propagator_check_mode_none
: <a class="el" href="group__Propagator.html#ggac545027859304086eb5898b958908344a4c6eae45ff39bc7aa2327316f7ca2e84">clingo.h</a>
</li>
<li>clingo_propagator_check_mode_total
: <a class="el" href="group__Propagator.html#ggac545027859304086eb5898b958908344ab1341dec2c650a029030c3da5d75af44">clingo.h</a>
</li>
</ul>
<h3><a id="index_s"></a>- s -</h3><ul>
<li>clingo_ast_sign_double_negation
: <a class="el" href="group__AST.html#gga6e364e06578fa662c56ded83b6bf14d6aeed20848d4e4814a5ade13450b26af72">clingo.h</a>
</li>
<li>clingo_ast_sign_negation
: <a class="el" href="group__AST.html#gga6e364e06578fa662c56ded83b6bf14d6acc5338ca6b8b0188a6def77dc0292741">clingo.h</a>
</li>
<li>clingo_ast_sign_no_sign
: <a class="el" href="group__AST.html#gga6e364e06578fa662c56ded83b6bf14d6a181102f5331f8352f4f603f81010269d">clingo.h</a>
</li>
<li>clingo_show_type_all
: <a class="el" href="group__Model.html#gga72e8ba23a84af09dfd93739ebaa6ecf8ac551bc7db5006075983eb6d458afb5e7">clingo.h</a>
</li>
<li>clingo_show_type_atoms
: <a class="el" href="group__Model.html#gga72e8ba23a84af09dfd93739ebaa6ecf8ae4881b426be40132ce254553a1f7c78e">clingo.h</a>
</li>
<li>clingo_show_type_complement
: <a class="el" href="group__Model.html#gga72e8ba23a84af09dfd93739ebaa6ecf8a764756fce5bfb41ba2d3bf23c4c85e09">clingo.h</a>
</li>
<li>clingo_show_type_shown
: <a class="el" href="group__Model.html#gga72e8ba23a84af09dfd93739ebaa6ecf8a82a698ef41cd919cb370d22fc0b44826">clingo.h</a>
</li>
<li>clingo_show_type_terms
: <a class="el" href="group__Model.html#gga72e8ba23a84af09dfd93739ebaa6ecf8a25cc3101d9085b55be080510077c11cb">clingo.h</a>
</li>
<li>clingo_show_type_theory
: <a class="el" href="group__Model.html#gga72e8ba23a84af09dfd93739ebaa6ecf8a16c45c043dc9a4220d77476c6fb372cb">clingo.h</a>
</li>
<li>clingo_solve_event_type_finish
: <a class="el" href="group__SolveHandle.html#gga988c4d39df7949f444f1507896e97450a43118d2a22d1f7ba21f7928811ebca84">clingo.h</a>
</li>
<li>clingo_solve_event_type_model
: <a class="el" href="group__SolveHandle.html#gga988c4d39df7949f444f1507896e97450aabf74b9cf7272e4ec7a0f30191ea1ee8">clingo.h</a>
</li>
<li>clingo_solve_event_type_statistics
: <a class="el" href="group__SolveHandle.html#gga988c4d39df7949f444f1507896e97450a9070101cdf688b8f2ba6e2f968088746">clingo.h</a>
</li>
<li>clingo_solve_event_type_unsat
: <a class="el" href="group__SolveHandle.html#gga988c4d39df7949f444f1507896e97450a0c8e686296fba330b078201c31ad0b78">clingo.h</a>
</li>
<li>clingo_solve_mode_async
: <a class="el" href="group__SolveHandle.html#gga63eb87834deebecdf9c799d64a3c65a2af5a772f277ce9f5bcc442502033ddee5">clingo.h</a>
</li>
<li>clingo_solve_mode_yield
: <a class="el" href="group__SolveHandle.html#gga63eb87834deebecdf9c799d64a3c65a2a60a9c133be636e68a7d02680c8b9d47e">clingo.h</a>
</li>
<li>clingo_solve_result_exhausted
: <a class="el" href="group__Control.html#gga152eeb260a8162fbf9bc432a1b912bc7a9f6904e39554c1bb16e2339fd534eafd">clingo.h</a>
</li>
<li>clingo_solve_result_interrupted
: <a class="el" href="group__Control.html#gga152eeb260a8162fbf9bc432a1b912bc7a9f32a002b3f8a88c6ca4e347e91af1eb">clingo.h</a>
</li>
<li>clingo_solve_result_satisfiable
: <a class="el" href="group__Control.html#gga152eeb260a8162fbf9bc432a1b912bc7ae71ed354490afbb3b9c6d6ea9d20910d">clingo.h</a>
</li>
<li>clingo_solve_result_unsatisfiable
: <a class="el" href="group__Control.html#gga152eeb260a8162fbf9bc432a1b912bc7a313b2d51ea0b84abc2cd28e44d98be77">clingo.h</a>
</li>
<li>clingo_statistics_type_array
: <a class="el" href="group__Statistics.html#gga7f0cda11d4209314dcdccb83275555faaf019ec1d66b02aed35f248adbca1ec78">clingo.h</a>
</li>
<li>clingo_statistics_type_empty
: <a class="el" href="group__Statistics.html#gga7f0cda11d4209314dcdccb83275555faaf4631936f82edb3ca0f61ef6224cc694">clingo.h</a>
</li>
<li>clingo_statistics_type_map
: <a class="el" href="group__Statistics.html#gga7f0cda11d4209314dcdccb83275555faaebbd4de02271d79efb38fd3a6a640178">clingo.h</a>
</li>
<li>clingo_statistics_type_value
: <a class="el" href="group__Statistics.html#gga7f0cda11d4209314dcdccb83275555faafb64d43d4fb5619ff9b23a10d4a9d6a2">clingo.h</a>
</li>
<li>clingo_symbol_type_function
: <a class="el" href="group__Symbols.html#gga6a10b046b6426fd2955dfa72e266faaba5dc2205be475548ab5e33b1f8156b38c">clingo.h</a>
</li>
<li>clingo_symbol_type_infimum
: <a class="el" href="group__Symbols.html#gga6a10b046b6426fd2955dfa72e266faabaa67c716e8002666c3fb216fc8358041d">clingo.h</a>
</li>
<li>clingo_symbol_type_number
: <a class="el" href="group__Symbols.html#gga6a10b046b6426fd2955dfa72e266faaba498cb34a333861a9ba21ffd6ede7b2b7">clingo.h</a>
</li>
<li>clingo_symbol_type_string
: <a class="el" href="group__Symbols.html#gga6a10b046b6426fd2955dfa72e266faaba57a870e8808b0f3329df368878b7733c">clingo.h</a>
</li>
<li>clingo_symbol_type_supremum
: <a class="el" href="group__Symbols.html#gga6a10b046b6426fd2955dfa72e266faaba6ad9a95a9ec5fde1e6078ebae2fa3b48">clingo.h</a>
</li>
</ul>
<h3><a id="index_t"></a>- t -</h3><ul>
<li>clingo_ast_theory_atom_definition_type_any
: <a class="el" href="group__AST.html#gga941e59ecb9e34d38d51c1b106990bb36a12e17d8995a158338db28393129d1fa0">clingo.h</a>
</li>
<li>clingo_ast_theory_atom_definition_type_body
: <a class="el" href="group__AST.html#gga941e59ecb9e34d38d51c1b106990bb36acacba42d91e5f86c947bc1355b8b8371">clingo.h</a>
</li>
<li>clingo_ast_theory_atom_definition_type_directive
: <a class="el" href="group__AST.html#gga941e59ecb9e34d38d51c1b106990bb36ae8efd2ac1fd46d4ffa89867aa9f5b978">clingo.h</a>
</li>
<li>clingo_ast_theory_atom_definition_type_head
: <a class="el" href="group__AST.html#gga941e59ecb9e34d38d51c1b106990bb36a7018d5b1b963e925449b38dd2f607dca">clingo.h</a>
</li>
<li>clingo_ast_theory_operator_type_binary_left
: <a class="el" href="group__AST.html#gga498cc255b209c20a3b65c2fb566f73e2a8ec22c460099b95d5e22e7ceb7efee5a">clingo.h</a>
</li>
<li>clingo_ast_theory_operator_type_binary_right
: <a class="el" href="group__AST.html#gga498cc255b209c20a3b65c2fb566f73e2a96e4a8184ad317373721eeb28483a82f">clingo.h</a>
</li>
<li>clingo_ast_theory_operator_type_unary
: <a class="el" href="group__AST.html#gga498cc255b209c20a3b65c2fb566f73e2a5dd59e2caecd269938776f55338b3527">clingo.h</a>
</li>
<li>clingo_ast_theory_sequence_type_list
: <a class="el" href="group__AST.html#gga34f6477339bb9ff276051f249448ac2ca7435b549beb578d50b76ab42d7384a7a">clingo.h</a>
</li>
<li>clingo_ast_theory_sequence_type_set
: <a class="el" href="group__AST.html#gga34f6477339bb9ff276051f249448ac2cac9c3320182d029b556524409eea7e8ed">clingo.h</a>
</li>
<li>clingo_ast_theory_sequence_type_tuple
: <a class="el" href="group__AST.html#gga34f6477339bb9ff276051f249448ac2ca1af2f58409f08156cb9d670d72e808ea">clingo.h</a>
</li>
<li>clingo_theory_sequence_type_list
: <a class="el" href="group__ProgramBuilder.html#ggaacc66378b792734156ff72a390ced0eba356a4f2d4d957e2096d210bbb540f829">clingo.h</a>
</li>
<li>clingo_theory_sequence_type_set
: <a class="el" href="group__ProgramBuilder.html#ggaacc66378b792734156ff72a390ced0ebaf6919737ecbc3bddaf95b638bab8baca">clingo.h</a>
</li>
<li>clingo_theory_sequence_type_tuple
: <a class="el" href="group__ProgramBuilder.html#ggaacc66378b792734156ff72a390ced0eba616c96969f88655a36be8cd5fafa4c1f">clingo.h</a>
</li>
<li>clingo_theory_term_type_function
: <a class="el" href="group__TheoryAtoms.html#gga77618345e49b0b01e1574a74d24d2131adc14689230dbdfd94d9be8df9e7208bf">clingo.h</a>
</li>
<li>clingo_theory_term_type_list
: <a class="el" href="group__TheoryAtoms.html#gga77618345e49b0b01e1574a74d24d2131abb6c5bd925d8cd37716bd726f55bb0cd">clingo.h</a>
</li>
<li>clingo_theory_term_type_number
: <a class="el" href="group__TheoryAtoms.html#gga77618345e49b0b01e1574a74d24d2131ad0c262476504dc048e305e2ee6b821d5">clingo.h</a>
</li>
<li>clingo_theory_term_type_set
: <a class="el" href="group__TheoryAtoms.html#gga77618345e49b0b01e1574a74d24d2131a543b532b0188c59fd32979cd98cacf87">clingo.h</a>
</li>
<li>clingo_theory_term_type_symbol
: <a class="el" href="group__TheoryAtoms.html#gga77618345e49b0b01e1574a74d24d2131a037a84ef958a56e5bf4a4a7104d86c7f">clingo.h</a>
</li>
<li>clingo_theory_term_type_tuple
: <a class="el" href="group__TheoryAtoms.html#gga77618345e49b0b01e1574a74d24d2131af9813c31a46f23fad25070594459573e">clingo.h</a>
</li>
<li>clingo_truth_value_false
: <a class="el" href="group__BasicTypes.html#ggac6094190b006063cdb8ea4d5d2ca685da2ac4886c8ca9dfd7f0d70cd24e07cf52">clingo.h</a>
</li>
<li>clingo_truth_value_free
: <a class="el" href="group__BasicTypes.html#ggac6094190b006063cdb8ea4d5d2ca685daacc9d89f5d784e0d92895cfbcd6d6f6b">clingo.h</a>
</li>
<li>clingo_truth_value_true
: <a class="el" href="group__BasicTypes.html#ggac6094190b006063cdb8ea4d5d2ca685da304e39ab32ecb495a7a13626a3125276">clingo.h</a>
</li>
</ul>
<h3><a id="index_u"></a>- u -</h3><ul>
<li>clingo_ast_unary_operator_absolute
: <a class="el" href="group__AST.html#gga0e98bd7fd32b3eb89d072718dc55e000a46f98ef4d127dfdeb4ab82c8c6c96e82">clingo.h</a>
</li>
<li>clingo_ast_unary_operator_minus
: <a class="el" href="group__AST.html#gga0e98bd7fd32b3eb89d072718dc55e000a9e9cb72aadad43f5e98a32b7abcfa6ba">clingo.h</a>
</li>
<li>clingo_ast_unary_operator_negation
: <a class="el" href="group__AST.html#gga0e98bd7fd32b3eb89d072718dc55e000a9bd9f23d5a840ed3cc68c066ccab2a74">clingo.h</a>
</li>
<li>clingo_ast_unpool_type_all
: <a class="el" href="group__AST.html#gga494b9e30172d11fd9c1848d6de977046a957e061965dfcf2570b90d79ec41f5a0">clingo.h</a>
</li>
<li>clingo_ast_unpool_type_condition
: <a class="el" href="group__AST.html#gga494b9e30172d11fd9c1848d6de977046a83afe583bbe6cae9c83fdd8fdf51d38f">clingo.h</a>
</li>
<li>clingo_ast_unpool_type_other
: <a class="el" href="group__AST.html#gga494b9e30172d11fd9c1848d6de977046ae7bda5069dc10f55c576b91c326470ee">clingo.h</a>
</li>
</ul>
<h3><a id="index_w"></a>- w -</h3><ul>
<li>clingo_warning_atom_undefined
: <a class="el" href="group__BasicTypes.html#gga5bfaf75499dbb099c598b877c981b770a3cdd17d02e6c770c0a9580dc42bc769b">clingo.h</a>
</li>
<li>clingo_warning_file_included
: <a class="el" href="group__BasicTypes.html#gga5bfaf75499dbb099c598b877c981b770a9e90a7846008b78e00916d6a5ba44e81">clingo.h</a>
</li>
<li>clingo_warning_global_variable
: <a class="el" href="group__BasicTypes.html#gga5bfaf75499dbb099c598b877c981b770af2b915599883a729338648b1dc714412">clingo.h</a>
</li>
<li>clingo_warning_operation_undefined
: <a class="el" href="group__BasicTypes.html#gga5bfaf75499dbb099c598b877c981b770ae92ff83974bba289245d1653de911e94">clingo.h</a>
</li>
<li>clingo_warning_other
: <a class="el" href="group__BasicTypes.html#gga5bfaf75499dbb099c598b877c981b770ab8b72c67ad8a5de2b941ff19ae0ea9d9">clingo.h</a>
</li>
<li>clingo_warning_runtime_error
: <a class="el" href="group__BasicTypes.html#gga5bfaf75499dbb099c598b877c981b770abce4cd7a1612deb2227527906c978f83">clingo.h</a>
</li>
<li>clingo_warning_variable_unbounded
: <a class="el" href="group__BasicTypes.html#gga5bfaf75499dbb099c598b877c981b770ad66e82f4761fbe55ef734b70c8d51194">clingo.h</a>
</li>
<li>clingo_weight_constraint_type_equivalence
: <a class="el" href="group__Propagator.html#ggafd7a9975a29612113328f5912fcb0b9dacf29168d4f935b595f5af3f13438c6af">clingo.h</a>
</li>
<li>clingo_weight_constraint_type_implication_left
: <a class="el" href="group__Propagator.html#ggafd7a9975a29612113328f5912fcb0b9daabacf78165100ec1db495fcd8ce77fcd">clingo.h</a>
</li>
<li>clingo_weight_constraint_type_implication_right
: <a class="el" href="group__Propagator.html#ggafd7a9975a29612113328f5912fcb0b9da0b8f7bc23cef691d9631c347a26ba74e">clingo.h</a>
</li>
</ul>
</div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Fri Sep 16 2022 19:52:36 for Clingo C API by  <a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.8.17
</small></address>
</body>
</html>