forked from potassco/potassco.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathgroup__AST.html
598 lines (594 loc) · 60.8 KB
/
group__AST.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
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://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.13"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>Clingo C API: Abstract Syntax Trees</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.13 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
<script type="text/javascript" src="menudata.js"></script>
<script type="text/javascript" src="menu.js"></script>
<script type="text/javascript">
$(function() {
initMenu('',true,false,'search.php','Search');
$(document).ready(function() { init_search(); });
});
</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="header">
<div class="summary">
<a href="#nested-classes">Classes</a> |
<a href="#typedef-members">Typedefs</a> |
<a href="#enum-members">Enumerations</a> |
<a href="#func-members">Functions</a> </div>
<div class="headertitle">
<div class="title">Abstract Syntax Trees</div> </div>
</div><!--header-->
<div class="contents">
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
<p>Functions and data structures to work with program ASTs. </p>
<dl class="section warning"><dt>Warning</dt><dd>There might still be changes to this part of the API and there is not much documentation yet. In its current form the interface is rather large but has the advantage that the structure of a logic program is (hopefully) self-explanatory. The API could also be much reduced by, for example, just providing one node type as done in <a href="https://potassco.org/clingo/python-api/current/clingo.html">clingo's python API</a>. <a href="https://github.com/potassco/clingo/issues">Feedback would be very welcome!</a></dd></dl>
<p>For an example, see <a class="el" href="ast_8c-example.html">ast.c</a>. </p>
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
Classes</h2></td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__term.html">clingo_ast_term</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__unary__operation.html">clingo_ast_unary_operation</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__binary__operation.html">clingo_ast_binary_operation</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__interval.html">clingo_ast_interval</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__function.html">clingo_ast_function</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__pool.html">clingo_ast_pool</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__csp__product__term.html">clingo_ast_csp_product_term</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__csp__sum__term.html">clingo_ast_csp_sum_term</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__csp__guard.html">clingo_ast_csp_guard</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__csp__literal.html">clingo_ast_csp_literal</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__id.html">clingo_ast_id</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__comparison.html">clingo_ast_comparison</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__literal.html">clingo_ast_literal</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__aggregate__guard.html">clingo_ast_aggregate_guard</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__conditional__literal.html">clingo_ast_conditional_literal</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__aggregate.html">clingo_ast_aggregate</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__body__aggregate__element.html">clingo_ast_body_aggregate_element</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__body__aggregate.html">clingo_ast_body_aggregate</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__head__aggregate__element.html">clingo_ast_head_aggregate_element</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__head__aggregate.html">clingo_ast_head_aggregate</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__disjunction.html">clingo_ast_disjunction</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__disjoint__element.html">clingo_ast_disjoint_element</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__disjoint.html">clingo_ast_disjoint</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__theory__term.html">clingo_ast_theory_term</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__theory__term__array.html">clingo_ast_theory_term_array</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__theory__function.html">clingo_ast_theory_function</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__theory__unparsed__term__element.html">clingo_ast_theory_unparsed_term_element</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__theory__unparsed__term.html">clingo_ast_theory_unparsed_term</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__theory__atom__element.html">clingo_ast_theory_atom_element</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__theory__guard.html">clingo_ast_theory_guard</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__theory__atom.html">clingo_ast_theory_atom</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__head__literal.html">clingo_ast_head_literal</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__body__literal.html">clingo_ast_body_literal</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__theory__operator__definition.html">clingo_ast_theory_operator_definition</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__theory__term__definition.html">clingo_ast_theory_term_definition</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__theory__guard__definition.html">clingo_ast_theory_guard_definition</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__theory__atom__definition.html">clingo_ast_theory_atom_definition</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__theory__definition.html">clingo_ast_theory_definition</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__rule.html">clingo_ast_rule</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__definition.html">clingo_ast_definition</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__show__signature.html">clingo_ast_show_signature</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__show__term.html">clingo_ast_show_term</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__minimize.html">clingo_ast_minimize</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__script.html">clingo_ast_script</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__program.html">clingo_ast_program</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__external.html">clingo_ast_external</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__edge.html">clingo_ast_edge</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__heuristic.html">clingo_ast_heuristic</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__project.html">clingo_ast_project</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__ast__statement.html">clingo_ast_statement</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="typedef-members"></a>
Typedefs</h2></td></tr>
<tr class="memitem:ga53874fdabc851b1d5c5ca4f448bb4e03"><td class="memItemLeft" align="right" valign="top"><a id="ga53874fdabc851b1d5c5ca4f448bb4e03"></a>
typedef int </td><td class="memItemRight" valign="bottom"><b>clingo_ast_comparison_operator_t</b></td></tr>
<tr class="separator:ga53874fdabc851b1d5c5ca4f448bb4e03"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gae8522c8f3bc817578d84bebaac4f8ffe"><td class="memItemLeft" align="right" valign="top"><a id="gae8522c8f3bc817578d84bebaac4f8ffe"></a>
typedef int </td><td class="memItemRight" valign="bottom"><b>clingo_ast_sign_t</b></td></tr>
<tr class="separator:gae8522c8f3bc817578d84bebaac4f8ffe"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga78f94a0924a91cba2218f04c51520d7e"><td class="memItemLeft" align="right" valign="top"><a id="ga78f94a0924a91cba2218f04c51520d7e"></a>
typedef int </td><td class="memItemRight" valign="bottom"><b>clingo_ast_term_type_t</b></td></tr>
<tr class="separator:ga78f94a0924a91cba2218f04c51520d7e"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga7b5db41a52eff94c15d884d38b74801b"><td class="memItemLeft" align="right" valign="top"><a id="ga7b5db41a52eff94c15d884d38b74801b"></a>
typedef struct <a class="el" href="structclingo__ast__unary__operation.html">clingo_ast_unary_operation</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_unary_operation_t</b></td></tr>
<tr class="separator:ga7b5db41a52eff94c15d884d38b74801b"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga4860251b75164ac9fa5be27a7f1c68b0"><td class="memItemLeft" align="right" valign="top"><a id="ga4860251b75164ac9fa5be27a7f1c68b0"></a>
typedef struct <a class="el" href="structclingo__ast__binary__operation.html">clingo_ast_binary_operation</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_binary_operation_t</b></td></tr>
<tr class="separator:ga4860251b75164ac9fa5be27a7f1c68b0"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gac1d5b39de9ae4eb24eb6394612bdd29d"><td class="memItemLeft" align="right" valign="top"><a id="gac1d5b39de9ae4eb24eb6394612bdd29d"></a>
typedef struct <a class="el" href="structclingo__ast__interval.html">clingo_ast_interval</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_interval_t</b></td></tr>
<tr class="separator:gac1d5b39de9ae4eb24eb6394612bdd29d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gadc2e2ebbb9c7f702d84916872829ed0a"><td class="memItemLeft" align="right" valign="top"><a id="gadc2e2ebbb9c7f702d84916872829ed0a"></a>
typedef struct <a class="el" href="structclingo__ast__function.html">clingo_ast_function</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_function_t</b></td></tr>
<tr class="separator:gadc2e2ebbb9c7f702d84916872829ed0a"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaa5aedbd1b3075d92a1f1571e82052bd4"><td class="memItemLeft" align="right" valign="top"><a id="gaa5aedbd1b3075d92a1f1571e82052bd4"></a>
typedef struct <a class="el" href="structclingo__ast__pool.html">clingo_ast_pool</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_pool_t</b></td></tr>
<tr class="separator:gaa5aedbd1b3075d92a1f1571e82052bd4"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga3c364c69669919d33ec39c36af633144"><td class="memItemLeft" align="right" valign="top"><a id="ga3c364c69669919d33ec39c36af633144"></a>
typedef struct <a class="el" href="structclingo__ast__term.html">clingo_ast_term</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_term_t</b></td></tr>
<tr class="separator:ga3c364c69669919d33ec39c36af633144"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaba7f49dafe441c64e78266df11d7069d"><td class="memItemLeft" align="right" valign="top"><a id="gaba7f49dafe441c64e78266df11d7069d"></a>
typedef int </td><td class="memItemRight" valign="bottom"><b>clingo_ast_unary_operator_t</b></td></tr>
<tr class="separator:gaba7f49dafe441c64e78266df11d7069d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga9428625243531cd2305a1621f7a3f0c9"><td class="memItemLeft" align="right" valign="top"><a id="ga9428625243531cd2305a1621f7a3f0c9"></a>
typedef int </td><td class="memItemRight" valign="bottom"><b>clingo_ast_binary_operator_t</b></td></tr>
<tr class="separator:ga9428625243531cd2305a1621f7a3f0c9"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gacdd4e5f8dc6aed647d7aad56d15c5b62"><td class="memItemLeft" align="right" valign="top"><a id="gacdd4e5f8dc6aed647d7aad56d15c5b62"></a>
typedef struct <a class="el" href="structclingo__ast__csp__product__term.html">clingo_ast_csp_product_term</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_csp_product_term_t</b></td></tr>
<tr class="separator:gacdd4e5f8dc6aed647d7aad56d15c5b62"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gad6810a28335ac5c7c8e879549f2c13d0"><td class="memItemLeft" align="right" valign="top"><a id="gad6810a28335ac5c7c8e879549f2c13d0"></a>
typedef struct <a class="el" href="structclingo__ast__csp__sum__term.html">clingo_ast_csp_sum_term</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_csp_sum_term_t</b></td></tr>
<tr class="separator:gad6810a28335ac5c7c8e879549f2c13d0"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaff8c8e12a80b9efa0ef0652f7a502e77"><td class="memItemLeft" align="right" valign="top"><a id="gaff8c8e12a80b9efa0ef0652f7a502e77"></a>
typedef struct <a class="el" href="structclingo__ast__csp__guard.html">clingo_ast_csp_guard</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_csp_guard_t</b></td></tr>
<tr class="separator:gaff8c8e12a80b9efa0ef0652f7a502e77"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gab2dcb9409b758a9c34689d01533dabee"><td class="memItemLeft" align="right" valign="top"><a id="gab2dcb9409b758a9c34689d01533dabee"></a>
typedef struct <a class="el" href="structclingo__ast__csp__literal.html">clingo_ast_csp_literal</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_csp_literal_t</b></td></tr>
<tr class="separator:gab2dcb9409b758a9c34689d01533dabee"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga1e1fc4a4c7c934be0647aa926e635955"><td class="memItemLeft" align="right" valign="top"><a id="ga1e1fc4a4c7c934be0647aa926e635955"></a>
typedef struct <a class="el" href="structclingo__ast__id.html">clingo_ast_id</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_id_t</b></td></tr>
<tr class="separator:ga1e1fc4a4c7c934be0647aa926e635955"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaeb885dcafcefda487228068329cb8eab"><td class="memItemLeft" align="right" valign="top"><a id="gaeb885dcafcefda487228068329cb8eab"></a>
typedef struct <a class="el" href="structclingo__ast__comparison.html">clingo_ast_comparison</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_comparison_t</b></td></tr>
<tr class="separator:gaeb885dcafcefda487228068329cb8eab"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gadd68cb3a457a79d40eab9f0841a8550c"><td class="memItemLeft" align="right" valign="top"><a id="gadd68cb3a457a79d40eab9f0841a8550c"></a>
typedef int </td><td class="memItemRight" valign="bottom"><b>clingo_ast_literal_type_t</b></td></tr>
<tr class="separator:gadd68cb3a457a79d40eab9f0841a8550c"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga52c7934db850bb45abd4ee007d1b28e9"><td class="memItemLeft" align="right" valign="top"><a id="ga52c7934db850bb45abd4ee007d1b28e9"></a>
typedef struct <a class="el" href="structclingo__ast__literal.html">clingo_ast_literal</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_literal_t</b></td></tr>
<tr class="separator:ga52c7934db850bb45abd4ee007d1b28e9"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gafd3d72c4ea4a26c8f7c36d2dc4eb7148"><td class="memItemLeft" align="right" valign="top"><a id="gafd3d72c4ea4a26c8f7c36d2dc4eb7148"></a>
typedef int </td><td class="memItemRight" valign="bottom"><b>clingo_ast_aggregate_function_t</b></td></tr>
<tr class="separator:gafd3d72c4ea4a26c8f7c36d2dc4eb7148"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga3ef24cf7c50b0899d72ecfca58f23ed8"><td class="memItemLeft" align="right" valign="top"><a id="ga3ef24cf7c50b0899d72ecfca58f23ed8"></a>
typedef struct <a class="el" href="structclingo__ast__aggregate__guard.html">clingo_ast_aggregate_guard</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_aggregate_guard_t</b></td></tr>
<tr class="separator:ga3ef24cf7c50b0899d72ecfca58f23ed8"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gabe79440e66cf47fd4417bd9788ed46e5"><td class="memItemLeft" align="right" valign="top"><a id="gabe79440e66cf47fd4417bd9788ed46e5"></a>
typedef struct <a class="el" href="structclingo__ast__conditional__literal.html">clingo_ast_conditional_literal</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_conditional_literal_t</b></td></tr>
<tr class="separator:gabe79440e66cf47fd4417bd9788ed46e5"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gad1ba7874d3f8b42b19bac1c748e3b132"><td class="memItemLeft" align="right" valign="top"><a id="gad1ba7874d3f8b42b19bac1c748e3b132"></a>
typedef struct <a class="el" href="structclingo__ast__aggregate.html">clingo_ast_aggregate</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_aggregate_t</b></td></tr>
<tr class="separator:gad1ba7874d3f8b42b19bac1c748e3b132"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gae4efdb805e47772166f5feee1026b51b"><td class="memItemLeft" align="right" valign="top"><a id="gae4efdb805e47772166f5feee1026b51b"></a>
typedef struct <a class="el" href="structclingo__ast__body__aggregate__element.html">clingo_ast_body_aggregate_element</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_body_aggregate_element_t</b></td></tr>
<tr class="separator:gae4efdb805e47772166f5feee1026b51b"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaaeb211c248d37068312f88ce983c31bf"><td class="memItemLeft" align="right" valign="top"><a id="gaaeb211c248d37068312f88ce983c31bf"></a>
typedef struct <a class="el" href="structclingo__ast__body__aggregate.html">clingo_ast_body_aggregate</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_body_aggregate_t</b></td></tr>
<tr class="separator:gaaeb211c248d37068312f88ce983c31bf"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gad69744dd7a165599dd0460b0ce178b5d"><td class="memItemLeft" align="right" valign="top"><a id="gad69744dd7a165599dd0460b0ce178b5d"></a>
typedef struct <a class="el" href="structclingo__ast__head__aggregate__element.html">clingo_ast_head_aggregate_element</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_head_aggregate_element_t</b></td></tr>
<tr class="separator:gad69744dd7a165599dd0460b0ce178b5d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga2810ad4aee027ef739631397b739514f"><td class="memItemLeft" align="right" valign="top"><a id="ga2810ad4aee027ef739631397b739514f"></a>
typedef struct <a class="el" href="structclingo__ast__head__aggregate.html">clingo_ast_head_aggregate</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_head_aggregate_t</b></td></tr>
<tr class="separator:ga2810ad4aee027ef739631397b739514f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga61cda482f5767fb29e65d4e2cafb40d4"><td class="memItemLeft" align="right" valign="top"><a id="ga61cda482f5767fb29e65d4e2cafb40d4"></a>
typedef struct <a class="el" href="structclingo__ast__disjunction.html">clingo_ast_disjunction</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_disjunction_t</b></td></tr>
<tr class="separator:ga61cda482f5767fb29e65d4e2cafb40d4"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gacd9267043d16d7f734815f319c90ca27"><td class="memItemLeft" align="right" valign="top"><a id="gacd9267043d16d7f734815f319c90ca27"></a>
typedef struct <a class="el" href="structclingo__ast__disjoint__element.html">clingo_ast_disjoint_element</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_disjoint_element_t</b></td></tr>
<tr class="separator:gacd9267043d16d7f734815f319c90ca27"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga1b35ee9e05010c9216074d71c5a9965f"><td class="memItemLeft" align="right" valign="top"><a id="ga1b35ee9e05010c9216074d71c5a9965f"></a>
typedef struct <a class="el" href="structclingo__ast__disjoint.html">clingo_ast_disjoint</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_disjoint_t</b></td></tr>
<tr class="separator:ga1b35ee9e05010c9216074d71c5a9965f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga21aa5f4f5c9a30d6ff27a4a2dd201785"><td class="memItemLeft" align="right" valign="top"><a id="ga21aa5f4f5c9a30d6ff27a4a2dd201785"></a>
typedef int </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_term_type_t</b></td></tr>
<tr class="separator:ga21aa5f4f5c9a30d6ff27a4a2dd201785"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gafd201e090cda57767a9bb436cd596774"><td class="memItemLeft" align="right" valign="top"><a id="gafd201e090cda57767a9bb436cd596774"></a>
typedef struct <a class="el" href="structclingo__ast__theory__function.html">clingo_ast_theory_function</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_function_t</b></td></tr>
<tr class="separator:gafd201e090cda57767a9bb436cd596774"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga8d7f43e8e690609d87a879a1320a3475"><td class="memItemLeft" align="right" valign="top"><a id="ga8d7f43e8e690609d87a879a1320a3475"></a>
typedef struct <a class="el" href="structclingo__ast__theory__term__array.html">clingo_ast_theory_term_array</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_term_array_t</b></td></tr>
<tr class="separator:ga8d7f43e8e690609d87a879a1320a3475"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga5d5e8d7986df7964da524865f72c7e89"><td class="memItemLeft" align="right" valign="top"><a id="ga5d5e8d7986df7964da524865f72c7e89"></a>
typedef struct <a class="el" href="structclingo__ast__theory__unparsed__term.html">clingo_ast_theory_unparsed_term</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_unparsed_term_t</b></td></tr>
<tr class="separator:ga5d5e8d7986df7964da524865f72c7e89"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga9abf853fff9e04611557fba3f946a85e"><td class="memItemLeft" align="right" valign="top"><a id="ga9abf853fff9e04611557fba3f946a85e"></a>
typedef struct <a class="el" href="structclingo__ast__theory__term.html">clingo_ast_theory_term</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_term_t</b></td></tr>
<tr class="separator:ga9abf853fff9e04611557fba3f946a85e"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga4b73174eacc011913999b93d255919e8"><td class="memItemLeft" align="right" valign="top"><a id="ga4b73174eacc011913999b93d255919e8"></a>
typedef struct <a class="el" href="structclingo__ast__theory__unparsed__term__element.html">clingo_ast_theory_unparsed_term_element</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_unparsed_term_element_t</b></td></tr>
<tr class="separator:ga4b73174eacc011913999b93d255919e8"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gad16004467f2b35fec8b784db949c4ace"><td class="memItemLeft" align="right" valign="top"><a id="gad16004467f2b35fec8b784db949c4ace"></a>
typedef struct <a class="el" href="structclingo__ast__theory__atom__element.html">clingo_ast_theory_atom_element</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_atom_element_t</b></td></tr>
<tr class="separator:gad16004467f2b35fec8b784db949c4ace"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gac24a3b0117294784b3c00d59ef560074"><td class="memItemLeft" align="right" valign="top"><a id="gac24a3b0117294784b3c00d59ef560074"></a>
typedef struct <a class="el" href="structclingo__ast__theory__guard.html">clingo_ast_theory_guard</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_guard_t</b></td></tr>
<tr class="separator:gac24a3b0117294784b3c00d59ef560074"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga31f5819c9b32cd3a72a3bc2f70de3d44"><td class="memItemLeft" align="right" valign="top"><a id="ga31f5819c9b32cd3a72a3bc2f70de3d44"></a>
typedef struct <a class="el" href="structclingo__ast__theory__atom.html">clingo_ast_theory_atom</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_atom_t</b></td></tr>
<tr class="separator:ga31f5819c9b32cd3a72a3bc2f70de3d44"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga38cbfb4dca23b6c00aaad4bd48a935a9"><td class="memItemLeft" align="right" valign="top"><a id="ga38cbfb4dca23b6c00aaad4bd48a935a9"></a>
typedef int </td><td class="memItemRight" valign="bottom"><b>clingo_ast_head_literal_type_t</b></td></tr>
<tr class="separator:ga38cbfb4dca23b6c00aaad4bd48a935a9"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga61d5052ffea9d5b3ff389f240c784d8f"><td class="memItemLeft" align="right" valign="top"><a id="ga61d5052ffea9d5b3ff389f240c784d8f"></a>
typedef struct <a class="el" href="structclingo__ast__head__literal.html">clingo_ast_head_literal</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_head_literal_t</b></td></tr>
<tr class="separator:ga61d5052ffea9d5b3ff389f240c784d8f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga1461c85c9969a3974cc91ea5b9f53367"><td class="memItemLeft" align="right" valign="top"><a id="ga1461c85c9969a3974cc91ea5b9f53367"></a>
typedef int </td><td class="memItemRight" valign="bottom"><b>clingo_ast_body_literal_type_t</b></td></tr>
<tr class="separator:ga1461c85c9969a3974cc91ea5b9f53367"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga100b1bacfd009a14c82389d4f11293a7"><td class="memItemLeft" align="right" valign="top"><a id="ga100b1bacfd009a14c82389d4f11293a7"></a>
typedef struct <a class="el" href="structclingo__ast__body__literal.html">clingo_ast_body_literal</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_body_literal_t</b></td></tr>
<tr class="separator:ga100b1bacfd009a14c82389d4f11293a7"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gacae5c9c6dbc318138fd9ce92fbc73623"><td class="memItemLeft" align="right" valign="top"><a id="gacae5c9c6dbc318138fd9ce92fbc73623"></a>
typedef int </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_operator_type_t</b></td></tr>
<tr class="separator:gacae5c9c6dbc318138fd9ce92fbc73623"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga87909e5d8a5b1b469e0b7d70be46af5d"><td class="memItemLeft" align="right" valign="top"><a id="ga87909e5d8a5b1b469e0b7d70be46af5d"></a>
typedef struct <a class="el" href="structclingo__ast__theory__operator__definition.html">clingo_ast_theory_operator_definition</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_operator_definition_t</b></td></tr>
<tr class="separator:ga87909e5d8a5b1b469e0b7d70be46af5d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga6d16df163583826f07966da65ca59171"><td class="memItemLeft" align="right" valign="top"><a id="ga6d16df163583826f07966da65ca59171"></a>
typedef struct <a class="el" href="structclingo__ast__theory__term__definition.html">clingo_ast_theory_term_definition</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_term_definition_t</b></td></tr>
<tr class="separator:ga6d16df163583826f07966da65ca59171"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gae2982ee4dfb6dd31469d60e8df1393fa"><td class="memItemLeft" align="right" valign="top"><a id="gae2982ee4dfb6dd31469d60e8df1393fa"></a>
typedef struct <a class="el" href="structclingo__ast__theory__guard__definition.html">clingo_ast_theory_guard_definition</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_guard_definition_t</b></td></tr>
<tr class="separator:gae2982ee4dfb6dd31469d60e8df1393fa"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga8961630186a77b674d6e0bed33002ee3"><td class="memItemLeft" align="right" valign="top"><a id="ga8961630186a77b674d6e0bed33002ee3"></a>
typedef int </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_atom_definition_type_t</b></td></tr>
<tr class="separator:ga8961630186a77b674d6e0bed33002ee3"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga9d4226bd9e4489eb0d56fe6b98ffd661"><td class="memItemLeft" align="right" valign="top"><a id="ga9d4226bd9e4489eb0d56fe6b98ffd661"></a>
typedef struct <a class="el" href="structclingo__ast__theory__atom__definition.html">clingo_ast_theory_atom_definition</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_atom_definition_t</b></td></tr>
<tr class="separator:ga9d4226bd9e4489eb0d56fe6b98ffd661"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga85876694d55d64f4bd212ee2490f2b9d"><td class="memItemLeft" align="right" valign="top"><a id="ga85876694d55d64f4bd212ee2490f2b9d"></a>
typedef struct <a class="el" href="structclingo__ast__theory__definition.html">clingo_ast_theory_definition</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_definition_t</b></td></tr>
<tr class="separator:ga85876694d55d64f4bd212ee2490f2b9d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gadeb7301503cf37f8f30611e6f4d78d80"><td class="memItemLeft" align="right" valign="top"><a id="gadeb7301503cf37f8f30611e6f4d78d80"></a>
typedef struct <a class="el" href="structclingo__ast__rule.html">clingo_ast_rule</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_rule_t</b></td></tr>
<tr class="separator:gadeb7301503cf37f8f30611e6f4d78d80"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga0c637865f4fccf3293c1524fe49c699d"><td class="memItemLeft" align="right" valign="top"><a id="ga0c637865f4fccf3293c1524fe49c699d"></a>
typedef struct <a class="el" href="structclingo__ast__definition.html">clingo_ast_definition</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_definition_t</b></td></tr>
<tr class="separator:ga0c637865f4fccf3293c1524fe49c699d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga89a97f7fb4151baf26672fd578dcb8b9"><td class="memItemLeft" align="right" valign="top"><a id="ga89a97f7fb4151baf26672fd578dcb8b9"></a>
typedef struct <a class="el" href="structclingo__ast__show__signature.html">clingo_ast_show_signature</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_show_signature_t</b></td></tr>
<tr class="separator:ga89a97f7fb4151baf26672fd578dcb8b9"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga906059baa7b3be857a3e8d5a805ed052"><td class="memItemLeft" align="right" valign="top"><a id="ga906059baa7b3be857a3e8d5a805ed052"></a>
typedef struct <a class="el" href="structclingo__ast__show__term.html">clingo_ast_show_term</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_show_term_t</b></td></tr>
<tr class="separator:ga906059baa7b3be857a3e8d5a805ed052"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga3a90d2c932628964979b8ffcc9794e86"><td class="memItemLeft" align="right" valign="top"><a id="ga3a90d2c932628964979b8ffcc9794e86"></a>
typedef struct <a class="el" href="structclingo__ast__minimize.html">clingo_ast_minimize</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_minimize_t</b></td></tr>
<tr class="separator:ga3a90d2c932628964979b8ffcc9794e86"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga89cb7fd2deafb30947d0ba4861a3972c"><td class="memItemLeft" align="right" valign="top"><a id="ga89cb7fd2deafb30947d0ba4861a3972c"></a>
typedef int </td><td class="memItemRight" valign="bottom"><b>clingo_ast_script_type_t</b></td></tr>
<tr class="separator:ga89cb7fd2deafb30947d0ba4861a3972c"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga882d336405daae5886ac28a7de8ca0be"><td class="memItemLeft" align="right" valign="top"><a id="ga882d336405daae5886ac28a7de8ca0be"></a>
typedef struct <a class="el" href="structclingo__ast__script.html">clingo_ast_script</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_script_t</b></td></tr>
<tr class="separator:ga882d336405daae5886ac28a7de8ca0be"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gacbd555dcd96afa88f4b7de5d061fe228"><td class="memItemLeft" align="right" valign="top"><a id="gacbd555dcd96afa88f4b7de5d061fe228"></a>
typedef struct <a class="el" href="structclingo__ast__program.html">clingo_ast_program</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_program_t</b></td></tr>
<tr class="separator:gacbd555dcd96afa88f4b7de5d061fe228"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga4034eac3d2d228f7d06e61c5d41e57f9"><td class="memItemLeft" align="right" valign="top"><a id="ga4034eac3d2d228f7d06e61c5d41e57f9"></a>
typedef struct <a class="el" href="structclingo__ast__external.html">clingo_ast_external</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_external_t</b></td></tr>
<tr class="separator:ga4034eac3d2d228f7d06e61c5d41e57f9"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gacfdf5a50e39b906b3bfa1a9f614a9f1e"><td class="memItemLeft" align="right" valign="top"><a id="gacfdf5a50e39b906b3bfa1a9f614a9f1e"></a>
typedef struct <a class="el" href="structclingo__ast__edge.html">clingo_ast_edge</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_edge_t</b></td></tr>
<tr class="separator:gacfdf5a50e39b906b3bfa1a9f614a9f1e"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gab230daefdcf668f12b95462c011a3cba"><td class="memItemLeft" align="right" valign="top"><a id="gab230daefdcf668f12b95462c011a3cba"></a>
typedef struct <a class="el" href="structclingo__ast__heuristic.html">clingo_ast_heuristic</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_heuristic_t</b></td></tr>
<tr class="separator:gab230daefdcf668f12b95462c011a3cba"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga41a2ba12bdb7dbbfb0d27922d62a21e1"><td class="memItemLeft" align="right" valign="top"><a id="ga41a2ba12bdb7dbbfb0d27922d62a21e1"></a>
typedef struct <a class="el" href="structclingo__ast__project.html">clingo_ast_project</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_project_t</b></td></tr>
<tr class="separator:ga41a2ba12bdb7dbbfb0d27922d62a21e1"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gac846ca8163f2a0b422fb02f4286bb6b3"><td class="memItemLeft" align="right" valign="top"><a id="gac846ca8163f2a0b422fb02f4286bb6b3"></a>
typedef int </td><td class="memItemRight" valign="bottom"><b>clingo_ast_statement_type_t</b></td></tr>
<tr class="separator:gac846ca8163f2a0b422fb02f4286bb6b3"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga414c369d5f0caa13f69aabc563af6ac0"><td class="memItemLeft" align="right" valign="top"><a id="ga414c369d5f0caa13f69aabc563af6ac0"></a>
typedef struct <a class="el" href="structclingo__ast__statement.html">clingo_ast_statement</a> </td><td class="memItemRight" valign="bottom"><b>clingo_ast_statement_t</b></td></tr>
<tr class="separator:ga414c369d5f0caa13f69aabc563af6ac0"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga6fb1d09eb48811b14205d17fd264d412"><td class="memItemLeft" align="right" valign="top"><a id="ga6fb1d09eb48811b14205d17fd264d412"></a>
typedef bool(* </td><td class="memItemRight" valign="bottom"><b>clingo_ast_callback_t</b>) (<a class="el" href="structclingo__ast__statement.html">clingo_ast_statement_t</a> const *, void *)</td></tr>
<tr class="separator:ga6fb1d09eb48811b14205d17fd264d412"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="enum-members"></a>
Enumerations</h2></td></tr>
<tr class="memitem:ga73b432a6d5746cdb80d9da6c3dfa3c9b"><td class="memItemLeft" align="right" valign="top"><a id="ga73b432a6d5746cdb80d9da6c3dfa3c9b"></a>enum  </td><td class="memItemRight" valign="bottom"><b>clingo_ast_comparison_operator</b> { <br />
  <b>clingo_ast_comparison_operator_greater_than</b> = 0,
<b>clingo_ast_comparison_operator_less_than</b> = 1,
<b>clingo_ast_comparison_operator_less_equal</b> = 2,
<b>clingo_ast_comparison_operator_greater_equal</b> = 3,
<br />
  <b>clingo_ast_comparison_operator_not_equal</b> = 4,
<b>clingo_ast_comparison_operator_equal</b> = 5
<br />
}</td></tr>
<tr class="separator:ga73b432a6d5746cdb80d9da6c3dfa3c9b"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga5d871c2c95dfc3064a5aa3ae76fe0e53"><td class="memItemLeft" align="right" valign="top"><a id="ga5d871c2c95dfc3064a5aa3ae76fe0e53"></a>enum  </td><td class="memItemRight" valign="bottom"><b>clingo_ast_sign</b> { <b>clingo_ast_sign_none</b> = 0,
<b>clingo_ast_sign_negation</b> = 1,
<b>clingo_ast_sign_double_negation</b> = 2
}</td></tr>
<tr class="separator:ga5d871c2c95dfc3064a5aa3ae76fe0e53"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gae2afa9d05ad911e03afe2510cacb6a1c"><td class="memItemLeft" align="right" valign="top"><a id="gae2afa9d05ad911e03afe2510cacb6a1c"></a>enum  </td><td class="memItemRight" valign="bottom"><b>clingo_ast_term_type</b> { <br />
  <b>clingo_ast_term_type_symbol</b> = 0,
