forked from potassco/potassco.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
/
clingo_8h.html
1370 lines (1366 loc) · 245 KB
/
clingo_8h.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
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<!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.11"/>
<title>Clingo C API: clingo.h File Reference</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>
<script type="text/javascript">
$(document).ready(function() { init_search(); });
</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.11 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
<div id="navrow1" class="tabs">
<ul class="tablist">
<li><a href="index.html"><span>Main Page</span></a></li>
<li><a href="modules.html"><span>Modules</span></a></li>
<li><a href="annotated.html"><span>Classes</span></a></li>
<li class="current"><a href="files.html"><span>Files</span></a></li>
<li><a href="examples.html"><span>Examples</span></a></li>
<li>
<div id="MSearchBox" class="MSearchBoxInactive">
<span class="left">
<img id="MSearchSelect" src="search/mag_sel.png"
onmouseover="return searchBox.OnSearchSelectShow()"
onmouseout="return searchBox.OnSearchSelectHide()"
alt=""/>
<input type="text" id="MSearchField" value="Search" accesskey="S"
onfocus="searchBox.OnSearchFieldFocus(true)"
onblur="searchBox.OnSearchFieldFocus(false)"
onkeyup="searchBox.OnSearchFieldChange(event)"/>
</span><span class="right">
<a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
</span>
</div>
</li>
</ul>
</div>
<div id="navrow2" class="tabs2">
<ul class="tablist">
<li><a href="files.html"><span>File List</span></a></li>
<li><a href="globals.html"><span>File Members</span></a></li>
</ul>
</div>
<!-- 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><!-- top -->
<div class="header">
<div class="summary">
<a href="#nested-classes">Classes</a> |
<a href="#define-members">Macros</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">clingo.h File Reference</div> </div>
</div><!--header-->
<div class="contents">
<p>Single header containing the whole clingo API.
<a href="#details">More...</a></p>
<p><a href="clingo_8h_source.html">Go to the source code of this file.</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__location.html">clingo_location</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft"> </td><td class="mdescRight">Represents a source code location marking its beginnig and end. <a href="structclingo__location.html#details">More...</a><br /></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__symbolic__literal.html">clingo_symbolic_literal</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft"> </td><td class="mdescRight">Represents a symbolic literal. <a href="structclingo__symbolic__literal.html#details">More...</a><br /></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__propagator.html">clingo_propagator</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft"> </td><td class="mdescRight">An instance of this struct has to be registered with a solver to implement a custom propagator. <a href="structclingo__propagator.html#details">More...</a><br /></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__weighted__literal.html">clingo_weighted_literal</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft"> </td><td class="mdescRight">A Literal with an associated weight. <a href="structclingo__weighted__literal.html#details">More...</a><br /></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__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>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structclingo__part.html">clingo_part</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft"> </td><td class="mdescRight">Struct used to specify the program parts that have to be grounded. <a href="structclingo__part.html#details">More...</a><br /></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="define-members"></a>
Macros</h2></td></tr>
<tr class="memitem:ga8edbb03d7f3171c0f25d3e5f6816a804"><td class="memItemLeft" align="right" valign="top">
#define </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#ga8edbb03d7f3171c0f25d3e5f6816a804">CLINGO_VERSION_MAJOR</a>   5</td></tr>
<tr class="memdesc:ga8edbb03d7f3171c0f25d3e5f6816a804"><td class="mdescLeft"> </td><td class="mdescRight">Major version number. <br /></td></tr>
<tr class="separator:ga8edbb03d7f3171c0f25d3e5f6816a804"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga8c5098e3b7a0bdfe3e3f08b591584152"><td class="memItemLeft" align="right" valign="top">
#define </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#ga8c5098e3b7a0bdfe3e3f08b591584152">CLINGO_VERSION_MINOR</a>   0</td></tr>
<tr class="memdesc:ga8c5098e3b7a0bdfe3e3f08b591584152"><td class="mdescLeft"> </td><td class="mdescRight">Minor version number. <br /></td></tr>
<tr class="separator:ga8c5098e3b7a0bdfe3e3f08b591584152"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaceb2643b0bfbc1525cb21d869c26bb4a"><td class="memItemLeft" align="right" valign="top">
#define </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#gaceb2643b0bfbc1525cb21d869c26bb4a">CLINGO_VERSION_REVISION</a>   0</td></tr>
<tr class="memdesc:gaceb2643b0bfbc1525cb21d869c26bb4a"><td class="mdescLeft"> </td><td class="mdescRight">Revision number. <br /></td></tr>
<tr class="separator:gaceb2643b0bfbc1525cb21d869c26bb4a"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga12e7ec3d3cb20297731839dad4debba6"><td class="memItemLeft" align="right" valign="top">
#define </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#ga12e7ec3d3cb20297731839dad4debba6">CLINGO_VERSION</a>   #<a class="el" href="group__BasicTypes.html#ga8edbb03d7f3171c0f25d3e5f6816a804">CLINGO_VERSION_MAJOR</a> "." #<a class="el" href="group__BasicTypes.html#ga8c5098e3b7a0bdfe3e3f08b591584152">CLINGO_VERSION_MINOR</a> "." #<a class="el" href="group__BasicTypes.html#gaceb2643b0bfbc1525cb21d869c26bb4a">CLINGO_VERSION_REVISION</a></td></tr>
<tr class="memdesc:ga12e7ec3d3cb20297731839dad4debba6"><td class="mdescLeft"> </td><td class="mdescRight">String representation of version. <br /></td></tr>
<tr class="separator:ga12e7ec3d3cb20297731839dad4debba6"><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:gaa95dd19334e536397bbad174c8fa4ff8"><td class="memItemLeft" align="right" valign="top">
typedef int32_t </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#gaa95dd19334e536397bbad174c8fa4ff8">clingo_literal_t</a></td></tr>
<tr class="memdesc:gaa95dd19334e536397bbad174c8fa4ff8"><td class="mdescLeft"> </td><td class="mdescRight">Signed integer type used for aspif and solver literals. <br /></td></tr>
<tr class="separator:gaa95dd19334e536397bbad174c8fa4ff8"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga6480ac77dd156ea3c4bda71f161166c5"><td class="memItemLeft" align="right" valign="top">
typedef uint32_t </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#ga6480ac77dd156ea3c4bda71f161166c5">clingo_atom_t</a></td></tr>
<tr class="memdesc:ga6480ac77dd156ea3c4bda71f161166c5"><td class="mdescLeft"> </td><td class="mdescRight">Unsigned integer type used for aspif atoms. <br /></td></tr>
<tr class="separator:ga6480ac77dd156ea3c4bda71f161166c5"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gac7aaf88deb591e91b94ff38aa1e3472e"><td class="memItemLeft" align="right" valign="top">
typedef uint32_t </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#gac7aaf88deb591e91b94ff38aa1e3472e">clingo_id_t</a></td></tr>
<tr class="memdesc:gac7aaf88deb591e91b94ff38aa1e3472e"><td class="mdescLeft"> </td><td class="mdescRight">Unsigned integer type used in various places. <br /></td></tr>
<tr class="separator:gac7aaf88deb591e91b94ff38aa1e3472e"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaee5a30c2cd2c2b664a62bd81ecd5509f"><td class="memItemLeft" align="right" valign="top">
typedef int32_t </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#gaee5a30c2cd2c2b664a62bd81ecd5509f">clingo_weight_t</a></td></tr>
<tr class="memdesc:gaee5a30c2cd2c2b664a62bd81ecd5509f"><td class="mdescLeft"> </td><td class="mdescRight">Signed integer type for weights in sum aggregates and minimize constraints. <br /></td></tr>
<tr class="separator:gaee5a30c2cd2c2b664a62bd81ecd5509f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga885ae40aca699f7b86a1e76b2899fb2e"><td class="memItemLeft" align="right" valign="top">
typedef int </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#ga885ae40aca699f7b86a1e76b2899fb2e">clingo_error_t</a></td></tr>
<tr class="memdesc:ga885ae40aca699f7b86a1e76b2899fb2e"><td class="mdescLeft"> </td><td class="mdescRight">Corresponding type to <a class="el" href="group__BasicTypes.html#ga5adba1f5e366e7489ac4a3fb5266dba6" title="Enumeration of error codes. ">clingo_error</a>. <br /></td></tr>
<tr class="separator:ga885ae40aca699f7b86a1e76b2899fb2e"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga97c5ab5e7ca6bbe427961dc514977124"><td class="memItemLeft" align="right" valign="top">
typedef int </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#ga97c5ab5e7ca6bbe427961dc514977124">clingo_warning_t</a></td></tr>
<tr class="memdesc:ga97c5ab5e7ca6bbe427961dc514977124"><td class="mdescLeft"> </td><td class="mdescRight">Corresponding type to <a class="el" href="group__BasicTypes.html#ga9450a4671f96494cc0a346b8f226fde7" title="Enumeration of warning codes. ">clingo_warning</a>. <br /></td></tr>
<tr class="separator:ga97c5ab5e7ca6bbe427961dc514977124"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaff11abc056335394295ce2ffdc88daac"><td class="memItemLeft" align="right" valign="top">typedef void </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#gaff11abc056335394295ce2ffdc88daac">clingo_logger_t</a>(<a class="el" href="group__BasicTypes.html#ga97c5ab5e7ca6bbe427961dc514977124">clingo_warning_t</a> code, char const *message, void *data)</td></tr>
<tr class="memdesc:gaff11abc056335394295ce2ffdc88daac"><td class="mdescLeft"> </td><td class="mdescRight">Callback to intercept warning messages. <a href="group__BasicTypes.html#gaff11abc056335394295ce2ffdc88daac">More...</a><br /></td></tr>
<tr class="separator:gaff11abc056335394295ce2ffdc88daac"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaa0ab8583c1ef07fe6bc362277506b867"><td class="memItemLeft" align="right" valign="top">
typedef int </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#gaa0ab8583c1ef07fe6bc362277506b867">clingo_truth_value_t</a></td></tr>
<tr class="memdesc:gaa0ab8583c1ef07fe6bc362277506b867"><td class="mdescLeft"> </td><td class="mdescRight">Corresponding type to <a class="el" href="group__BasicTypes.html#ga6847b34622ab224c5867a84ef9c08126" title="Represents three-valued truth values. ">clingo_truth_value</a>. <br /></td></tr>
<tr class="separator:gaa0ab8583c1ef07fe6bc362277506b867"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga07e91950463516bb999ed021ca8f73c4"><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structclingo__location.html">clingo_location</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#ga07e91950463516bb999ed021ca8f73c4">clingo_location_t</a></td></tr>
<tr class="memdesc:ga07e91950463516bb999ed021ca8f73c4"><td class="mdescLeft"> </td><td class="mdescRight">Represents a source code location marking its beginnig and end. <a href="group__BasicTypes.html#ga07e91950463516bb999ed021ca8f73c4">More...</a><br /></td></tr>
<tr class="separator:ga07e91950463516bb999ed021ca8f73c4"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga3485f06e63e12f967ef6420e132f7376"><td class="memItemLeft" align="right" valign="top">typedef uint64_t </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Symbols.html#ga3485f06e63e12f967ef6420e132f7376">clingo_signature_t</a></td></tr>
<tr class="memdesc:ga3485f06e63e12f967ef6420e132f7376"><td class="mdescLeft"> </td><td class="mdescRight">Represents a predicate signature. <a href="group__Symbols.html#ga3485f06e63e12f967ef6420e132f7376">More...</a><br /></td></tr>
<tr class="separator:ga3485f06e63e12f967ef6420e132f7376"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga9b19ed21ac0f89860fc57c943f7618e0"><td class="memItemLeft" align="right" valign="top">
typedef int </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Symbols.html#ga9b19ed21ac0f89860fc57c943f7618e0">clingo_symbol_type_t</a></td></tr>
<tr class="memdesc:ga9b19ed21ac0f89860fc57c943f7618e0"><td class="mdescLeft"> </td><td class="mdescRight">Corresponding type to <a class="el" href="group__Symbols.html#ga10b4acfcfc14bec918cb1e7c7ded881d" title="Enumeration of available symbol types. ">clingo_symbol_type</a>. <br /></td></tr>
<tr class="separator:ga9b19ed21ac0f89860fc57c943f7618e0"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga6c75c60fa57c3b97505265ff08f6f951"><td class="memItemLeft" align="right" valign="top">typedef uint64_t </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Symbols.html#ga6c75c60fa57c3b97505265ff08f6f951">clingo_symbol_t</a></td></tr>
<tr class="memdesc:ga6c75c60fa57c3b97505265ff08f6f951"><td class="mdescLeft"> </td><td class="mdescRight">Represents a symbol. <a href="group__Symbols.html#ga6c75c60fa57c3b97505265ff08f6f951">More...</a><br /></td></tr>
<tr class="separator:ga6c75c60fa57c3b97505265ff08f6f951"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga710f79cb0bc2da63015465aa7eabf265"><td class="memItemLeft" align="right" valign="top">
typedef struct <a class="el" href="structclingo__symbolic__literal.html">clingo_symbolic_literal</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Symbols.html#ga710f79cb0bc2da63015465aa7eabf265">clingo_symbolic_literal_t</a></td></tr>
<tr class="memdesc:ga710f79cb0bc2da63015465aa7eabf265"><td class="mdescLeft"> </td><td class="mdescRight">Represents a symbolic literal. <br /></td></tr>
<tr class="separator:ga710f79cb0bc2da63015465aa7eabf265"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gab0b16771d9e76c9508ff60aa55b50904"><td class="memItemLeft" align="right" valign="top">
typedef struct clingo_solve_control </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Model.html#gab0b16771d9e76c9508ff60aa55b50904">clingo_solve_control_t</a></td></tr>
<tr class="memdesc:gab0b16771d9e76c9508ff60aa55b50904"><td class="mdescLeft"> </td><td class="mdescRight">Object to add clauses during search. <br /></td></tr>
<tr class="separator:gab0b16771d9e76c9508ff60aa55b50904"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaaf9a93819f023f3cb8aa80598c46556b"><td class="memItemLeft" align="right" valign="top">
typedef struct clingo_model </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Model.html#gaaf9a93819f023f3cb8aa80598c46556b">clingo_model_t</a></td></tr>
<tr class="memdesc:gaaf9a93819f023f3cb8aa80598c46556b"><td class="mdescLeft"> </td><td class="mdescRight">Object representing a model. <br /></td></tr>
<tr class="separator:gaaf9a93819f023f3cb8aa80598c46556b"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga13f511e3162055cd337c7f5e2ada31a1"><td class="memItemLeft" align="right" valign="top">
typedef int </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Model.html#ga13f511e3162055cd337c7f5e2ada31a1">clingo_model_type_t</a></td></tr>
<tr class="memdesc:ga13f511e3162055cd337c7f5e2ada31a1"><td class="mdescLeft"> </td><td class="mdescRight">Corresponding type to <a class="el" href="group__Model.html#gad41ae442c905008f0dcd923c4ef3bc7c" title="Enumeration for the different model types. ">clingo_model_type</a>. <br /></td></tr>
<tr class="separator:ga13f511e3162055cd337c7f5e2ada31a1"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gafe9df0b81b3b423f1c68dec3f64ad564"><td class="memItemLeft" align="right" valign="top">
typedef unsigned </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Model.html#gafe9df0b81b3b423f1c68dec3f64ad564">clingo_show_type_bitset_t</a></td></tr>
<tr class="memdesc:gafe9df0b81b3b423f1c68dec3f64ad564"><td class="mdescLeft"> </td><td class="mdescRight">Corresponding type to <a class="el" href="group__Model.html#gaa943fe81f0874ea63820b627bc19845c" title="Enumeration of bit flags to select symbols in models. ">clingo_show_type</a>. <br /></td></tr>
<tr class="separator:gafe9df0b81b3b423f1c68dec3f64ad564"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gae917a23b0591d181004ec88c4e3291c1"><td class="memItemLeft" align="right" valign="top">typedef unsigned </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Control.html#gae917a23b0591d181004ec88c4e3291c1">clingo_solve_result_bitset_t</a></td></tr>
<tr class="memdesc:gae917a23b0591d181004ec88c4e3291c1"><td class="mdescLeft"> </td><td class="mdescRight">Corresponding type to <a class="el" href="group__Control.html#gacebb1a43c095d4a36294a5de7191b2e4" title="Enumeration of bit masks for solve call results. ">clingo_solve_result</a>. <a href="group__Control.html#gae917a23b0591d181004ec88c4e3291c1">More...</a><br /></td></tr>
<tr class="separator:gae917a23b0591d181004ec88c4e3291c1"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaa3c0489d80175f3f2a51a2a8f7cb9d03"><td class="memItemLeft" align="right" valign="top">typedef struct clingo_solve_iteratively </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SolveIter.html#gaa3c0489d80175f3f2a51a2a8f7cb9d03">clingo_solve_iteratively_t</a></td></tr>
<tr class="memdesc:gaa3c0489d80175f3f2a51a2a8f7cb9d03"><td class="mdescLeft"> </td><td class="mdescRight">Search handle to enumerate models iteratively. <a href="group__SolveIter.html#gaa3c0489d80175f3f2a51a2a8f7cb9d03">More...</a><br /></td></tr>
<tr class="separator:gaa3c0489d80175f3f2a51a2a8f7cb9d03"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga9e82f5fc0f4925fdd2ab68a0563226f8"><td class="memItemLeft" align="right" valign="top">typedef struct clingo_solve_async </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SolveAsync.html#ga9e82f5fc0f4925fdd2ab68a0563226f8">clingo_solve_async_t</a></td></tr>
<tr class="memdesc:ga9e82f5fc0f4925fdd2ab68a0563226f8"><td class="mdescLeft"> </td><td class="mdescRight">Search handle to an asynchronous solve call. <a href="group__SolveAsync.html#ga9e82f5fc0f4925fdd2ab68a0563226f8">More...</a><br /></td></tr>
<tr class="separator:ga9e82f5fc0f4925fdd2ab68a0563226f8"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga48f4026c13a49553efce213e76ab32aa"><td class="memItemLeft" align="right" valign="top">typedef struct clingo_symbolic_atoms </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SymbolicAtoms.html#ga48f4026c13a49553efce213e76ab32aa">clingo_symbolic_atoms_t</a></td></tr>
<tr class="memdesc:ga48f4026c13a49553efce213e76ab32aa"><td class="mdescLeft"> </td><td class="mdescRight">Object to inspect symbolic atoms in a program—the relevant Herbrand base gringo uses to instantiate programs. <a href="group__SymbolicAtoms.html#ga48f4026c13a49553efce213e76ab32aa">More...</a><br /></td></tr>
<tr class="separator:ga48f4026c13a49553efce213e76ab32aa"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga0a773e6f798cb2395d0cdfab5b277ca2"><td class="memItemLeft" align="right" valign="top">typedef uint64_t </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SymbolicAtoms.html#ga0a773e6f798cb2395d0cdfab5b277ca2">clingo_symbolic_atom_iterator_t</a></td></tr>
<tr class="memdesc:ga0a773e6f798cb2395d0cdfab5b277ca2"><td class="mdescLeft"> </td><td class="mdescRight">Object to iterate over symbolic atoms. <a href="group__SymbolicAtoms.html#ga0a773e6f798cb2395d0cdfab5b277ca2">More...</a><br /></td></tr>
<tr class="separator:ga0a773e6f798cb2395d0cdfab5b277ca2"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gae61b1d9a631fac3bf2a1c1aa8f10b30a"><td class="memItemLeft" align="right" valign="top">
typedef int </td><td class="memItemRight" valign="bottom"><a class="el" href="group__TheoryAtoms.html#gae61b1d9a631fac3bf2a1c1aa8f10b30a">clingo_theory_term_type_t</a></td></tr>
<tr class="memdesc:gae61b1d9a631fac3bf2a1c1aa8f10b30a"><td class="mdescLeft"> </td><td class="mdescRight">Corresponding type to <a class="el" href="group__TheoryAtoms.html#ga710e3ca9b022d40157e357da725c0fb2" title="Enumeration of theory term types. ">clingo_theory_term_type</a>. <br /></td></tr>
<tr class="separator:gae61b1d9a631fac3bf2a1c1aa8f10b30a"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gab49a73a85ca5a2448e2c7ddcdb489eeb"><td class="memItemLeft" align="right" valign="top">
typedef struct clingo_theory_atoms </td><td class="memItemRight" valign="bottom"><a class="el" href="group__TheoryAtoms.html#gab49a73a85ca5a2448e2c7ddcdb489eeb">clingo_theory_atoms_t</a></td></tr>
<tr class="memdesc:gab49a73a85ca5a2448e2c7ddcdb489eeb"><td class="mdescLeft"> </td><td class="mdescRight">Container that stores theory atoms, elements, and terms (see <a class="el" href="group__Control.html#ga74bff4326102693d2701053d0d8ddd8d">clingo_control_theory_atoms()</a>). <br /></td></tr>
<tr class="separator:gab49a73a85ca5a2448e2c7ddcdb489eeb"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga640db8ba73adaddd5dbe50b572b77f25"><td class="memItemLeft" align="right" valign="top">typedef struct clingo_propagate_init </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Propagator.html#ga640db8ba73adaddd5dbe50b572b77f25">clingo_propagate_init_t</a></td></tr>
<tr class="memdesc:ga640db8ba73adaddd5dbe50b572b77f25"><td class="mdescLeft"> </td><td class="mdescRight">Object to initialize a used-defined propagator before each solving step. <a href="group__Propagator.html#ga640db8ba73adaddd5dbe50b572b77f25">More...</a><br /></td></tr>
<tr class="separator:ga640db8ba73adaddd5dbe50b572b77f25"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga6198e3190869e937ca7135e5314ddf26"><td class="memItemLeft" align="right" valign="top">typedef struct clingo_assignment </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Propagator.html#ga6198e3190869e937ca7135e5314ddf26">clingo_assignment_t</a></td></tr>
<tr class="memdesc:ga6198e3190869e937ca7135e5314ddf26"><td class="mdescLeft"> </td><td class="mdescRight">Represents a (partial) assignment of a particular solver. <a href="group__Propagator.html#ga6198e3190869e937ca7135e5314ddf26">More...</a><br /></td></tr>
<tr class="separator:ga6198e3190869e937ca7135e5314ddf26"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gac68cd9a38909ef2d08376f4e9a6352dd"><td class="memItemLeft" align="right" valign="top">
typedef int </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Propagator.html#gac68cd9a38909ef2d08376f4e9a6352dd">clingo_clause_type_t</a></td></tr>
<tr class="memdesc:gac68cd9a38909ef2d08376f4e9a6352dd"><td class="mdescLeft"> </td><td class="mdescRight">Corresponding type to <a class="el" href="group__Propagator.html#gab158fba808ea7d1eee7f955858aca36c" title="Enumeration of clause types determining the lifetime of a clause. ">clingo_clause_type</a>. <br /></td></tr>
<tr class="separator:gac68cd9a38909ef2d08376f4e9a6352dd"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga1cf43bea08101abb8b8cc7711c4c7165"><td class="memItemLeft" align="right" valign="top">
typedef struct clingo_propagate_control </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Propagator.html#ga1cf43bea08101abb8b8cc7711c4c7165">clingo_propagate_control_t</a></td></tr>
<tr class="memdesc:ga1cf43bea08101abb8b8cc7711c4c7165"><td class="mdescLeft"> </td><td class="mdescRight">This object can be used to add clauses and propagate literals while solving. <br /></td></tr>
<tr class="separator:ga1cf43bea08101abb8b8cc7711c4c7165"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga67bdda9d9d2ddaa31acc41e5a569db33"><td class="memItemLeft" align="right" valign="top">
typedef bool(* </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Propagator.html#ga67bdda9d9d2ddaa31acc41e5a569db33">clingo_propagator_init_callback_t</a>) (<a class="el" href="group__Propagator.html#ga640db8ba73adaddd5dbe50b572b77f25">clingo_propagate_init_t</a> *, void *)</td></tr>
<tr class="memdesc:ga67bdda9d9d2ddaa31acc41e5a569db33"><td class="mdescLeft"> </td><td class="mdescRight">Typedef for <a class="el" href="structclingo__propagator.html#a558c17fa7eebd5db4f8f836e5b07c5be">clingo_propagator::init()</a>. <br /></td></tr>
<tr class="separator:ga67bdda9d9d2ddaa31acc41e5a569db33"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gae870d426cc8f9c3db7b5aabb958c5931"><td class="memItemLeft" align="right" valign="top">
typedef bool(* </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Propagator.html#gae870d426cc8f9c3db7b5aabb958c5931">clingo_propagator_propagate_callback_t</a>) (<a class="el" href="group__Propagator.html#ga1cf43bea08101abb8b8cc7711c4c7165">clingo_propagate_control_t</a> *, <a class="el" href="group__BasicTypes.html#gaa95dd19334e536397bbad174c8fa4ff8">clingo_literal_t</a> const *, size_t, void *)</td></tr>
<tr class="memdesc:gae870d426cc8f9c3db7b5aabb958c5931"><td class="mdescLeft"> </td><td class="mdescRight">Typedef for <a class="el" href="structclingo__propagator.html#a666b871bab495a9e5904b6109c92feda">clingo_propagator::propagate()</a>. <br /></td></tr>
<tr class="separator:gae870d426cc8f9c3db7b5aabb958c5931"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gae472d20ebae3559bdd3e1eb1f2a48791"><td class="memItemLeft" align="right" valign="top">
typedef bool(* </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Propagator.html#gae472d20ebae3559bdd3e1eb1f2a48791">clingo_propagator_undo_callback_t</a>) (<a class="el" href="group__Propagator.html#ga1cf43bea08101abb8b8cc7711c4c7165">clingo_propagate_control_t</a> *, <a class="el" href="group__BasicTypes.html#gaa95dd19334e536397bbad174c8fa4ff8">clingo_literal_t</a> const *, size_t, void *)</td></tr>
<tr class="memdesc:gae472d20ebae3559bdd3e1eb1f2a48791"><td class="mdescLeft"> </td><td class="mdescRight">Typedef for <a class="el" href="structclingo__propagator.html#a8108d1789d05862f636c6ca9328d4b88">clingo_propagator::undo()</a>. <br /></td></tr>
<tr class="separator:gae472d20ebae3559bdd3e1eb1f2a48791"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaa1073f823a56901887b3c387481ce4be"><td class="memItemLeft" align="right" valign="top">
typedef bool(* </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Propagator.html#gaa1073f823a56901887b3c387481ce4be">clingo_propagator_check_callback_t</a>) (<a class="el" href="group__Propagator.html#ga1cf43bea08101abb8b8cc7711c4c7165">clingo_propagate_control_t</a> *, void *)</td></tr>
<tr class="memdesc:gaa1073f823a56901887b3c387481ce4be"><td class="mdescLeft"> </td><td class="mdescRight">Typedef for <a class="el" href="structclingo__propagator.html#a3a883ef32f49030ae701550bbdbcf4a0">clingo_propagator::check()</a>. <br /></td></tr>
<tr class="separator:gaa1073f823a56901887b3c387481ce4be"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gabac80b6c8427075a53e25c7e6dab4c89"><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structclingo__propagator.html">clingo_propagator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Propagator.html#gabac80b6c8427075a53e25c7e6dab4c89">clingo_propagator_t</a></td></tr>
<tr class="memdesc:gabac80b6c8427075a53e25c7e6dab4c89"><td class="mdescLeft"> </td><td class="mdescRight">An instance of this struct has to be registered with a solver to implement a custom propagator. <a href="group__Propagator.html#gabac80b6c8427075a53e25c7e6dab4c89">More...</a><br /></td></tr>
<tr class="separator:gabac80b6c8427075a53e25c7e6dab4c89"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaa67a416799cd19c6b46ed02233ea6947"><td class="memItemLeft" align="right" valign="top">
typedef int </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#gaa67a416799cd19c6b46ed02233ea6947">clingo_heuristic_type_t</a></td></tr>
<tr class="memdesc:gaa67a416799cd19c6b46ed02233ea6947"><td class="mdescLeft"> </td><td class="mdescRight">Corresponding type to <a class="el" href="group__ProgramBuilder.html#ga183da375afbb835c45bb9e0d402bbf82" title="Enumeration of different heuristic modifiers. ">clingo_heuristic_type</a>. <br /></td></tr>
<tr class="separator:gaa67a416799cd19c6b46ed02233ea6947"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga176cf284ec38d9b3626d6584b3cb407e"><td class="memItemLeft" align="right" valign="top">
typedef int </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#ga176cf284ec38d9b3626d6584b3cb407e">clingo_external_type_t</a></td></tr>
<tr class="memdesc:ga176cf284ec38d9b3626d6584b3cb407e"><td class="mdescLeft"> </td><td class="mdescRight">Corresponding type to <a class="el" href="group__ProgramBuilder.html#gafc14f388b0487330a84b32f8c5bcc5f4" title="Enumeration of different external statements. ">clingo_external_type</a>. <br /></td></tr>
<tr class="separator:ga176cf284ec38d9b3626d6584b3cb407e"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga6f74083bf70e4b167bccc837f5c934d7"><td class="memItemLeft" align="right" valign="top">
typedef struct <a class="el" href="structclingo__weighted__literal.html">clingo_weighted_literal</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#ga6f74083bf70e4b167bccc837f5c934d7">clingo_weighted_literal_t</a></td></tr>
<tr class="memdesc:ga6f74083bf70e4b167bccc837f5c934d7"><td class="mdescLeft"> </td><td class="mdescRight">A Literal with an associated weight. <br /></td></tr>
<tr class="separator:ga6f74083bf70e4b167bccc837f5c934d7"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga5e9458723e4631599ada46f8748ca577"><td class="memItemLeft" align="right" valign="top">
typedef struct clingo_backend </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#ga5e9458723e4631599ada46f8748ca577">clingo_backend_t</a></td></tr>
<tr class="memdesc:ga5e9458723e4631599ada46f8748ca577"><td class="mdescLeft"> </td><td class="mdescRight">Handle to the backend to add directives in aspif format. <br /></td></tr>
<tr class="separator:ga5e9458723e4631599ada46f8748ca577"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gae1ebf660b21d8d00b24fe24e6dc6a69c"><td class="memItemLeft" align="right" valign="top">
typedef unsigned </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Configuration.html#gae1ebf660b21d8d00b24fe24e6dc6a69c">clingo_configuration_type_bitset_t</a></td></tr>
<tr class="memdesc:gae1ebf660b21d8d00b24fe24e6dc6a69c"><td class="mdescLeft"> </td><td class="mdescRight">Bitset for values of type <a class="el" href="group__Configuration.html#ga8d4d89c03a4e093449e379af02929772" title="Enumeration for entries of the configuration. ">clingo_configuration_type</a>. <br /></td></tr>
<tr class="separator:gae1ebf660b21d8d00b24fe24e6dc6a69c"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gabf3ac9f48abde87a53cdba386f21bc2f"><td class="memItemLeft" align="right" valign="top">
typedef struct clingo_configuration </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Configuration.html#gabf3ac9f48abde87a53cdba386f21bc2f">clingo_configuration_t</a></td></tr>
<tr class="memdesc:gabf3ac9f48abde87a53cdba386f21bc2f"><td class="mdescLeft"> </td><td class="mdescRight">Handle for to the solver configuration. <br /></td></tr>
<tr class="separator:gabf3ac9f48abde87a53cdba386f21bc2f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga3403c9356dad61654cdcf40985aa4de2"><td class="memItemLeft" align="right" valign="top">
typedef int </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Statistics.html#ga3403c9356dad61654cdcf40985aa4de2">clingo_statistics_type_t</a></td></tr>
<tr class="memdesc:ga3403c9356dad61654cdcf40985aa4de2"><td class="mdescLeft"> </td><td class="mdescRight">Corresponding type to <a class="el" href="group__Control.html#gacebb1a43c095d4a36294a5de7191b2e4" title="Enumeration of bit masks for solve call results. ">clingo_solve_result</a>. <br /></td></tr>
<tr class="separator:ga3403c9356dad61654cdcf40985aa4de2"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaaba3981b0eb26dcf3e1b2043245e2516"><td class="memItemLeft" align="right" valign="top">
typedef struct clingo_statistic </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Statistics.html#gaaba3981b0eb26dcf3e1b2043245e2516">clingo_statistics_t</a></td></tr>
<tr class="memdesc:gaaba3981b0eb26dcf3e1b2043245e2516"><td class="mdescLeft"> </td><td class="mdescRight">Handle for to the solver statistics. <br /></td></tr>
<tr class="separator:gaaba3981b0eb26dcf3e1b2043245e2516"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga53874fdabc851b1d5c5ca4f448bb4e03"><td class="memItemLeft" align="right" valign="top">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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">
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:ga95f2d12783b3a1d6df818798ede98805"><td class="memItemLeft" align="right" valign="top">
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:ga95f2d12783b3a1d6df818798ede98805"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaf3ea2b021e93cdcc0f6c7b4219e4a06d"><td class="memItemLeft" align="right" valign="top">
typedef struct clingo_program_builder </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#gaf3ea2b021e93cdcc0f6c7b4219e4a06d">clingo_program_builder_t</a></td></tr>
<tr class="memdesc:gaf3ea2b021e93cdcc0f6c7b4219e4a06d"><td class="mdescLeft"> </td><td class="mdescRight">Object to build non-ground programs. <br /></td></tr>
<tr class="separator:gaf3ea2b021e93cdcc0f6c7b4219e4a06d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaf008e9db9dbb37b0b7ef039bb9d582f0"><td class="memItemLeft" align="right" valign="top">
typedef struct clingo_control </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Control.html#gaf008e9db9dbb37b0b7ef039bb9d582f0">clingo_control_t</a></td></tr>
<tr class="memdesc:gaf008e9db9dbb37b0b7ef039bb9d582f0"><td class="mdescLeft"> </td><td class="mdescRight">Control object holding grounding and solving state. <br /></td></tr>
<tr class="separator:gaf008e9db9dbb37b0b7ef039bb9d582f0"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga3cf33a34a4f98a6e455fd7a8ea37b495"><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structclingo__part.html">clingo_part</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Control.html#ga3cf33a34a4f98a6e455fd7a8ea37b495">clingo_part_t</a></td></tr>
<tr class="memdesc:ga3cf33a34a4f98a6e455fd7a8ea37b495"><td class="mdescLeft"> </td><td class="mdescRight">Struct used to specify the program parts that have to be grounded. <a href="group__Control.html#ga3cf33a34a4f98a6e455fd7a8ea37b495">More...</a><br /></td></tr>
<tr class="separator:ga3cf33a34a4f98a6e455fd7a8ea37b495"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga4abe18b31ed3f61b1889700f63110ee4"><td class="memItemLeft" align="right" valign="top">typedef bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Control.html#ga4abe18b31ed3f61b1889700f63110ee4">clingo_symbol_callback_t</a>(<a class="el" href="group__Symbols.html#ga6c75c60fa57c3b97505265ff08f6f951">clingo_symbol_t</a> const *symbols, size_t symbols_size, void *data)</td></tr>
<tr class="memdesc:ga4abe18b31ed3f61b1889700f63110ee4"><td class="mdescLeft"> </td><td class="mdescRight">Callback function to inject symbols. <a href="group__Control.html#ga4abe18b31ed3f61b1889700f63110ee4">More...</a><br /></td></tr>
<tr class="separator:ga4abe18b31ed3f61b1889700f63110ee4"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaa6dc8ed22a316ff37bc88c4d7686467c"><td class="memItemLeft" align="right" valign="top">typedef bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Control.html#gaa6dc8ed22a316ff37bc88c4d7686467c">clingo_ground_callback_t</a>(<a class="el" href="group__BasicTypes.html#ga07e91950463516bb999ed021ca8f73c4">clingo_location_t</a> location, char const *name, <a class="el" href="group__Symbols.html#ga6c75c60fa57c3b97505265ff08f6f951">clingo_symbol_t</a> const *arguments, size_t arguments_size, void *data, <a class="el" href="group__Control.html#ga4abe18b31ed3f61b1889700f63110ee4">clingo_symbol_callback_t</a> *symbol_callback, void *symbol_callback_data)</td></tr>
<tr class="memdesc:gaa6dc8ed22a316ff37bc88c4d7686467c"><td class="mdescLeft"> </td><td class="mdescRight">Callback function to implement external functions. <a href="group__Control.html#gaa6dc8ed22a316ff37bc88c4d7686467c">More...</a><br /></td></tr>
<tr class="separator:gaa6dc8ed22a316ff37bc88c4d7686467c"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gad666e6b4fba4d652351592937ccdc287"><td class="memItemLeft" align="right" valign="top">typedef bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Control.html#gad666e6b4fba4d652351592937ccdc287">clingo_model_callback_t</a>(<a class="el" href="group__Model.html#gaaf9a93819f023f3cb8aa80598c46556b">clingo_model_t</a> *model, void *data, bool *goon)</td></tr>
<tr class="memdesc:gad666e6b4fba4d652351592937ccdc287"><td class="mdescLeft"> </td><td class="mdescRight">Callback function to intercept models. <a href="group__Control.html#gad666e6b4fba4d652351592937ccdc287">More...</a><br /></td></tr>
<tr class="separator:gad666e6b4fba4d652351592937ccdc287"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaaffc6a39822645d3d869cd1b9aeb33e7"><td class="memItemLeft" align="right" valign="top">typedef bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Control.html#gaaffc6a39822645d3d869cd1b9aeb33e7">clingo_finish_callback_t</a>(<a class="el" href="group__Control.html#gae917a23b0591d181004ec88c4e3291c1">clingo_solve_result_bitset_t</a> result, void *data)</td></tr>
<tr class="memdesc:gaaffc6a39822645d3d869cd1b9aeb33e7"><td class="mdescLeft"> </td><td class="mdescRight">Callback function called at the end of an asynchronous solve operation. <a href="group__Control.html#gaaffc6a39822645d3d869cd1b9aeb33e7">More...</a><br /></td></tr>
<tr class="separator:gaaffc6a39822645d3d869cd1b9aeb33e7"><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:ga5adba1f5e366e7489ac4a3fb5266dba6"><td class="memItemLeft" align="right" valign="top">enum  </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#ga5adba1f5e366e7489ac4a3fb5266dba6">clingo_error</a> { <br />
  <a class="el" href="group__BasicTypes.html#gga5adba1f5e366e7489ac4a3fb5266dba6aabdc3ab9fa6ed5f2b9032f8dfb2303e2">clingo_error_success</a> = 0,
<a class="el" href="group__BasicTypes.html#gga5adba1f5e366e7489ac4a3fb5266dba6af43eebc9503fef8d1b2b85f99bb63221">clingo_error_runtime</a> = 1,
<a class="el" href="group__BasicTypes.html#gga5adba1f5e366e7489ac4a3fb5266dba6a4aa101607590cdc8b4597d7c05e5f3af">clingo_error_logic</a> = 2,
<a class="el" href="group__BasicTypes.html#gga5adba1f5e366e7489ac4a3fb5266dba6aa14a0926eb3e653fcc13299b33d8d348">clingo_error_bad_alloc</a> = 3,
<br />
  <a class="el" href="group__BasicTypes.html#gga5adba1f5e366e7489ac4a3fb5266dba6af0ac62d4f86f97849bc7fd25dbbfb676">clingo_error_unknown</a> = 4
<br />
}<tr class="memdesc:ga5adba1f5e366e7489ac4a3fb5266dba6"><td class="mdescLeft"> </td><td class="mdescRight">Enumeration of error codes. <a href="group__BasicTypes.html#ga5adba1f5e366e7489ac4a3fb5266dba6">More...</a><br /></td></tr>
</td></tr>
<tr class="separator:ga5adba1f5e366e7489ac4a3fb5266dba6"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga9450a4671f96494cc0a346b8f226fde7"><td class="memItemLeft" align="right" valign="top">enum  </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#ga9450a4671f96494cc0a346b8f226fde7">clingo_warning</a> { <br />
  <a class="el" href="group__BasicTypes.html#gga9450a4671f96494cc0a346b8f226fde7ae92ff83974bba289245d1653de911e94">clingo_warning_operation_undefined</a> = 0,
<a class="el" href="group__BasicTypes.html#gga9450a4671f96494cc0a346b8f226fde7abce4cd7a1612deb2227527906c978f83">clingo_warning_runtime_error</a> = 1,
<a class="el" href="group__BasicTypes.html#gga9450a4671f96494cc0a346b8f226fde7a3cdd17d02e6c770c0a9580dc42bc769b">clingo_warning_atom_undefined</a> = 2,
<a class="el" href="group__BasicTypes.html#gga9450a4671f96494cc0a346b8f226fde7a9e90a7846008b78e00916d6a5ba44e81">clingo_warning_file_included</a> = 3,
<br />
  <a class="el" href="group__BasicTypes.html#gga9450a4671f96494cc0a346b8f226fde7ad66e82f4761fbe55ef734b70c8d51194">clingo_warning_variable_unbounded</a> = 4,
<a class="el" href="group__BasicTypes.html#gga9450a4671f96494cc0a346b8f226fde7af2b915599883a729338648b1dc714412">clingo_warning_global_variable</a> = 5,
<a class="el" href="group__BasicTypes.html#gga9450a4671f96494cc0a346b8f226fde7ab8b72c67ad8a5de2b941ff19ae0ea9d9">clingo_warning_other</a> = 6
<br />
}<tr class="memdesc:ga9450a4671f96494cc0a346b8f226fde7"><td class="mdescLeft"> </td><td class="mdescRight">Enumeration of warning codes. <a href="group__BasicTypes.html#ga9450a4671f96494cc0a346b8f226fde7">More...</a><br /></td></tr>
</td></tr>
<tr class="separator:ga9450a4671f96494cc0a346b8f226fde7"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga6847b34622ab224c5867a84ef9c08126"><td class="memItemLeft" align="right" valign="top">enum  </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#ga6847b34622ab224c5867a84ef9c08126">clingo_truth_value</a> { <a class="el" href="group__BasicTypes.html#gga6847b34622ab224c5867a84ef9c08126aacc9d89f5d784e0d92895cfbcd6d6f6b">clingo_truth_value_free</a> = 0,
<a class="el" href="group__BasicTypes.html#gga6847b34622ab224c5867a84ef9c08126a304e39ab32ecb495a7a13626a3125276">clingo_truth_value_true</a> = 1,
<a class="el" href="group__BasicTypes.html#gga6847b34622ab224c5867a84ef9c08126a2ac4886c8ca9dfd7f0d70cd24e07cf52">clingo_truth_value_false</a> = 2
}<tr class="memdesc:ga6847b34622ab224c5867a84ef9c08126"><td class="mdescLeft"> </td><td class="mdescRight">Represents three-valued truth values. <a href="group__BasicTypes.html#ga6847b34622ab224c5867a84ef9c08126">More...</a><br /></td></tr>
</td></tr>
<tr class="separator:ga6847b34622ab224c5867a84ef9c08126"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga10b4acfcfc14bec918cb1e7c7ded881d"><td class="memItemLeft" align="right" valign="top">enum  </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Symbols.html#ga10b4acfcfc14bec918cb1e7c7ded881d">clingo_symbol_type</a> { <br />
  <a class="el" href="group__Symbols.html#gga10b4acfcfc14bec918cb1e7c7ded881daa67c716e8002666c3fb216fc8358041d">clingo_symbol_type_infimum</a> = 0,
<a class="el" href="group__Symbols.html#gga10b4acfcfc14bec918cb1e7c7ded881da498cb34a333861a9ba21ffd6ede7b2b7">clingo_symbol_type_number</a> = 1,
<a class="el" href="group__Symbols.html#gga10b4acfcfc14bec918cb1e7c7ded881da57a870e8808b0f3329df368878b7733c">clingo_symbol_type_string</a> = 4,
<a class="el" href="group__Symbols.html#gga10b4acfcfc14bec918cb1e7c7ded881da5dc2205be475548ab5e33b1f8156b38c">clingo_symbol_type_function</a> = 5,
<br />
  <a class="el" href="group__Symbols.html#gga10b4acfcfc14bec918cb1e7c7ded881da6ad9a95a9ec5fde1e6078ebae2fa3b48">clingo_symbol_type_supremum</a> = 7
<br />
}<tr class="memdesc:ga10b4acfcfc14bec918cb1e7c7ded881d"><td class="mdescLeft"> </td><td class="mdescRight">Enumeration of available symbol types. <a href="group__Symbols.html#ga10b4acfcfc14bec918cb1e7c7ded881d">More...</a><br /></td></tr>
</td></tr>
<tr class="separator:ga10b4acfcfc14bec918cb1e7c7ded881d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gad41ae442c905008f0dcd923c4ef3bc7c"><td class="memItemLeft" align="right" valign="top">enum  </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Model.html#gad41ae442c905008f0dcd923c4ef3bc7c">clingo_model_type</a> { <a class="el" href="group__Model.html#ggad41ae442c905008f0dcd923c4ef3bc7ca26c979a76b39d052f9e4475b5479bbdf">clingo_model_type_stable_model</a> = 0,
<a class="el" href="group__Model.html#ggad41ae442c905008f0dcd923c4ef3bc7ca6a84892300ae13401572c5b5a9bd69db">clingo_model_type_brave_consequences</a> = 1,
<a class="el" href="group__Model.html#ggad41ae442c905008f0dcd923c4ef3bc7ca4ae425fae120bbeb34c5f983833b66d7">clingo_model_type_cautious_consequences</a> = 2
}<tr class="memdesc:gad41ae442c905008f0dcd923c4ef3bc7c"><td class="mdescLeft"> </td><td class="mdescRight">Enumeration for the different model types. <a href="group__Model.html#gad41ae442c905008f0dcd923c4ef3bc7c">More...</a><br /></td></tr>
</td></tr>
<tr class="separator:gad41ae442c905008f0dcd923c4ef3bc7c"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaa943fe81f0874ea63820b627bc19845c"><td class="memItemLeft" align="right" valign="top">enum  </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Model.html#gaa943fe81f0874ea63820b627bc19845c">clingo_show_type</a> { <br />
  <a class="el" href="group__Model.html#ggaa943fe81f0874ea63820b627bc19845ca56d966fbade932635e553287f0ea2afa">clingo_show_type_csp</a> = 1,
<a class="el" href="group__Model.html#ggaa943fe81f0874ea63820b627bc19845ca82a698ef41cd919cb370d22fc0b44826">clingo_show_type_shown</a> = 2,
<a class="el" href="group__Model.html#ggaa943fe81f0874ea63820b627bc19845cae4881b426be40132ce254553a1f7c78e">clingo_show_type_atoms</a> = 4,
<a class="el" href="group__Model.html#ggaa943fe81f0874ea63820b627bc19845ca25cc3101d9085b55be080510077c11cb">clingo_show_type_terms</a> = 8,
<br />
  <a class="el" href="group__Model.html#ggaa943fe81f0874ea63820b627bc19845ca74d2683cec0daddaf89a92a22d4b7aa6">clingo_show_type_extra</a> = 16,
<a class="el" href="group__Model.html#ggaa943fe81f0874ea63820b627bc19845cac551bc7db5006075983eb6d458afb5e7">clingo_show_type_all</a> = 31,
<a class="el" href="group__Model.html#ggaa943fe81f0874ea63820b627bc19845ca764756fce5bfb41ba2d3bf23c4c85e09">clingo_show_type_complement</a> = 32
<br />
}<tr class="memdesc:gaa943fe81f0874ea63820b627bc19845c"><td class="mdescLeft"> </td><td class="mdescRight">Enumeration of bit flags to select symbols in models. <a href="group__Model.html#gaa943fe81f0874ea63820b627bc19845c">More...</a><br /></td></tr>
</td></tr>
<tr class="separator:gaa943fe81f0874ea63820b627bc19845c"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gacebb1a43c095d4a36294a5de7191b2e4"><td class="memItemLeft" align="right" valign="top">enum  </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Control.html#gacebb1a43c095d4a36294a5de7191b2e4">clingo_solve_result</a> { <a class="el" href="group__Control.html#ggacebb1a43c095d4a36294a5de7191b2e4ae71ed354490afbb3b9c6d6ea9d20910d">clingo_solve_result_satisfiable</a> = 1,
<a class="el" href="group__Control.html#ggacebb1a43c095d4a36294a5de7191b2e4a313b2d51ea0b84abc2cd28e44d98be77">clingo_solve_result_unsatisfiable</a> = 2,
<a class="el" href="group__Control.html#ggacebb1a43c095d4a36294a5de7191b2e4a9f6904e39554c1bb16e2339fd534eafd">clingo_solve_result_exhausted</a> = 4,
<a class="el" href="group__Control.html#ggacebb1a43c095d4a36294a5de7191b2e4a9f32a002b3f8a88c6ca4e347e91af1eb">clingo_solve_result_interrupted</a> = 8
}<tr class="memdesc:gacebb1a43c095d4a36294a5de7191b2e4"><td class="mdescLeft"> </td><td class="mdescRight">Enumeration of bit masks for solve call results. <a href="group__Control.html#gacebb1a43c095d4a36294a5de7191b2e4">More...</a><br /></td></tr>
</td></tr>
<tr class="separator:gacebb1a43c095d4a36294a5de7191b2e4"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga710e3ca9b022d40157e357da725c0fb2"><td class="memItemLeft" align="right" valign="top">enum  </td><td class="memItemRight" valign="bottom"><a class="el" href="group__TheoryAtoms.html#ga710e3ca9b022d40157e357da725c0fb2">clingo_theory_term_type</a> { <br />
  <a class="el" href="group__TheoryAtoms.html#gga710e3ca9b022d40157e357da725c0fb2af9813c31a46f23fad25070594459573e">clingo_theory_term_type_tuple</a>,
<a class="el" href="group__TheoryAtoms.html#gga710e3ca9b022d40157e357da725c0fb2abb6c5bd925d8cd37716bd726f55bb0cd">clingo_theory_term_type_list</a>,
<a class="el" href="group__TheoryAtoms.html#gga710e3ca9b022d40157e357da725c0fb2a543b532b0188c59fd32979cd98cacf87">clingo_theory_term_type_set</a>,
<a class="el" href="group__TheoryAtoms.html#gga710e3ca9b022d40157e357da725c0fb2adc14689230dbdfd94d9be8df9e7208bf">clingo_theory_term_type_function</a>,
<br />
  <a class="el" href="group__TheoryAtoms.html#gga710e3ca9b022d40157e357da725c0fb2ad0c262476504dc048e305e2ee6b821d5">clingo_theory_term_type_number</a>,
<a class="el" href="group__TheoryAtoms.html#gga710e3ca9b022d40157e357da725c0fb2a037a84ef958a56e5bf4a4a7104d86c7f">clingo_theory_term_type_symbol</a>
<br />
}<tr class="memdesc:ga710e3ca9b022d40157e357da725c0fb2"><td class="mdescLeft"> </td><td class="mdescRight">Enumeration of theory term types. <a href="group__TheoryAtoms.html#ga710e3ca9b022d40157e357da725c0fb2">More...</a><br /></td></tr>
</td></tr>
<tr class="separator:ga710e3ca9b022d40157e357da725c0fb2"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gab158fba808ea7d1eee7f955858aca36c"><td class="memItemLeft" align="right" valign="top">enum  </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Propagator.html#gab158fba808ea7d1eee7f955858aca36c">clingo_clause_type</a> { <a class="el" href="group__Propagator.html#ggab158fba808ea7d1eee7f955858aca36ca35c9cfe61e2130b0292866860218ee58">clingo_clause_type_learnt</a> = 0,
<a class="el" href="group__Propagator.html#ggab158fba808ea7d1eee7f955858aca36caa2c3713451094ee97afb514312822cbc">clingo_clause_type_static</a> = 1,
<a class="el" href="group__Propagator.html#ggab158fba808ea7d1eee7f955858aca36ca685f2488ec3067d910c57b5c2fbdb96d">clingo_clause_type_volatile</a> = 2,
<a class="el" href="group__Propagator.html#ggab158fba808ea7d1eee7f955858aca36cacbc856b61916be9757c7bd9f231f0c03">clingo_clause_type_volatile_static</a> = 3
}<tr class="memdesc:gab158fba808ea7d1eee7f955858aca36c"><td class="mdescLeft"> </td><td class="mdescRight">Enumeration of clause types determining the lifetime of a clause. <a href="group__Propagator.html#gab158fba808ea7d1eee7f955858aca36c">More...</a><br /></td></tr>
</td></tr>
<tr class="separator:gab158fba808ea7d1eee7f955858aca36c"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga183da375afbb835c45bb9e0d402bbf82"><td class="memItemLeft" align="right" valign="top">enum  </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#ga183da375afbb835c45bb9e0d402bbf82">clingo_heuristic_type</a> { <br />
  <a class="el" href="group__ProgramBuilder.html#gga183da375afbb835c45bb9e0d402bbf82a8eeb163846c75b11de9af6772438303a">clingo_heuristic_type_level</a> = 0,
<a class="el" href="group__ProgramBuilder.html#gga183da375afbb835c45bb9e0d402bbf82a922b4061aafa6239fb15a0985c2a3ae9">clingo_heuristic_type_sign</a> = 1,
<a class="el" href="group__ProgramBuilder.html#gga183da375afbb835c45bb9e0d402bbf82a8987b24f9738e211ff933e0863f8327d">clingo_heuristic_type_factor</a> = 2,
<a class="el" href="group__ProgramBuilder.html#gga183da375afbb835c45bb9e0d402bbf82a11307df0595c1e261a8e2421bd7a6046">clingo_heuristic_type_init</a> = 3,
<br />
  <a class="el" href="group__ProgramBuilder.html#gga183da375afbb835c45bb9e0d402bbf82a33a18c2fb9533de0a036e40b5cfe95ed">clingo_heuristic_type_true</a> = 4,
<a class="el" href="group__ProgramBuilder.html#gga183da375afbb835c45bb9e0d402bbf82a07e1bf4703553a1ed8fcd388b80fa5cc">clingo_heuristic_type_false</a> = 5
<br />
}<tr class="memdesc:ga183da375afbb835c45bb9e0d402bbf82"><td class="mdescLeft"> </td><td class="mdescRight">Enumeration of different heuristic modifiers. <a href="group__ProgramBuilder.html#ga183da375afbb835c45bb9e0d402bbf82">More...</a><br /></td></tr>
</td></tr>
<tr class="separator:ga183da375afbb835c45bb9e0d402bbf82"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gafc14f388b0487330a84b32f8c5bcc5f4"><td class="memItemLeft" align="right" valign="top">enum  </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#gafc14f388b0487330a84b32f8c5bcc5f4">clingo_external_type</a> { <a class="el" href="group__ProgramBuilder.html#ggafc14f388b0487330a84b32f8c5bcc5f4a475c9c8288d9ad4437bb7d6b4cc703e5">clingo_external_type_free</a> = 0,
<a class="el" href="group__ProgramBuilder.html#ggafc14f388b0487330a84b32f8c5bcc5f4a5182f96c94477b5ce7c669218bb6070b">clingo_external_type_true</a> = 1,
<a class="el" href="group__ProgramBuilder.html#ggafc14f388b0487330a84b32f8c5bcc5f4aa456c48e83b159db4b28d6b3924a16b8">clingo_external_type_false</a> = 2,
<a class="el" href="group__ProgramBuilder.html#ggafc14f388b0487330a84b32f8c5bcc5f4aaa8a481558b9b9a4fc89016c6e94b117">clingo_external_type_release</a> = 3
}<tr class="memdesc:gafc14f388b0487330a84b32f8c5bcc5f4"><td class="mdescLeft"> </td><td class="mdescRight">Enumeration of different external statements. <a href="group__ProgramBuilder.html#gafc14f388b0487330a84b32f8c5bcc5f4">More...</a><br /></td></tr>
</td></tr>
<tr class="separator:gafc14f388b0487330a84b32f8c5bcc5f4"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga8d4d89c03a4e093449e379af02929772"><td class="memItemLeft" align="right" valign="top">enum  </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Configuration.html#ga8d4d89c03a4e093449e379af02929772">clingo_configuration_type</a> { <a class="el" href="group__Configuration.html#gga8d4d89c03a4e093449e379af02929772aac81ac118558aca24a61f668dee17450">clingo_configuration_type_value</a> = 1,
<a class="el" href="group__Configuration.html#gga8d4d89c03a4e093449e379af02929772a774fe9fe60872f2d2418dde97fc3c6fa">clingo_configuration_type_array</a> = 2,
<a class="el" href="group__Configuration.html#gga8d4d89c03a4e093449e379af02929772a4c5211be109b64361373c40ca61e9e0f">clingo_configuration_type_map</a> = 4
}<tr class="memdesc:ga8d4d89c03a4e093449e379af02929772"><td class="mdescLeft"> </td><td class="mdescRight">Enumeration for entries of the configuration. <a href="group__Configuration.html#ga8d4d89c03a4e093449e379af02929772">More...</a><br /></td></tr>
</td></tr>
<tr class="separator:ga8d4d89c03a4e093449e379af02929772"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gae73b0bd7aa417c5464cf685b1ab171c3"><td class="memItemLeft" align="right" valign="top">enum  </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Statistics.html#gae73b0bd7aa417c5464cf685b1ab171c3">clingo_statistics_type</a> { <a class="el" href="group__Statistics.html#ggae73b0bd7aa417c5464cf685b1ab171c3af4631936f82edb3ca0f61ef6224cc694">clingo_statistics_type_empty</a> = 0,
<a class="el" href="group__Statistics.html#ggae73b0bd7aa417c5464cf685b1ab171c3afb64d43d4fb5619ff9b23a10d4a9d6a2">clingo_statistics_type_value</a> = 1,
<a class="el" href="group__Statistics.html#ggae73b0bd7aa417c5464cf685b1ab171c3af019ec1d66b02aed35f248adbca1ec78">clingo_statistics_type_array</a> = 2,
<a class="el" href="group__Statistics.html#ggae73b0bd7aa417c5464cf685b1ab171c3aebbd4de02271d79efb38fd3a6a640178">clingo_statistics_type_map</a> = 3
}<tr class="memdesc:gae73b0bd7aa417c5464cf685b1ab171c3"><td class="mdescLeft"> </td><td class="mdescRight">Enumeration for entries of the statistics. <a href="group__Statistics.html#gae73b0bd7aa417c5464cf685b1ab171c3">More...</a><br /></td></tr>
</td></tr>
<tr class="separator:gae73b0bd7aa417c5464cf685b1ab171c3"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga73b432a6d5746cdb80d9da6c3dfa3c9b"><td class="memItemLeft" align="right" valign="top"><a class="anchor" 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 class="anchor" 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 class="anchor" 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 class="anchor" 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 class="anchor" 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 class="anchor" 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 class="anchor" 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 class="anchor" 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 class="anchor" 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 class="anchor" 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 class="anchor" 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 class="anchor" 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 class="anchor" 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 class="anchor" 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:gaa7f4aa31ecb4c1dff39b362b05afbabb"><td class="memItemLeft" align="right" valign="top">
char const * </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#gaa7f4aa31ecb4c1dff39b362b05afbabb">clingo_error_string</a> (<a class="el" href="group__BasicTypes.html#ga885ae40aca699f7b86a1e76b2899fb2e">clingo_error_t</a> code)</td></tr>
<tr class="memdesc:gaa7f4aa31ecb4c1dff39b362b05afbabb"><td class="mdescLeft"> </td><td class="mdescRight">Convert error code into string. <br /></td></tr>
<tr class="separator:gaa7f4aa31ecb4c1dff39b362b05afbabb"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga94ce73fd010c0dbad708901a472f2c7a"><td class="memItemLeft" align="right" valign="top"><a class="el" href="group__BasicTypes.html#ga885ae40aca699f7b86a1e76b2899fb2e">clingo_error_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#ga94ce73fd010c0dbad708901a472f2c7a">clingo_error_code</a> ()</td></tr>
<tr class="memdesc:ga94ce73fd010c0dbad708901a472f2c7a"><td class="mdescLeft"> </td><td class="mdescRight">Get the last error code set by a clingo API call. <a href="group__BasicTypes.html#ga94ce73fd010c0dbad708901a472f2c7a">More...</a><br /></td></tr>
<tr class="separator:ga94ce73fd010c0dbad708901a472f2c7a"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga9732caf39396e15e7a2eb0e01d1a71b0"><td class="memItemLeft" align="right" valign="top">char const * </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#ga9732caf39396e15e7a2eb0e01d1a71b0">clingo_error_message</a> ()</td></tr>
<tr class="memdesc:ga9732caf39396e15e7a2eb0e01d1a71b0"><td class="mdescLeft"> </td><td class="mdescRight">Get the last error message set if an API call fails. <a href="group__BasicTypes.html#ga9732caf39396e15e7a2eb0e01d1a71b0">More...</a><br /></td></tr>
<tr class="separator:ga9732caf39396e15e7a2eb0e01d1a71b0"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga861bc86ccee813d744920ac0de35ee11"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#ga861bc86ccee813d744920ac0de35ee11">clingo_set_error</a> (<a class="el" href="group__BasicTypes.html#ga885ae40aca699f7b86a1e76b2899fb2e">clingo_error_t</a> code, char const *message)</td></tr>
<tr class="memdesc:ga861bc86ccee813d744920ac0de35ee11"><td class="mdescLeft"> </td><td class="mdescRight">Set a custom error code and message in the active thread. <a href="group__BasicTypes.html#ga861bc86ccee813d744920ac0de35ee11">More...</a><br /></td></tr>
<tr class="separator:ga861bc86ccee813d744920ac0de35ee11"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga78cf451531bac073c6a2785089f45756"><td class="memItemLeft" align="right" valign="top">
char const * </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#ga78cf451531bac073c6a2785089f45756">clingo_warning_string</a> (<a class="el" href="group__BasicTypes.html#ga97c5ab5e7ca6bbe427961dc514977124">clingo_warning_t</a> code)</td></tr>
<tr class="memdesc:ga78cf451531bac073c6a2785089f45756"><td class="mdescLeft"> </td><td class="mdescRight">Convert warning code into string. <br /></td></tr>
<tr class="separator:ga78cf451531bac073c6a2785089f45756"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gac0206ac9c79e429b41dcb82c668ad7d4"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="group__BasicTypes.html#gac0206ac9c79e429b41dcb82c668ad7d4">clingo_version</a> (int *major, int *minor, int *revision)</td></tr>
<tr class="memdesc:gac0206ac9c79e429b41dcb82c668ad7d4"><td class="mdescLeft"> </td><td class="mdescRight">Obtain the clingo version. <a href="group__BasicTypes.html#gac0206ac9c79e429b41dcb82c668ad7d4">More...</a><br /></td></tr>
<tr class="separator:gac0206ac9c79e429b41dcb82c668ad7d4"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga22863da15fe521c505f57d4a86b7f3e8"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Symbols.html#ga22863da15fe521c505f57d4a86b7f3e8">clingo_add_string</a> (char const *string, char const **result)</td></tr>
<tr class="memdesc:ga22863da15fe521c505f57d4a86b7f3e8"><td class="mdescLeft"> </td><td class="mdescRight">Internalize a string. <a href="group__Symbols.html#ga22863da15fe521c505f57d4a86b7f3e8">More...</a><br /></td></tr>
<tr class="separator:ga22863da15fe521c505f57d4a86b7f3e8"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga450350be82914c0cc5aa637c8d28d3e7"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Symbols.html#ga450350be82914c0cc5aa637c8d28d3e7">clingo_parse_term</a> (char const *string, <a class="el" href="group__BasicTypes.html#gaff11abc056335394295ce2ffdc88daac">clingo_logger_t</a> *logger, void *logger_data, unsigned message_limit, <a class="el" href="group__Symbols.html#ga6c75c60fa57c3b97505265ff08f6f951">clingo_symbol_t</a> *symbol)</td></tr>
<tr class="memdesc:ga450350be82914c0cc5aa637c8d28d3e7"><td class="mdescLeft"> </td><td class="mdescRight">Parse a term in string form. <a href="group__Symbols.html#ga450350be82914c0cc5aa637c8d28d3e7">More...</a><br /></td></tr>
<tr class="separator:ga450350be82914c0cc5aa637c8d28d3e7"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gab01a023960eca822843cd323ff21db0e"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SolveIter.html#gab01a023960eca822843cd323ff21db0e">clingo_solve_iteratively_next</a> (<a class="el" href="group__SolveIter.html#gaa3c0489d80175f3f2a51a2a8f7cb9d03">clingo_solve_iteratively_t</a> *handle, <a class="el" href="group__Model.html#gaaf9a93819f023f3cb8aa80598c46556b">clingo_model_t</a> **model)</td></tr>
<tr class="memdesc:gab01a023960eca822843cd323ff21db0e"><td class="mdescLeft"> </td><td class="mdescRight">Get the next model. <a href="group__SolveIter.html#gab01a023960eca822843cd323ff21db0e">More...</a><br /></td></tr>
<tr class="separator:gab01a023960eca822843cd323ff21db0e"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga8a2a5d7eff10dc0c2e85c902ba700c32"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SolveIter.html#ga8a2a5d7eff10dc0c2e85c902ba700c32">clingo_solve_iteratively_get</a> (<a class="el" href="group__SolveIter.html#gaa3c0489d80175f3f2a51a2a8f7cb9d03">clingo_solve_iteratively_t</a> *handle, <a class="el" href="group__Control.html#gae917a23b0591d181004ec88c4e3291c1">clingo_solve_result_bitset_t</a> *result)</td></tr>
<tr class="memdesc:ga8a2a5d7eff10dc0c2e85c902ba700c32"><td class="mdescLeft"> </td><td class="mdescRight">Get the solve result. <a href="group__SolveIter.html#ga8a2a5d7eff10dc0c2e85c902ba700c32">More...</a><br /></td></tr>
<tr class="separator:ga8a2a5d7eff10dc0c2e85c902ba700c32"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga68671ff8611ff144adc24f5b809a1a3a"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SolveIter.html#ga68671ff8611ff144adc24f5b809a1a3a">clingo_solve_iteratively_close</a> (<a class="el" href="group__SolveIter.html#gaa3c0489d80175f3f2a51a2a8f7cb9d03">clingo_solve_iteratively_t</a> *handle)</td></tr>
<tr class="memdesc:ga68671ff8611ff144adc24f5b809a1a3a"><td class="mdescLeft"> </td><td class="mdescRight">Closes an active search. <a href="group__SolveIter.html#ga68671ff8611ff144adc24f5b809a1a3a">More...</a><br /></td></tr>
<tr class="separator:ga68671ff8611ff144adc24f5b809a1a3a"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga11b376948beb0a0462cb7f88a72180a3"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SolveAsync.html#ga11b376948beb0a0462cb7f88a72180a3">clingo_solve_async_get</a> (<a class="el" href="group__SolveAsync.html#ga9e82f5fc0f4925fdd2ab68a0563226f8">clingo_solve_async_t</a> *handle, <a class="el" href="group__Control.html#gae917a23b0591d181004ec88c4e3291c1">clingo_solve_result_bitset_t</a> *result)</td></tr>
<tr class="memdesc:ga11b376948beb0a0462cb7f88a72180a3"><td class="mdescLeft"> </td><td class="mdescRight">Get the solve result. <a href="group__SolveAsync.html#ga11b376948beb0a0462cb7f88a72180a3">More...</a><br /></td></tr>
<tr class="separator:ga11b376948beb0a0462cb7f88a72180a3"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga16504487b6d9540f89d279e2a6083cef"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SolveAsync.html#ga16504487b6d9540f89d279e2a6083cef">clingo_solve_async_wait</a> (<a class="el" href="group__SolveAsync.html#ga9e82f5fc0f4925fdd2ab68a0563226f8">clingo_solve_async_t</a> *handle, double timeout, bool *result)</td></tr>
<tr class="memdesc:ga16504487b6d9540f89d279e2a6083cef"><td class="mdescLeft"> </td><td class="mdescRight">Wait for the specified amount of time to check if the search has finished. <a href="group__SolveAsync.html#ga16504487b6d9540f89d279e2a6083cef">More...</a><br /></td></tr>
<tr class="separator:ga16504487b6d9540f89d279e2a6083cef"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga075d80f9a52f5c273649fb072b2bfcb7"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SolveAsync.html#ga075d80f9a52f5c273649fb072b2bfcb7">clingo_solve_async_cancel</a> (<a class="el" href="group__SolveAsync.html#ga9e82f5fc0f4925fdd2ab68a0563226f8">clingo_solve_async_t</a> *handle)</td></tr>
<tr class="memdesc:ga075d80f9a52f5c273649fb072b2bfcb7"><td class="mdescLeft"> </td><td class="mdescRight">Stop the running search. <a href="group__SolveAsync.html#ga075d80f9a52f5c273649fb072b2bfcb7">More...</a><br /></td></tr>
<tr class="separator:ga075d80f9a52f5c273649fb072b2bfcb7"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga254c68c537a26bf6683f4e001bf265d4"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SymbolicAtoms.html#ga254c68c537a26bf6683f4e001bf265d4">clingo_symbolic_atoms_size</a> (<a class="el" href="group__SymbolicAtoms.html#ga48f4026c13a49553efce213e76ab32aa">clingo_symbolic_atoms_t</a> *atoms, size_t *size)</td></tr>
<tr class="memdesc:ga254c68c537a26bf6683f4e001bf265d4"><td class="mdescLeft"> </td><td class="mdescRight">Get the number of different atoms occurring in a logic program. <a href="group__SymbolicAtoms.html#ga254c68c537a26bf6683f4e001bf265d4">More...</a><br /></td></tr>
<tr class="separator:ga254c68c537a26bf6683f4e001bf265d4"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gae6880b80149d0148632a42951ee67aed"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SymbolicAtoms.html#gae6880b80149d0148632a42951ee67aed">clingo_symbolic_atoms_begin</a> (<a class="el" href="group__SymbolicAtoms.html#ga48f4026c13a49553efce213e76ab32aa">clingo_symbolic_atoms_t</a> *atoms, <a class="el" href="group__Symbols.html#ga3485f06e63e12f967ef6420e132f7376">clingo_signature_t</a> const *signature, <a class="el" href="group__SymbolicAtoms.html#ga0a773e6f798cb2395d0cdfab5b277ca2">clingo_symbolic_atom_iterator_t</a> *iterator)</td></tr>
<tr class="memdesc:gae6880b80149d0148632a42951ee67aed"><td class="mdescLeft"> </td><td class="mdescRight">Get a forward iterator to the beginning of the sequence of all symbolic atoms optionally restricted to a given signature. <a href="group__SymbolicAtoms.html#gae6880b80149d0148632a42951ee67aed">More...</a><br /></td></tr>
<tr class="separator:gae6880b80149d0148632a42951ee67aed"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga327968989c722c6df96b014d01f97edb"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SymbolicAtoms.html#ga327968989c722c6df96b014d01f97edb">clingo_symbolic_atoms_end</a> (<a class="el" href="group__SymbolicAtoms.html#ga48f4026c13a49553efce213e76ab32aa">clingo_symbolic_atoms_t</a> *atoms, <a class="el" href="group__SymbolicAtoms.html#ga0a773e6f798cb2395d0cdfab5b277ca2">clingo_symbolic_atom_iterator_t</a> *iterator)</td></tr>
<tr class="memdesc:ga327968989c722c6df96b014d01f97edb"><td class="mdescLeft"> </td><td class="mdescRight">Iterator pointing to the end of the sequence of symbolic atoms. <a href="group__SymbolicAtoms.html#ga327968989c722c6df96b014d01f97edb">More...</a><br /></td></tr>
<tr class="separator:ga327968989c722c6df96b014d01f97edb"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga2aaaf8cbd79db44ee7e165b0ef609b8d"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SymbolicAtoms.html#ga2aaaf8cbd79db44ee7e165b0ef609b8d">clingo_symbolic_atoms_find</a> (<a class="el" href="group__SymbolicAtoms.html#ga48f4026c13a49553efce213e76ab32aa">clingo_symbolic_atoms_t</a> *atoms, <a class="el" href="group__Symbols.html#ga6c75c60fa57c3b97505265ff08f6f951">clingo_symbol_t</a> symbol, <a class="el" href="group__SymbolicAtoms.html#ga0a773e6f798cb2395d0cdfab5b277ca2">clingo_symbolic_atom_iterator_t</a> *iterator)</td></tr>
<tr class="memdesc:ga2aaaf8cbd79db44ee7e165b0ef609b8d"><td class="mdescLeft"> </td><td class="mdescRight">Find a symbolic atom given its symbolic representation. <a href="group__SymbolicAtoms.html#ga2aaaf8cbd79db44ee7e165b0ef609b8d">More...</a><br /></td></tr>
<tr class="separator:ga2aaaf8cbd79db44ee7e165b0ef609b8d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga1790be46a59ee51cea04055ebfcfc412"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SymbolicAtoms.html#ga1790be46a59ee51cea04055ebfcfc412">clingo_symbolic_atoms_iterator_is_equal_to</a> (<a class="el" href="group__SymbolicAtoms.html#ga48f4026c13a49553efce213e76ab32aa">clingo_symbolic_atoms_t</a> *atoms, <a class="el" href="group__SymbolicAtoms.html#ga0a773e6f798cb2395d0cdfab5b277ca2">clingo_symbolic_atom_iterator_t</a> a, <a class="el" href="group__SymbolicAtoms.html#ga0a773e6f798cb2395d0cdfab5b277ca2">clingo_symbolic_atom_iterator_t</a> b, bool *equal)</td></tr>
<tr class="memdesc:ga1790be46a59ee51cea04055ebfcfc412"><td class="mdescLeft"> </td><td class="mdescRight">Check if two iterators point to the same element (or end of the sequence). <a href="group__SymbolicAtoms.html#ga1790be46a59ee51cea04055ebfcfc412">More...</a><br /></td></tr>
<tr class="separator:ga1790be46a59ee51cea04055ebfcfc412"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga52b7e5f4e34356313fc029a2a2a28e11"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SymbolicAtoms.html#ga52b7e5f4e34356313fc029a2a2a28e11">clingo_symbolic_atoms_symbol</a> (<a class="el" href="group__SymbolicAtoms.html#ga48f4026c13a49553efce213e76ab32aa">clingo_symbolic_atoms_t</a> *atoms, <a class="el" href="group__SymbolicAtoms.html#ga0a773e6f798cb2395d0cdfab5b277ca2">clingo_symbolic_atom_iterator_t</a> iterator, <a class="el" href="group__Symbols.html#ga6c75c60fa57c3b97505265ff08f6f951">clingo_symbol_t</a> *symbol)</td></tr>
<tr class="memdesc:ga52b7e5f4e34356313fc029a2a2a28e11"><td class="mdescLeft"> </td><td class="mdescRight">Get the symbolic representation of an atom. <a href="group__SymbolicAtoms.html#ga52b7e5f4e34356313fc029a2a2a28e11">More...</a><br /></td></tr>
<tr class="separator:ga52b7e5f4e34356313fc029a2a2a28e11"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga2ca0a9d54a80ecaaeb0243f71aa19468"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SymbolicAtoms.html#ga2ca0a9d54a80ecaaeb0243f71aa19468">clingo_symbolic_atoms_is_fact</a> (<a class="el" href="group__SymbolicAtoms.html#ga48f4026c13a49553efce213e76ab32aa">clingo_symbolic_atoms_t</a> *atoms, <a class="el" href="group__SymbolicAtoms.html#ga0a773e6f798cb2395d0cdfab5b277ca2">clingo_symbolic_atom_iterator_t</a> iterator, bool *fact)</td></tr>
<tr class="memdesc:ga2ca0a9d54a80ecaaeb0243f71aa19468"><td class="mdescLeft"> </td><td class="mdescRight">Check whether an atom is a fact. <a href="group__SymbolicAtoms.html#ga2ca0a9d54a80ecaaeb0243f71aa19468">More...</a><br /></td></tr>
<tr class="separator:ga2ca0a9d54a80ecaaeb0243f71aa19468"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gae2ac94572b5b9f67fb8565ca5c00e926"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SymbolicAtoms.html#gae2ac94572b5b9f67fb8565ca5c00e926">clingo_symbolic_atoms_is_external</a> (<a class="el" href="group__SymbolicAtoms.html#ga48f4026c13a49553efce213e76ab32aa">clingo_symbolic_atoms_t</a> *atoms, <a class="el" href="group__SymbolicAtoms.html#ga0a773e6f798cb2395d0cdfab5b277ca2">clingo_symbolic_atom_iterator_t</a> iterator, bool *external)</td></tr>
<tr class="memdesc:gae2ac94572b5b9f67fb8565ca5c00e926"><td class="mdescLeft"> </td><td class="mdescRight">Check whether an atom is external. <a href="group__SymbolicAtoms.html#gae2ac94572b5b9f67fb8565ca5c00e926">More...</a><br /></td></tr>
<tr class="separator:gae2ac94572b5b9f67fb8565ca5c00e926"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gad848a8e3019450374adf396eb1298fec"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SymbolicAtoms.html#gad848a8e3019450374adf396eb1298fec">clingo_symbolic_atoms_literal</a> (<a class="el" href="group__SymbolicAtoms.html#ga48f4026c13a49553efce213e76ab32aa">clingo_symbolic_atoms_t</a> *atoms, <a class="el" href="group__SymbolicAtoms.html#ga0a773e6f798cb2395d0cdfab5b277ca2">clingo_symbolic_atom_iterator_t</a> iterator, <a class="el" href="group__BasicTypes.html#gaa95dd19334e536397bbad174c8fa4ff8">clingo_literal_t</a> *literal)</td></tr>
<tr class="memdesc:gad848a8e3019450374adf396eb1298fec"><td class="mdescLeft"> </td><td class="mdescRight">Returns the (numeric) aspif literal corresponding to the given symbolic atom. <a href="group__SymbolicAtoms.html#gad848a8e3019450374adf396eb1298fec">More...</a><br /></td></tr>
<tr class="separator:gad848a8e3019450374adf396eb1298fec"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gabc494c643a192a32cd5c4eae39ee19b8"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SymbolicAtoms.html#gabc494c643a192a32cd5c4eae39ee19b8">clingo_symbolic_atoms_signatures_size</a> (<a class="el" href="group__SymbolicAtoms.html#ga48f4026c13a49553efce213e76ab32aa">clingo_symbolic_atoms_t</a> *atoms, size_t *size)</td></tr>
<tr class="memdesc:gabc494c643a192a32cd5c4eae39ee19b8"><td class="mdescLeft"> </td><td class="mdescRight">Get the number of different predicate signatures used in the program. <a href="group__SymbolicAtoms.html#gabc494c643a192a32cd5c4eae39ee19b8">More...</a><br /></td></tr>
<tr class="separator:gabc494c643a192a32cd5c4eae39ee19b8"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga5c0a8e4b656f1814909759b5022f311d"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SymbolicAtoms.html#ga5c0a8e4b656f1814909759b5022f311d">clingo_symbolic_atoms_signatures</a> (<a class="el" href="group__SymbolicAtoms.html#ga48f4026c13a49553efce213e76ab32aa">clingo_symbolic_atoms_t</a> *atoms, <a class="el" href="group__Symbols.html#ga3485f06e63e12f967ef6420e132f7376">clingo_signature_t</a> *signatures, size_t size)</td></tr>
<tr class="memdesc:ga5c0a8e4b656f1814909759b5022f311d"><td class="mdescLeft"> </td><td class="mdescRight">Get the predicate signatures occurring in a logic program. <a href="group__SymbolicAtoms.html#ga5c0a8e4b656f1814909759b5022f311d">More...</a><br /></td></tr>
<tr class="separator:ga5c0a8e4b656f1814909759b5022f311d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga2d24ba87d7bdbe32912cddfb6282af89"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SymbolicAtoms.html#ga2d24ba87d7bdbe32912cddfb6282af89">clingo_symbolic_atoms_next</a> (<a class="el" href="group__SymbolicAtoms.html#ga48f4026c13a49553efce213e76ab32aa">clingo_symbolic_atoms_t</a> *atoms, <a class="el" href="group__SymbolicAtoms.html#ga0a773e6f798cb2395d0cdfab5b277ca2">clingo_symbolic_atom_iterator_t</a> iterator, <a class="el" href="group__SymbolicAtoms.html#ga0a773e6f798cb2395d0cdfab5b277ca2">clingo_symbolic_atom_iterator_t</a> *next)</td></tr>
<tr class="memdesc:ga2d24ba87d7bdbe32912cddfb6282af89"><td class="mdescLeft"> </td><td class="mdescRight">Get an iterator to the next element in the sequence of symbolic atoms. <a href="group__SymbolicAtoms.html#ga2d24ba87d7bdbe32912cddfb6282af89">More...</a><br /></td></tr>
<tr class="separator:ga2d24ba87d7bdbe32912cddfb6282af89"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga3c3da42d4d381e30e2c9966a12c17105"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__SymbolicAtoms.html#ga3c3da42d4d381e30e2c9966a12c17105">clingo_symbolic_atoms_is_valid</a> (<a class="el" href="group__SymbolicAtoms.html#ga48f4026c13a49553efce213e76ab32aa">clingo_symbolic_atoms_t</a> *atoms, <a class="el" href="group__SymbolicAtoms.html#ga0a773e6f798cb2395d0cdfab5b277ca2">clingo_symbolic_atom_iterator_t</a> iterator, bool *valid)</td></tr>
<tr class="memdesc:ga3c3da42d4d381e30e2c9966a12c17105"><td class="mdescLeft"> </td><td class="mdescRight">Check whether the given iterator points to some element with the sequence of symbolic atoms or to the end of the sequence. <a href="group__SymbolicAtoms.html#ga3c3da42d4d381e30e2c9966a12c17105">More...</a><br /></td></tr>
<tr class="separator:ga3c3da42d4d381e30e2c9966a12c17105"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga4a6416ec7f95e40f441c1d110a96ea23"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#ga4a6416ec7f95e40f441c1d110a96ea23">clingo_backend_rule</a> (<a class="el" href="group__ProgramBuilder.html#ga5e9458723e4631599ada46f8748ca577">clingo_backend_t</a> *backend, bool choice, <a class="el" href="group__BasicTypes.html#ga6480ac77dd156ea3c4bda71f161166c5">clingo_atom_t</a> const *head, size_t head_size, <a class="el" href="group__BasicTypes.html#gaa95dd19334e536397bbad174c8fa4ff8">clingo_literal_t</a> const *body, size_t body_size)</td></tr>
<tr class="memdesc:ga4a6416ec7f95e40f441c1d110a96ea23"><td class="mdescLeft"> </td><td class="mdescRight">Add a rule to the program. <a href="group__ProgramBuilder.html#ga4a6416ec7f95e40f441c1d110a96ea23">More...</a><br /></td></tr>
<tr class="separator:ga4a6416ec7f95e40f441c1d110a96ea23"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gab521c882998dfa099a5fcb5ce62ef563"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#gab521c882998dfa099a5fcb5ce62ef563">clingo_backend_weight_rule</a> (<a class="el" href="group__ProgramBuilder.html#ga5e9458723e4631599ada46f8748ca577">clingo_backend_t</a> *backend, bool choice, <a class="el" href="group__BasicTypes.html#ga6480ac77dd156ea3c4bda71f161166c5">clingo_atom_t</a> const *head, size_t head_size, <a class="el" href="group__BasicTypes.html#gaee5a30c2cd2c2b664a62bd81ecd5509f">clingo_weight_t</a> lower_bound, <a class="el" href="group__ProgramBuilder.html#ga6f74083bf70e4b167bccc837f5c934d7">clingo_weighted_literal_t</a> const *body, size_t body_size)</td></tr>
<tr class="memdesc:gab521c882998dfa099a5fcb5ce62ef563"><td class="mdescLeft"> </td><td class="mdescRight">Add a weight rule to the program. <a href="group__ProgramBuilder.html#gab521c882998dfa099a5fcb5ce62ef563">More...</a><br /></td></tr>
<tr class="separator:gab521c882998dfa099a5fcb5ce62ef563"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga15b2975133ff0d38c252f4bf188cfa30"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#ga15b2975133ff0d38c252f4bf188cfa30">clingo_backend_minimize</a> (<a class="el" href="group__ProgramBuilder.html#ga5e9458723e4631599ada46f8748ca577">clingo_backend_t</a> *backend, <a class="el" href="group__BasicTypes.html#gaee5a30c2cd2c2b664a62bd81ecd5509f">clingo_weight_t</a> priority, <a class="el" href="group__ProgramBuilder.html#ga6f74083bf70e4b167bccc837f5c934d7">clingo_weighted_literal_t</a> const *literals, size_t size)</td></tr>
<tr class="memdesc:ga15b2975133ff0d38c252f4bf188cfa30"><td class="mdescLeft"> </td><td class="mdescRight">Add a minimize constraint (or weak constraint) to the program. <a href="group__ProgramBuilder.html#ga15b2975133ff0d38c252f4bf188cfa30">More...</a><br /></td></tr>
<tr class="separator:ga15b2975133ff0d38c252f4bf188cfa30"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga6014e19a7f79241b148a985d5509d780"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#ga6014e19a7f79241b148a985d5509d780">clingo_backend_project</a> (<a class="el" href="group__ProgramBuilder.html#ga5e9458723e4631599ada46f8748ca577">clingo_backend_t</a> *backend, <a class="el" href="group__BasicTypes.html#ga6480ac77dd156ea3c4bda71f161166c5">clingo_atom_t</a> const *atoms, size_t size)</td></tr>
<tr class="memdesc:ga6014e19a7f79241b148a985d5509d780"><td class="mdescLeft"> </td><td class="mdescRight">Add a projection directive. <a href="group__ProgramBuilder.html#ga6014e19a7f79241b148a985d5509d780">More...</a><br /></td></tr>
<tr class="separator:ga6014e19a7f79241b148a985d5509d780"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga2416d4cf0947d9544d6386e1da7ee4b0"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#ga2416d4cf0947d9544d6386e1da7ee4b0">clingo_backend_external</a> (<a class="el" href="group__ProgramBuilder.html#ga5e9458723e4631599ada46f8748ca577">clingo_backend_t</a> *backend, <a class="el" href="group__BasicTypes.html#ga6480ac77dd156ea3c4bda71f161166c5">clingo_atom_t</a> atom, <a class="el" href="group__ProgramBuilder.html#ga176cf284ec38d9b3626d6584b3cb407e">clingo_external_type_t</a> type)</td></tr>
<tr class="memdesc:ga2416d4cf0947d9544d6386e1da7ee4b0"><td class="mdescLeft"> </td><td class="mdescRight">Add an external statement. <a href="group__ProgramBuilder.html#ga2416d4cf0947d9544d6386e1da7ee4b0">More...</a><br /></td></tr>
<tr class="separator:ga2416d4cf0947d9544d6386e1da7ee4b0"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga88927d4124ac300be75f2aab67e0f6b7"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#ga88927d4124ac300be75f2aab67e0f6b7">clingo_backend_assume</a> (<a class="el" href="group__ProgramBuilder.html#ga5e9458723e4631599ada46f8748ca577">clingo_backend_t</a> *backend, <a class="el" href="group__BasicTypes.html#gaa95dd19334e536397bbad174c8fa4ff8">clingo_literal_t</a> const *literals, size_t size)</td></tr>
<tr class="memdesc:ga88927d4124ac300be75f2aab67e0f6b7"><td class="mdescLeft"> </td><td class="mdescRight">Add an assumption directive. <a href="group__ProgramBuilder.html#ga88927d4124ac300be75f2aab67e0f6b7">More...</a><br /></td></tr>
<tr class="separator:ga88927d4124ac300be75f2aab67e0f6b7"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaee70aa568345c8fb1447c543516c52b3"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#gaee70aa568345c8fb1447c543516c52b3">clingo_backend_heuristic</a> (<a class="el" href="group__ProgramBuilder.html#ga5e9458723e4631599ada46f8748ca577">clingo_backend_t</a> *backend, <a class="el" href="group__BasicTypes.html#ga6480ac77dd156ea3c4bda71f161166c5">clingo_atom_t</a> atom, <a class="el" href="group__ProgramBuilder.html#gaa67a416799cd19c6b46ed02233ea6947">clingo_heuristic_type_t</a> type, int bias, unsigned priority, <a class="el" href="group__BasicTypes.html#gaa95dd19334e536397bbad174c8fa4ff8">clingo_literal_t</a> const *condition, size_t size)</td></tr>
<tr class="memdesc:gaee70aa568345c8fb1447c543516c52b3"><td class="mdescLeft"> </td><td class="mdescRight">Add an heuristic directive. <a href="group__ProgramBuilder.html#gaee70aa568345c8fb1447c543516c52b3">More...</a><br /></td></tr>
<tr class="separator:gaee70aa568345c8fb1447c543516c52b3"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gad04f3234d1c336e4443c5fcf178f0e57"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#gad04f3234d1c336e4443c5fcf178f0e57">clingo_backend_acyc_edge</a> (<a class="el" href="group__ProgramBuilder.html#ga5e9458723e4631599ada46f8748ca577">clingo_backend_t</a> *backend, int node_u, int node_v, <a class="el" href="group__BasicTypes.html#gaa95dd19334e536397bbad174c8fa4ff8">clingo_literal_t</a> const *condition, size_t size)</td></tr>
<tr class="memdesc:gad04f3234d1c336e4443c5fcf178f0e57"><td class="mdescLeft"> </td><td class="mdescRight">Add an edge directive. <a href="group__ProgramBuilder.html#gad04f3234d1c336e4443c5fcf178f0e57">More...</a><br /></td></tr>
<tr class="separator:gad04f3234d1c336e4443c5fcf178f0e57"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaa5ccab894645f7cf14a525d63efa6f86"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#gaa5ccab894645f7cf14a525d63efa6f86">clingo_backend_add_atom</a> (<a class="el" href="group__ProgramBuilder.html#ga5e9458723e4631599ada46f8748ca577">clingo_backend_t</a> *backend, <a class="el" href="group__BasicTypes.html#ga6480ac77dd156ea3c4bda71f161166c5">clingo_atom_t</a> *atom)</td></tr>
<tr class="memdesc:gaa5ccab894645f7cf14a525d63efa6f86"><td class="mdescLeft"> </td><td class="mdescRight">Get a fresh atom to be used in aspif directives. <a href="group__ProgramBuilder.html#gaa5ccab894645f7cf14a525d63efa6f86">More...</a><br /></td></tr>
<tr class="separator:gaa5ccab894645f7cf14a525d63efa6f86"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gacf63b0b4fa6527c82d599851e89ec582"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Configuration.html#gacf63b0b4fa6527c82d599851e89ec582">clingo_configuration_root</a> (<a class="el" href="group__Configuration.html#gabf3ac9f48abde87a53cdba386f21bc2f">clingo_configuration_t</a> *configuration, <a class="el" href="group__BasicTypes.html#gac7aaf88deb591e91b94ff38aa1e3472e">clingo_id_t</a> *key)</td></tr>
<tr class="memdesc:gacf63b0b4fa6527c82d599851e89ec582"><td class="mdescLeft"> </td><td class="mdescRight">Get the root key of the configuration. <a href="group__Configuration.html#gacf63b0b4fa6527c82d599851e89ec582">More...</a><br /></td></tr>
<tr class="separator:gacf63b0b4fa6527c82d599851e89ec582"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga1217cc3419a9983e65e0fe8927107b74"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Configuration.html#ga1217cc3419a9983e65e0fe8927107b74">clingo_configuration_type</a> (<a class="el" href="group__Configuration.html#gabf3ac9f48abde87a53cdba386f21bc2f">clingo_configuration_t</a> *configuration, <a class="el" href="group__BasicTypes.html#gac7aaf88deb591e91b94ff38aa1e3472e">clingo_id_t</a> key, <a class="el" href="group__Configuration.html#gae1ebf660b21d8d00b24fe24e6dc6a69c">clingo_configuration_type_bitset_t</a> *type)</td></tr>
<tr class="memdesc:ga1217cc3419a9983e65e0fe8927107b74"><td class="mdescLeft"> </td><td class="mdescRight">Get the type of a key. <a href="group__Configuration.html#ga1217cc3419a9983e65e0fe8927107b74">More...</a><br /></td></tr>
<tr class="separator:ga1217cc3419a9983e65e0fe8927107b74"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga2dece5c6ba9d0f419c5db9dfa9740099"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Configuration.html#ga2dece5c6ba9d0f419c5db9dfa9740099">clingo_configuration_description</a> (<a class="el" href="group__Configuration.html#gabf3ac9f48abde87a53cdba386f21bc2f">clingo_configuration_t</a> *configuration, <a class="el" href="group__BasicTypes.html#gac7aaf88deb591e91b94ff38aa1e3472e">clingo_id_t</a> key, char const **description)</td></tr>
<tr class="memdesc:ga2dece5c6ba9d0f419c5db9dfa9740099"><td class="mdescLeft"> </td><td class="mdescRight">Get the description of an entry. <a href="group__Configuration.html#ga2dece5c6ba9d0f419c5db9dfa9740099">More...</a><br /></td></tr>
<tr class="separator:ga2dece5c6ba9d0f419c5db9dfa9740099"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gadd6c9945e3c5fedebd851c59c6e32162"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Statistics.html#gadd6c9945e3c5fedebd851c59c6e32162">clingo_statistics_root</a> (<a class="el" href="group__Statistics.html#gaaba3981b0eb26dcf3e1b2043245e2516">clingo_statistics_t</a> *statistics, uint64_t *key)</td></tr>
<tr class="memdesc:gadd6c9945e3c5fedebd851c59c6e32162"><td class="mdescLeft"> </td><td class="mdescRight">Get the root key of the statistics. <a href="group__Statistics.html#gadd6c9945e3c5fedebd851c59c6e32162">More...</a><br /></td></tr>
<tr class="separator:gadd6c9945e3c5fedebd851c59c6e32162"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga7667ed20b4f7921765dfba0055da501b"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__Statistics.html#ga7667ed20b4f7921765dfba0055da501b">clingo_statistics_type</a> (<a class="el" href="group__Statistics.html#gaaba3981b0eb26dcf3e1b2043245e2516">clingo_statistics_t</a> *statistics, uint64_t key, <a class="el" href="group__Statistics.html#ga3403c9356dad61654cdcf40985aa4de2">clingo_statistics_type_t</a> *type)</td></tr>
<tr class="memdesc:ga7667ed20b4f7921765dfba0055da501b"><td class="mdescLeft"> </td><td class="mdescRight">Get the type of a key. <a href="group__Statistics.html#ga7667ed20b4f7921765dfba0055da501b">More...</a><br /></td></tr>
<tr class="separator:ga7667ed20b4f7921765dfba0055da501b"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga810b671c0f4ae50fd828044f5f40dee2"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__AST.html#ga810b671c0f4ae50fd828044f5f40dee2">clingo_parse_program</a> (char const *program, clingo_ast_callback_t *callback, void *callback_data, <a class="el" href="group__BasicTypes.html#gaff11abc056335394295ce2ffdc88daac">clingo_logger_t</a> *logger, void *logger_data, unsigned message_limit)</td></tr>
<tr class="memdesc:ga810b671c0f4ae50fd828044f5f40dee2"><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="group__AST.html#ga810b671c0f4ae50fd828044f5f40dee2">More...</a><br /></td></tr>
<tr class="separator:ga810b671c0f4ae50fd828044f5f40dee2"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ga36b68815b8ee4cf612985feea8118065"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#ga36b68815b8ee4cf612985feea8118065">clingo_program_builder_begin</a> (<a class="el" href="group__ProgramBuilder.html#gaf3ea2b021e93cdcc0f6c7b4219e4a06d">clingo_program_builder_t</a> *builder)</td></tr>
<tr class="memdesc:ga36b68815b8ee4cf612985feea8118065"><td class="mdescLeft"> </td><td class="mdescRight">Begin building a program. <a href="group__ProgramBuilder.html#ga36b68815b8ee4cf612985feea8118065">More...</a><br /></td></tr>
<tr class="separator:ga36b68815b8ee4cf612985feea8118065"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:gaadbcca73d63e8b1a7652e687bba1b595"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="group__ProgramBuilder.html#gaadbcca73d63e8b1a7652e687bba1b595">clingo_program_builder_add</a> (<a class="el" href="group__ProgramBuilder.html#gaf3ea2b021e93cdcc0f6c7b4219e4a06d">clingo_program_builder_t</a> *builder, <a class="el" href="structclingo__ast__statement.html">clingo_ast_statement_t</a> const *statement)</td></tr>
<tr class="memdesc:gaadbcca73d63e8b1a7652e687bba1b595"><td class="mdescLeft"> </td><td class="mdescRight">Adds a statement to the program. <a href="group__ProgramBuilder.html#gaadbcca73d63e8b1a7652e687bba1b595">More...</a><br /></td></tr>
<tr class="separator:gaadbcca73d63e8b1a7652e687bba1b595"><td class="memSeparator" colspan="2"> </td></tr>