<b>clingo_ast_term_type_variable</b> = 1,
<b>clingo_ast_term_type_unary_operation</b> = 2,
<b>clingo_ast_term_type_binary_operation</b> = 3,
<br />
  <b>clingo_ast_term_type_interval</b> = 4,
<b>clingo_ast_term_type_function</b> = 5,
<b>clingo_ast_term_type_external_function</b> = 6,
<b>clingo_ast_term_type_pool</b> = 7
<br />
}</td></tr>
<tr class="separator:gae2afa9d05ad911e03afe2510cacb6a1c"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga292bcaddd146a28e3b15bdaadfec9fb4"><td class="memItemLeft" align="right" valign="top"><a id="ga292bcaddd146a28e3b15bdaadfec9fb4"></a>enum  </td><td class="memItemRight" valign="bottom"><b>clingo_ast_unary_operator</b> { <b>clingo_ast_unary_operator_minus</b> = 0,
<b>clingo_ast_unary_operator_negation</b> = 1,
<b>clingo_ast_unary_operator_absolute</b> = 2
}</td></tr>
<tr class="separator:ga292bcaddd146a28e3b15bdaadfec9fb4"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga4566dbf75e33b3b44b36d2895a4d52ab"><td class="memItemLeft" align="right" valign="top"><a id="ga4566dbf75e33b3b44b36d2895a4d52ab"></a>enum  </td><td class="memItemRight" valign="bottom"><b>clingo_ast_binary_operator</b> { <br />
  <b>clingo_ast_binary_operator_xor</b> = 0,
<b>clingo_ast_binary_operator_or</b> = 1,
<b>clingo_ast_binary_operator_and</b> = 2,
<b>clingo_ast_binary_operator_plus</b> = 3,
<br />
  <b>clingo_ast_binary_operator_minus</b> = 4,
<b>clingo_ast_binary_operator_multiplication</b> = 5,
<b>clingo_ast_binary_operator_division</b> = 6,
<b>clingo_ast_binary_operator_modulo</b> = 7
<br />
}</td></tr>
<tr class="separator:ga4566dbf75e33b3b44b36d2895a4d52ab"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaf7d12cf1848cebaa307729fc689f57bd"><td class="memItemLeft" align="right" valign="top"><a id="gaf7d12cf1848cebaa307729fc689f57bd"></a>enum  </td><td class="memItemRight" valign="bottom"><b>clingo_ast_literal_type</b> { <b>clingo_ast_literal_type_boolean</b> = 0,
<b>clingo_ast_literal_type_symbolic</b> = 1,
<b>clingo_ast_literal_type_comparison</b> = 2,
<b>clingo_ast_literal_type_csp</b> = 3
}</td></tr>
<tr class="separator:gaf7d12cf1848cebaa307729fc689f57bd"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga87ef9aa671855f1ceb76c226a37fd468"><td class="memItemLeft" align="right" valign="top"><a id="ga87ef9aa671855f1ceb76c226a37fd468"></a>enum  </td><td class="memItemRight" valign="bottom"><b>clingo_ast_aggregate_function</b> { <br />
  <b>clingo_ast_aggregate_function_count</b> = 0,
<b>clingo_ast_aggregate_function_sum</b> = 1,
<b>clingo_ast_aggregate_function_sump</b> = 2,
<b>clingo_ast_aggregate_function_min</b> = 3,
<br />
  <b>clingo_ast_aggregate_function_max</b> = 4
<br />
}</td></tr>
<tr class="separator:ga87ef9aa671855f1ceb76c226a37fd468"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga2abd396e6af6945d62ccceb236b40cf1"><td class="memItemLeft" align="right" valign="top"><a id="ga2abd396e6af6945d62ccceb236b40cf1"></a>enum  </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_term_type</b> { <br />
  <b>clingo_ast_theory_term_type_symbol</b> = 0,
<b>clingo_ast_theory_term_type_variable</b> = 1,
<b>clingo_ast_theory_term_type_tuple</b> = 2,
<b>clingo_ast_theory_term_type_list</b> = 3,
<br />
  <b>clingo_ast_theory_term_type_set</b> = 4,
<b>clingo_ast_theory_term_type_function</b> = 5,
<b>clingo_ast_theory_term_type_unparsed_term</b> = 6
<br />
}</td></tr>
<tr class="separator:ga2abd396e6af6945d62ccceb236b40cf1"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga4032013ae20817d85c3dcfe2f965f7c4"><td class="memItemLeft" align="right" valign="top"><a id="ga4032013ae20817d85c3dcfe2f965f7c4"></a>enum  </td><td class="memItemRight" valign="bottom"><b>clingo_ast_head_literal_type</b> { <br />
  <b>clingo_ast_head_literal_type_literal</b> = 0,
<b>clingo_ast_head_literal_type_disjunction</b> = 1,
<b>clingo_ast_head_literal_type_aggregate</b> = 2,
<b>clingo_ast_head_literal_type_head_aggregate</b> = 3,
<br />
  <b>clingo_ast_head_literal_type_theory_atom</b> = 4
<br />
}</td></tr>
<tr class="separator:ga4032013ae20817d85c3dcfe2f965f7c4"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga5c88e255bc6b1a497f4f7eefea5c7134"><td class="memItemLeft" align="right" valign="top"><a id="ga5c88e255bc6b1a497f4f7eefea5c7134"></a>enum  </td><td class="memItemRight" valign="bottom"><b>clingo_ast_body_literal_type</b> { <br />
  <b>clingo_ast_body_literal_type_literal</b> = 0,
<b>clingo_ast_body_literal_type_conditional</b> = 1,
<b>clingo_ast_body_literal_type_aggregate</b> = 2,
<b>clingo_ast_body_literal_type_body_aggregate</b> = 3,
<br />
  <b>clingo_ast_body_literal_type_theory_atom</b> = 4,
<b>clingo_ast_body_literal_type_disjoint</b> = 5
<br />
}</td></tr>
<tr class="separator:ga5c88e255bc6b1a497f4f7eefea5c7134"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga1f54327f4f74327e21e146db870b5b58"><td class="memItemLeft" align="right" valign="top"><a id="ga1f54327f4f74327e21e146db870b5b58"></a>enum  </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_operator_type</b> { <b>clingo_ast_theory_operator_type_unary</b> = 0,
<b>clingo_ast_theory_operator_type_binary_left</b> = 1,
<b>clingo_ast_theory_operator_type_binary_right</b> = 2
}</td></tr>
<tr class="separator:ga1f54327f4f74327e21e146db870b5b58"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga5e31978dad9bd25b890903ee50a65655"><td class="memItemLeft" align="right" valign="top"><a id="ga5e31978dad9bd25b890903ee50a65655"></a>enum  </td><td class="memItemRight" valign="bottom"><b>clingo_ast_theory_atom_definition_type</b> { <b>clingo_ast_theory_atom_definition_type_head</b> = 0,
<b>clingo_ast_theory_atom_definition_type_body</b> = 1,
<b>clingo_ast_theory_atom_definition_type_any</b> = 2,
<b>clingo_ast_theory_atom_definition_type_directive</b> = 3
}</td></tr>
<tr class="separator:ga5e31978dad9bd25b890903ee50a65655"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga8e5c57b508a49e395c5a277f899feb2a"><td class="memItemLeft" align="right" valign="top"><a id="ga8e5c57b508a49e395c5a277f899feb2a"></a>enum  </td><td class="memItemRight" valign="bottom"><b>clingo_ast_script_type</b> { <b>clingo_ast_script_type_lua</b> = 0,
<b>clingo_ast_script_type_python</b> = 1
}</td></tr>
<tr class="separator:ga8e5c57b508a49e395c5a277f899feb2a"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga94be25eb1405a7e79d9ccd2497bfa895"><td class="memItemLeft" align="right" valign="top"><a id="ga94be25eb1405a7e79d9ccd2497bfa895"></a>enum  </td><td class="memItemRight" valign="bottom"><b>clingo_ast_statement_type</b> { <br />
  <b>clingo_ast_statement_type_rule</b> = 0,
<b>clingo_ast_statement_type_const</b> = 1,
<b>clingo_ast_statement_type_show_signature</b> = 2,
<b>clingo_ast_statement_type_show_term</b> = 3,
<br />
  <b>clingo_ast_statement_type_minimize</b> = 4,
<b>clingo_ast_statement_type_script</b> = 5,
<b>clingo_ast_statement_type_program</b> = 6,
<b>clingo_ast_statement_type_external</b> = 7,
<br />
  <b>clingo_ast_statement_type_edge</b> = 8,
<b>clingo_ast_statement_type_heuristic</b> = 9,
<b>clingo_ast_statement_type_project_atom</b> = 10,
<b>clingo_ast_statement_type_project_atom_signature</b> = 11,
<br />
  <b>clingo_ast_statement_type_theory_definition</b> = 12
<br />
}</td></tr>
<tr class="separator:ga94be25eb1405a7e79d9ccd2497bfa895"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
Functions</h2></td></tr>
<tr class="memitem:ga8b24508837d8aadbd160e7cb37cbb7da"><td class="memItemLeft" align="right" valign="top">CLINGO_VISIBILITY_DEFAULT bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__AST.html#ga8b24508837d8aadbd160e7cb37cbb7da">clingo_parse_program</a> (char const *program, clingo_ast_callback_t callback, void *callback_data, <a class="el" href="group__BasicTypes.html#ga0cddd4c84a531b5c64a4774566ddc9ef">clingo_logger_t</a> logger, void *logger_data, unsigned message_limit)</td></tr>
<tr class="memdesc:ga8b24508837d8aadbd160e7cb37cbb7da"><td class="mdescLeft"> </td><td class="mdescRight">Parse the given program and return an abstract syntax tree for each statement via a callback. <a href="#ga8b24508837d8aadbd160e7cb37cbb7da">More...</a><br /></td></tr>
<tr class="separator:ga8b24508837d8aadbd160e7cb37cbb7da"><td class="memSeparator" colspan="2"> </td></tr>
</table>
<h2 class="groupheader">Function Documentation</h2>
<a id="ga8b24508837d8aadbd160e7cb37cbb7da"></a>
<h2 class="memtitle"><span class="permalink"><a href="#ga8b24508837d8aadbd160e7cb37cbb7da">◆ </a></span>clingo_parse_program()</h2>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CLINGO_VISIBILITY_DEFAULT bool clingo_parse_program </td>
<td>(</td>
<td class="paramtype">char const * </td>
<td class="paramname"><em>program</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">clingo_ast_callback_t </td>
<td class="paramname"><em>callback</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">void * </td>
<td class="paramname"><em>callback_data</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="group__BasicTypes.html#ga0cddd4c84a531b5c64a4774566ddc9ef">clingo_logger_t</a> </td>
<td class="paramname"><em>logger</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">void * </td>
<td class="paramname"><em>logger_data</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">unsigned </td>
<td class="paramname"><em>message_limit</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</div><div class="memdoc">
<p>Parse the given program and return an abstract syntax tree for each statement via a callback. </p>
<dl class="params"><dt>Parameters</dt><dd>
<table class="params">
<tr><td class="paramdir">[in]</td><td class="paramname">program</td><td>the program in gringo syntax </td></tr>
<tr><td class="paramdir">[in]</td><td class="paramname">callback</td><td>the callback reporting statements </td></tr>
<tr><td class="paramdir">[in]</td><td class="paramname">callback_data</td><td>user data for the callback </td></tr>
<tr><td class="paramdir">[in]</td><td class="paramname">logger</td><td>callback to report messages during parsing </td></tr>
<tr><td class="paramdir">[in]</td><td class="paramname">logger_data</td><td>user data for the logger </td></tr>
<tr><td class="paramdir">[in]</td><td class="paramname">message_limit</td><td>the maximum number of times the logger is called </td></tr>
</table>
</dd>
</dl>
<dl class="section return"><dt>Returns</dt><dd>whether the call was successful; might set one of the following error codes:<ul>
<li><a class="el" href="group__BasicTypes.html#gga5adba1f5e366e7489ac4a3fb5266dba6af43eebc9503fef8d1b2b85f99bb63221" title="errors only detectable at runtime like invalid input ">clingo_error_runtime</a> if parsing fails</li>
<li><a class="el" href="group__BasicTypes.html#gga5adba1f5e366e7489ac4a3fb5266dba6aa14a0926eb3e653fcc13299b33d8d348" title="memory could not be allocated ">clingo_error_bad_alloc</a> </li>
</ul>
</dd></dl>
<dl><dt><b>Examples: </b></dt><dd><a class="el" href="ast_8c-example.html#a46">ast.c</a>.</dd>
</dl>
</div>
</div>
</div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Wed Nov 8 2017 09:57:37 for Clingo C API by  <a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.8.13
</small></address>
</body>
</html>