-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathmodel_8c-example.html
328 lines (326 loc) · 38.3 KB
/
model_8c-example.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
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.8.17"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>Clingo C API: model.c</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
<script type="text/javascript" src="search/search.js"></script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
<link href="clingo.css" rel="stylesheet" type="text/css"/>
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr style="height: 56px;">
<td id="projectalign" style="padding-left: 0.5em;">
<div id="projectname">Clingo C API
</div>
<div id="projectbrief">C API for clingo providing high level functions to control grounding and solving.</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.17 -->
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
var searchBox = new SearchBox("searchBox", "search",false,'Search');
/* @license-end */
</script>
<script type="text/javascript" src="menudata.js"></script>
<script type="text/javascript" src="menu.js"></script>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
$(function() {
initMenu('',true,false,'search.php','Search');
$(document).ready(function() { init_search(); });
});
/* @license-end */</script>
<div id="main-nav"></div>
</div><!-- top -->
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
onmouseover="return searchBox.OnSearchSelectShow()"
onmouseout="return searchBox.OnSearchSelectHide()"
onkeydown="return searchBox.OnSearchSelectKey(event)">
</div>
<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0"
name="MSearchResults" id="MSearchResults">
</iframe>
</div>
<div class="header">
<div class="headertitle">
<div class="title">model.c</div> </div>
</div><!--header-->
<div class="contents">
<p>The example shows how to inspect a model.</p>
<h2><a class="anchor" id="autotoc_md16"></a>
Output</h2>
<div class="fragment"><div class="line">$ ./model 0</div>
<div class="line">Stable model:</div>
<div class="line"> shown: c</div>
<div class="line"> atoms: b</div>
<div class="line"> terms: c</div>
<div class="line"> ~atoms: a</div>
<div class="line">Stable model:</div>
<div class="line"> shown: a</div>
<div class="line"> atoms: a</div>
<div class="line"> terms:</div>
<div class="line"> ~atoms: b</div>
</div><!-- fragment --><h2><a class="anchor" id="autotoc_md17"></a>
Code</h2>
<div class="fragment"><div class="line"><span class="preprocessor">#define __STDC_FORMAT_MACROS</span></div>
<div class="line"><span class="preprocessor">#include <inttypes.h></span></div>
<div class="line"><span class="preprocessor">#include <<a class="code" href="clingo_8h.html">clingo.h</a>></span></div>
<div class="line"><span class="preprocessor">#include <stdlib.h></span></div>
<div class="line"><span class="preprocessor">#include <stdio.h></span></div>
<div class="line"> </div>
<div class="line"><span class="keyword">typedef</span> <span class="keyword">struct </span>model_buffer {</div>
<div class="line"> <a class="code" href="group__Symbols.html#ga6c75c60fa57c3b97505265ff08f6f951">clingo_symbol_t</a> *symbols;</div>
<div class="line"> <span class="keywordtype">size_t</span> symbols_n;</div>
<div class="line"> <span class="keywordtype">char</span> *string;</div>
<div class="line"> <span class="keywordtype">size_t</span> string_n;</div>
<div class="line">} model_buffer_t;</div>
<div class="line"> </div>
<div class="line"><span class="keywordtype">void</span> free_model_buffer(model_buffer_t *buf) {</div>
<div class="line"> <span class="keywordflow">if</span> (buf->symbols) {</div>
<div class="line"> free(buf->symbols);</div>
<div class="line"> buf->symbols = NULL;</div>
<div class="line"> buf->symbols_n = 0;</div>
<div class="line"> }</div>
<div class="line"> </div>
<div class="line"> <span class="keywordflow">if</span> (buf->string) {</div>
<div class="line"> free(buf->string);</div>
<div class="line"> buf->string = NULL;</div>
<div class="line"> buf->string_n = 0;</div>
<div class="line"> }</div>
<div class="line">}</div>
<div class="line"> </div>
<div class="line"><span class="keywordtype">bool</span> print_symbol(<a class="code" href="group__Symbols.html#ga6c75c60fa57c3b97505265ff08f6f951">clingo_symbol_t</a> symbol, model_buffer_t *buf) {</div>
<div class="line"> <span class="keywordtype">bool</span> ret = <span class="keyword">true</span>;</div>
<div class="line"> <span class="keywordtype">char</span> *string;</div>
<div class="line"> <span class="keywordtype">size_t</span> n;</div>
<div class="line"> </div>
<div class="line"> <span class="comment">// determine size of the string representation of the next symbol in the model</span></div>
<div class="line"> <span class="keywordflow">if</span> (!<a name="a0"></a><a class="code" href="group__Symbols.html#ga6963e11f6d22a5c04a0e50d1afe1f4f5">clingo_symbol_to_string_size</a>(symbol, &n)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> </div>
<div class="line"> <span class="keywordflow">if</span> (buf->string_n < n) {</div>
<div class="line"> <span class="comment">// allocate required memory to hold the symbol's string</span></div>
<div class="line"> <span class="keywordflow">if</span> (!(<span class="keywordtype">string</span> = (<span class="keywordtype">char</span>*)realloc(buf->string, <span class="keyword">sizeof</span>(*buf->string) * n))) {</div>
<div class="line"> <a name="a1"></a><a class="code" href="group__BasicTypes.html#ga5c2b2943475239e151eb783d30548b38">clingo_set_error</a>(<a name="a2"></a><a class="code" href="group__BasicTypes.html#ggaebdf91a4187db9abdd2c6ceb971cf13eaa14a0926eb3e653fcc13299b33d8d348">clingo_error_bad_alloc</a>, <span class="stringliteral">"could not allocate memory for symbol's string"</span>);</div>
<div class="line"> <span class="keywordflow">goto</span> error;</div>
<div class="line"> }</div>
<div class="line"> </div>
<div class="line"> buf->string = string;</div>
<div class="line"> buf->string_n = n;</div>
<div class="line"> }</div>
<div class="line"> </div>
<div class="line"> <span class="comment">// retrieve the symbol's string</span></div>
<div class="line"> <span class="keywordflow">if</span> (!<a name="a3"></a><a class="code" href="group__Symbols.html#gac292526ba129269eec3c64510deec3b0">clingo_symbol_to_string</a>(symbol, buf->string, n)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> printf(<span class="stringliteral">"%s"</span>, buf->string);</div>
<div class="line"> <span class="keywordflow">goto</span> out;</div>
<div class="line"> </div>
<div class="line">error:</div>
<div class="line"> ret = <span class="keyword">false</span>;</div>
<div class="line"> </div>
<div class="line">out:</div>
<div class="line"> <span class="keywordflow">return</span> ret;</div>
<div class="line">}</div>
<div class="line"> </div>
<div class="line"><span class="keywordtype">bool</span> print_model(<a class="code" href="group__Model.html#gaaf9a93819f023f3cb8aa80598c46556b">clingo_model_t</a> <span class="keyword">const</span> *model, model_buffer_t *buf, <span class="keywordtype">char</span> <span class="keyword">const</span> *label, <a class="code" href="group__Model.html#gafe9df0b81b3b423f1c68dec3f64ad564">clingo_show_type_bitset_t</a> show) {</div>
<div class="line"> <span class="keywordtype">bool</span> ret = <span class="keyword">true</span>;</div>
<div class="line"> <a class="code" href="group__Symbols.html#ga6c75c60fa57c3b97505265ff08f6f951">clingo_symbol_t</a> *symbols;</div>
<div class="line"> <span class="keywordtype">size_t</span> n;</div>
<div class="line"> <a class="code" href="group__Symbols.html#ga6c75c60fa57c3b97505265ff08f6f951">clingo_symbol_t</a> <span class="keyword">const</span> *it, *ie;</div>
<div class="line"> </div>
<div class="line"> <span class="comment">// determine the number of (shown) symbols in the model</span></div>
<div class="line"> <span class="keywordflow">if</span> (!<a name="a4"></a><a class="code" href="group__Model.html#ga5c6c30cef0e3a29a192577a1a739ca69">clingo_model_symbols_size</a>(model, show, &n)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> </div>
<div class="line"> <span class="comment">// allocate required memory to hold all the symbols</span></div>
<div class="line"> <span class="keywordflow">if</span> (buf->symbols_n < n) {</div>
<div class="line"> <span class="keywordflow">if</span> (!(symbols = (<a class="code" href="group__Symbols.html#ga6c75c60fa57c3b97505265ff08f6f951">clingo_symbol_t</a>*)malloc(<span class="keyword">sizeof</span>(*buf->symbols) * n))) {</div>
<div class="line"> <a class="code" href="group__BasicTypes.html#ga5c2b2943475239e151eb783d30548b38">clingo_set_error</a>(<a class="code" href="group__BasicTypes.html#ggaebdf91a4187db9abdd2c6ceb971cf13eaa14a0926eb3e653fcc13299b33d8d348">clingo_error_bad_alloc</a>, <span class="stringliteral">"could not allocate memory for atoms"</span>);</div>
<div class="line"> <span class="keywordflow">goto</span> error;</div>
<div class="line"> }</div>
<div class="line"> </div>
<div class="line"> buf->symbols = symbols;</div>
<div class="line"> buf->symbols_n = n;</div>
<div class="line"> }</div>
<div class="line"> </div>
<div class="line"> <span class="comment">// retrieve the symbols in the model</span></div>
<div class="line"> <span class="keywordflow">if</span> (!<a name="a5"></a><a class="code" href="group__Model.html#ga05d849166d689a3d4ae8d40fba070d91">clingo_model_symbols</a>(model, show, buf->symbols, n)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> </div>
<div class="line"> printf(<span class="stringliteral">"%s:"</span>, label);</div>
<div class="line"> </div>
<div class="line"> <span class="keywordflow">for</span> (it = buf->symbols, ie = buf->symbols + n; it != ie; ++it) {</div>
<div class="line"> printf(<span class="stringliteral">" "</span>);</div>
<div class="line"> <span class="keywordflow">if</span> (!print_symbol(*it, buf)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> }</div>
<div class="line"> </div>
<div class="line"> printf(<span class="stringliteral">"\n"</span>);</div>
<div class="line"> <span class="keywordflow">goto</span> out;</div>
<div class="line"> </div>
<div class="line">error:</div>
<div class="line"> ret = <span class="keyword">false</span>;</div>
<div class="line"> </div>
<div class="line">out:</div>
<div class="line"> <span class="keywordflow">return</span> ret;</div>
<div class="line">}</div>
<div class="line"> </div>
<div class="line"><span class="keywordtype">bool</span> print_solution(<a class="code" href="group__Model.html#gaaf9a93819f023f3cb8aa80598c46556b">clingo_model_t</a> <span class="keyword">const</span> *model, model_buffer_t *data) {</div>
<div class="line"> <span class="keywordtype">bool</span> ret = <span class="keyword">true</span>;</div>
<div class="line"> uint64_t number;</div>
<div class="line"> <a class="code" href="group__Model.html#ga13f511e3162055cd337c7f5e2ada31a1">clingo_model_type_t</a> type;</div>
<div class="line"> <span class="keywordtype">char</span> <span class="keyword">const</span> *type_string = <span class="stringliteral">""</span>;</div>
<div class="line"> </div>
<div class="line"> <span class="comment">// get model type</span></div>
<div class="line"> <span class="keywordflow">if</span> (!<a name="a6"></a><a class="code" href="group__Model.html#gac8518ada9fb583de14c833c8cb897075">clingo_model_type</a>(model, &type)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> </div>
<div class="line"> <span class="keywordflow">switch</span> ((<span class="keyword">enum</span> <a class="code" href="group__Model.html#ga2a8b4c9ddcd63dcfd57a61d1aa9bd77a">clingo_model_type_e</a>)type) {</div>
<div class="line"> <span class="keywordflow">case</span> <a name="a7"></a><a class="code" href="group__Model.html#gga2a8b4c9ddcd63dcfd57a61d1aa9bd77aa26c979a76b39d052f9e4475b5479bbdf">clingo_model_type_stable_model</a>: { type_string = <span class="stringliteral">"Stable model"</span>; <span class="keywordflow">break</span>; }</div>
<div class="line"> <span class="keywordflow">case</span> <a name="a8"></a><a class="code" href="group__Model.html#gga2a8b4c9ddcd63dcfd57a61d1aa9bd77aa6a84892300ae13401572c5b5a9bd69db">clingo_model_type_brave_consequences</a>: { type_string = <span class="stringliteral">"Brave consequences"</span>; <span class="keywordflow">break</span>; }</div>
<div class="line"> <span class="keywordflow">case</span> <a name="a9"></a><a class="code" href="group__Model.html#gga2a8b4c9ddcd63dcfd57a61d1aa9bd77aa4ae425fae120bbeb34c5f983833b66d7">clingo_model_type_cautious_consequences</a>: { type_string = <span class="stringliteral">"Cautious consequences"</span>; <span class="keywordflow">break</span>; }</div>
<div class="line"> }</div>
<div class="line"> </div>
<div class="line"> <span class="comment">// get running number of model</span></div>
<div class="line"> <span class="keywordflow">if</span> (!<a name="a10"></a><a class="code" href="group__Model.html#gad3b875d4e6f4f99dee0a4abd38ed9f53">clingo_model_number</a>(model, &number)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> </div>
<div class="line"> printf(<span class="stringliteral">"%s %"</span> PRIu64 <span class="stringliteral">":\n"</span>, type_string, number);</div>
<div class="line"> </div>
<div class="line"> <span class="keywordflow">if</span> (!print_model(model, data, <span class="stringliteral">" shown"</span>, <a name="a11"></a><a class="code" href="group__Model.html#gga72e8ba23a84af09dfd93739ebaa6ecf8a82a698ef41cd919cb370d22fc0b44826">clingo_show_type_shown</a>)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> <span class="keywordflow">if</span> (!print_model(model, data, <span class="stringliteral">" atoms"</span>, <a name="a12"></a><a class="code" href="group__Model.html#gga72e8ba23a84af09dfd93739ebaa6ecf8ae4881b426be40132ce254553a1f7c78e">clingo_show_type_atoms</a>)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> <span class="keywordflow">if</span> (!print_model(model, data, <span class="stringliteral">" terms"</span>, <a name="a13"></a><a class="code" href="group__Model.html#gga72e8ba23a84af09dfd93739ebaa6ecf8a25cc3101d9085b55be080510077c11cb">clingo_show_type_terms</a>)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> <span class="keywordflow">if</span> (!print_model(model, data, <span class="stringliteral">" ~atoms"</span>, <a name="a14"></a><a class="code" href="group__Model.html#gga72e8ba23a84af09dfd93739ebaa6ecf8a764756fce5bfb41ba2d3bf23c4c85e09">clingo_show_type_complement</a></div>
<div class="line"> | <a class="code" href="group__Model.html#gga72e8ba23a84af09dfd93739ebaa6ecf8ae4881b426be40132ce254553a1f7c78e">clingo_show_type_atoms</a>)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> </div>
<div class="line"> <span class="keywordflow">goto</span> out;</div>
<div class="line"> </div>
<div class="line">error:</div>
<div class="line"> ret = <span class="keyword">false</span>;</div>
<div class="line"> </div>
<div class="line">out:</div>
<div class="line"> <span class="keywordflow">return</span> ret;</div>
<div class="line">}</div>
<div class="line"> </div>
<div class="line"><span class="keywordtype">bool</span> solve(<a class="code" href="group__Control.html#gaf008e9db9dbb37b0b7ef039bb9d582f0">clingo_control_t</a> *ctl, model_buffer_t *data, <a class="code" href="group__Control.html#gae917a23b0591d181004ec88c4e3291c1">clingo_solve_result_bitset_t</a> *result) {</div>
<div class="line"> <span class="keywordtype">bool</span> ret = <span class="keyword">true</span>;</div>
<div class="line"> <a class="code" href="group__SolveHandle.html#ga023c1084a4c01ea6e121a8310efba045">clingo_solve_handle_t</a> *handle;</div>
<div class="line"> <a class="code" href="group__Model.html#gaaf9a93819f023f3cb8aa80598c46556b">clingo_model_t</a> <span class="keyword">const</span> *model;</div>
<div class="line"> </div>
<div class="line"> <span class="comment">// get a solve handle</span></div>
<div class="line"> <span class="keywordflow">if</span> (!<a name="a15"></a><a class="code" href="group__Control.html#ga4b3b7388e75ace676481f6021c4dc66d">clingo_control_solve</a>(ctl, <a name="a16"></a><a class="code" href="group__SolveHandle.html#gga63eb87834deebecdf9c799d64a3c65a2a60a9c133be636e68a7d02680c8b9d47e">clingo_solve_mode_yield</a>, NULL, 0, NULL, NULL, &handle)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> <span class="comment">// loop over all models</span></div>
<div class="line"> <span class="keywordflow">while</span> (<span class="keyword">true</span>) {</div>
<div class="line"> <span class="keywordflow">if</span> (!<a name="a17"></a><a class="code" href="group__SolveHandle.html#ga73d71df7adeee92f1d515f52cdcbbac0">clingo_solve_handle_resume</a>(handle)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> <span class="keywordflow">if</span> (!<a name="a18"></a><a class="code" href="group__SolveHandle.html#gaf9353c14149a2a16adf0474796871ae1">clingo_solve_handle_model</a>(handle, &model)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> <span class="comment">// print the model</span></div>
<div class="line"> <span class="keywordflow">if</span> (model) { print_solution(model, data); }</div>
<div class="line"> <span class="comment">// stop if there are no more models</span></div>
<div class="line"> <span class="keywordflow">else</span> { <span class="keywordflow">break</span>; }</div>
<div class="line"> }</div>
<div class="line"> <span class="comment">// close the solve handle</span></div>
<div class="line"> <span class="keywordflow">if</span> (!<a name="a19"></a><a class="code" href="group__SolveHandle.html#gae4270b7d4d0174a479307438680007c5">clingo_solve_handle_get</a>(handle, result)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> </div>
<div class="line"> <span class="keywordflow">goto</span> out;</div>
<div class="line"> </div>
<div class="line">error:</div>
<div class="line"> ret = <span class="keyword">false</span>;</div>
<div class="line"> </div>
<div class="line">out:</div>
<div class="line"> <span class="comment">// free the solve handle</span></div>
<div class="line"> <span class="keywordflow">return</span> <a name="a20"></a><a class="code" href="group__SolveHandle.html#ga488b76e7240d625bd4066e68a33ab23e">clingo_solve_handle_close</a>(handle) && ret;</div>
<div class="line">}</div>
<div class="line"> </div>
<div class="line"><span class="keywordtype">int</span> main(<span class="keywordtype">int</span> argc, <span class="keywordtype">char</span> <span class="keyword">const</span> **argv) {</div>
<div class="line"> <span class="keywordtype">char</span> <span class="keyword">const</span> *error_message;</div>
<div class="line"> <span class="keywordtype">int</span> ret = 0;</div>
<div class="line"> <a class="code" href="group__Control.html#gae917a23b0591d181004ec88c4e3291c1">clingo_solve_result_bitset_t</a> solve_ret;</div>
<div class="line"> <a class="code" href="group__Control.html#gaf008e9db9dbb37b0b7ef039bb9d582f0">clingo_control_t</a> *ctl = NULL;</div>
<div class="line"> <a name="_a21"></a><a class="code" href="structclingo__part.html">clingo_part_t</a> parts[] = {{ <span class="stringliteral">"base"</span>, NULL, 0 }};</div>
<div class="line"> model_buffer_t buf = {NULL, 0, NULL, 0};</div>
<div class="line"> </div>
<div class="line"> <span class="comment">// create a control object and pass command line arguments</span></div>
<div class="line"> <span class="keywordflow">if</span> (!<a name="a22"></a><a class="code" href="group__Control.html#ga7ec38c676e45447bab71278b51e090c6">clingo_control_new</a>(argv+1, argc-1, NULL, NULL, 20, &ctl) != 0) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> </div>
<div class="line"> <span class="comment">// add a logic program to the base part</span></div>
<div class="line"> <span class="keywordflow">if</span> (!<a name="a23"></a><a class="code" href="group__Control.html#gada7b7f54331abfedf60fac33d742c0dc">clingo_control_add</a>(ctl, <span class="stringliteral">"base"</span>, NULL, 0, <span class="stringliteral">"1 {a; b} 1. #show c : b. #show a/0."</span>)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> </div>
<div class="line"> <span class="comment">// ground the base part</span></div>
<div class="line"> <span class="keywordflow">if</span> (!<a name="a24"></a><a class="code" href="group__Control.html#gaf85b77055668171e6a85f9d729719b57">clingo_control_ground</a>(ctl, parts, 1, NULL, NULL)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> </div>
<div class="line"> <span class="comment">// solve</span></div>
<div class="line"> <span class="keywordflow">if</span> (!solve(ctl, &buf, &solve_ret)) { <span class="keywordflow">goto</span> error; }</div>
<div class="line"> </div>
<div class="line"> <span class="keywordflow">goto</span> out;</div>
<div class="line"> </div>
<div class="line">error:</div>
<div class="line"> <span class="keywordflow">if</span> (!(error_message = <a name="a25"></a><a class="code" href="group__BasicTypes.html#ga8bc3d9c18f15023bef4f427e5bf69c9f">clingo_error_message</a>())) { error_message = <span class="stringliteral">"error"</span>; }</div>
<div class="line"> </div>
<div class="line"> printf(<span class="stringliteral">"%s\n"</span>, error_message);</div>
<div class="line"> ret = <a name="a26"></a><a class="code" href="group__BasicTypes.html#gab6fae458db566efb7d6684ffda376aa8">clingo_error_code</a>();</div>
<div class="line"> </div>
<div class="line">out:</div>
<div class="line"> free_model_buffer(&buf);</div>
<div class="line"> <span class="keywordflow">if</span> (ctl) { <a name="a27"></a><a class="code" href="group__Control.html#ga849604bd7107e6948a0e08e1dc10178a">clingo_control_free</a>(ctl); }</div>
<div class="line"> </div>
<div class="line"> <span class="keywordflow">return</span> ret;</div>
<div class="line">}</div>
<div class="line"> </div>
</div><!-- fragment --> </div><!-- contents -->
<div class="ttc" id="agroup__SolveHandle_html_gga63eb87834deebecdf9c799d64a3c65a2a60a9c133be636e68a7d02680c8b9d47e"><div class="ttname"><a href="group__SolveHandle.html#gga63eb87834deebecdf9c799d64a3c65a2a60a9c133be636e68a7d02680c8b9d47e">clingo_solve_mode_yield</a></div><div class="ttdeci">@ clingo_solve_mode_yield</div><div class="ttdoc">Yield models in calls to clingo_solve_handle_model.</div><div class="ttdef"><b>Definition:</b> clingo.h:2288</div></div>
<div class="ttc" id="agroup__Model_html_gga72e8ba23a84af09dfd93739ebaa6ecf8a82a698ef41cd919cb370d22fc0b44826"><div class="ttname"><a href="group__Model.html#gga72e8ba23a84af09dfd93739ebaa6ecf8a82a698ef41cd919cb370d22fc0b44826">clingo_show_type_shown</a></div><div class="ttdeci">@ clingo_show_type_shown</div><div class="ttdoc">Select shown atoms and terms.</div><div class="ttdef"><b>Definition:</b> clingo.h:2098</div></div>
<div class="ttc" id="agroup__Control_html_gaf008e9db9dbb37b0b7ef039bb9d582f0"><div class="ttname"><a href="group__Control.html#gaf008e9db9dbb37b0b7ef039bb9d582f0">clingo_control_t</a></div><div class="ttdeci">struct clingo_control clingo_control_t</div><div class="ttdoc">Control object holding grounding and solving state.</div><div class="ttdef"><b>Definition:</b> clingo.h:2693</div></div>
<div class="ttc" id="agroup__Control_html_ga7ec38c676e45447bab71278b51e090c6"><div class="ttname"><a href="group__Control.html#ga7ec38c676e45447bab71278b51e090c6">clingo_control_new</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT bool clingo_control_new(char const *const *arguments, size_t arguments_size, clingo_logger_t logger, void *logger_data, unsigned message_limit, clingo_control_t **control)</div><div class="ttdoc">Create a new control object.</div></div>
<div class="ttc" id="agroup__Model_html_gga2a8b4c9ddcd63dcfd57a61d1aa9bd77aa6a84892300ae13401572c5b5a9bd69db"><div class="ttname"><a href="group__Model.html#gga2a8b4c9ddcd63dcfd57a61d1aa9bd77aa6a84892300ae13401572c5b5a9bd69db">clingo_model_type_brave_consequences</a></div><div class="ttdeci">@ clingo_model_type_brave_consequences</div><div class="ttdoc">The model represents a set of brave consequences.</div><div class="ttdef"><b>Definition:</b> clingo.h:2090</div></div>
<div class="ttc" id="agroup__Control_html_ga849604bd7107e6948a0e08e1dc10178a"><div class="ttname"><a href="group__Control.html#ga849604bd7107e6948a0e08e1dc10178a">clingo_control_free</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT void clingo_control_free(clingo_control_t *control)</div><div class="ttdoc">Free a control object created with clingo_control_new().</div></div>
<div class="ttc" id="agroup__Model_html_gad3b875d4e6f4f99dee0a4abd38ed9f53"><div class="ttname"><a href="group__Model.html#gad3b875d4e6f4f99dee0a4abd38ed9f53">clingo_model_number</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT bool clingo_model_number(clingo_model_t const *model, uint64_t *number)</div><div class="ttdoc">Get the running number of the model.</div></div>
<div class="ttc" id="aclingo_8h_html"><div class="ttname"><a href="clingo_8h.html">clingo.h</a></div></div>
<div class="ttc" id="astructclingo__part_html"><div class="ttname"><a href="structclingo__part.html">clingo_part</a></div><div class="ttdoc">Struct used to specify the program parts that have to be grounded.</div><div class="ttdef"><b>Definition:</b> clingo.h:2645</div></div>
<div class="ttc" id="agroup__Model_html_gac8518ada9fb583de14c833c8cb897075"><div class="ttname"><a href="group__Model.html#gac8518ada9fb583de14c833c8cb897075">clingo_model_type</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT bool clingo_model_type(clingo_model_t const *model, clingo_model_type_t *type)</div><div class="ttdoc">Get the type of the model.</div></div>
<div class="ttc" id="agroup__SolveHandle_html_ga488b76e7240d625bd4066e68a33ab23e"><div class="ttname"><a href="group__SolveHandle.html#ga488b76e7240d625bd4066e68a33ab23e">clingo_solve_handle_close</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT bool clingo_solve_handle_close(clingo_solve_handle_t *handle)</div><div class="ttdoc">Stops the running search and releases the handle.</div></div>
<div class="ttc" id="agroup__Model_html_ga2a8b4c9ddcd63dcfd57a61d1aa9bd77a"><div class="ttname"><a href="group__Model.html#ga2a8b4c9ddcd63dcfd57a61d1aa9bd77a">clingo_model_type_e</a></div><div class="ttdeci">clingo_model_type_e</div><div class="ttdoc">Enumeration for the different model types.</div><div class="ttdef"><b>Definition:</b> clingo.h:2088</div></div>
<div class="ttc" id="agroup__Symbols_html_gac292526ba129269eec3c64510deec3b0"><div class="ttname"><a href="group__Symbols.html#gac292526ba129269eec3c64510deec3b0">clingo_symbol_to_string</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT bool clingo_symbol_to_string(clingo_symbol_t symbol, char *string, size_t size)</div><div class="ttdoc">Get the string representation of a symbol.</div></div>
<div class="ttc" id="agroup__Control_html_gaf85b77055668171e6a85f9d729719b57"><div class="ttname"><a href="group__Control.html#gaf85b77055668171e6a85f9d729719b57">clingo_control_ground</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT bool clingo_control_ground(clingo_control_t *control, clingo_part_t const *parts, size_t parts_size, clingo_ground_callback_t ground_callback, void *ground_callback_data)</div><div class="ttdoc">Ground the selected parts of the current (non-ground) logic program.</div></div>
<div class="ttc" id="agroup__Control_html_gada7b7f54331abfedf60fac33d742c0dc"><div class="ttname"><a href="group__Control.html#gada7b7f54331abfedf60fac33d742c0dc">clingo_control_add</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT bool clingo_control_add(clingo_control_t *control, char const *name, char const *const *parameters, size_t parameters_size, char const *program)</div><div class="ttdoc">Extend the logic program with the given non-ground logic program in string form.</div></div>
<div class="ttc" id="agroup__SolveHandle_html_gae4270b7d4d0174a479307438680007c5"><div class="ttname"><a href="group__SolveHandle.html#gae4270b7d4d0174a479307438680007c5">clingo_solve_handle_get</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT bool clingo_solve_handle_get(clingo_solve_handle_t *handle, clingo_solve_result_bitset_t *result)</div><div class="ttdoc">Get the next solve result.</div></div>
<div class="ttc" id="agroup__Control_html_ga4b3b7388e75ace676481f6021c4dc66d"><div class="ttname"><a href="group__Control.html#ga4b3b7388e75ace676481f6021c4dc66d">clingo_control_solve</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT bool clingo_control_solve(clingo_control_t *control, clingo_solve_mode_bitset_t mode, clingo_literal_t const *assumptions, size_t assumptions_size, clingo_solve_event_callback_t notify, void *data, clingo_solve_handle_t **handle)</div><div class="ttdoc">Solve the currently grounded logic program enumerating its models.</div></div>
<div class="ttc" id="agroup__Model_html_ga13f511e3162055cd337c7f5e2ada31a1"><div class="ttname"><a href="group__Model.html#ga13f511e3162055cd337c7f5e2ada31a1">clingo_model_type_t</a></div><div class="ttdeci">int clingo_model_type_t</div><div class="ttdoc">Corresponding type to clingo_model_type_e.</div><div class="ttdef"><b>Definition:</b> clingo.h:2094</div></div>
<div class="ttc" id="agroup__Model_html_gaaf9a93819f023f3cb8aa80598c46556b"><div class="ttname"><a href="group__Model.html#gaaf9a93819f023f3cb8aa80598c46556b">clingo_model_t</a></div><div class="ttdeci">struct clingo_model clingo_model_t</div><div class="ttdoc">Object representing a model.</div><div class="ttdef"><b>Definition:</b> clingo.h:2085</div></div>
<div class="ttc" id="agroup__SolveHandle_html_ga73d71df7adeee92f1d515f52cdcbbac0"><div class="ttname"><a href="group__SolveHandle.html#ga73d71df7adeee92f1d515f52cdcbbac0">clingo_solve_handle_resume</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT bool clingo_solve_handle_resume(clingo_solve_handle_t *handle)</div><div class="ttdoc">Discards the last model and starts the search for the next one.</div></div>
<div class="ttc" id="agroup__Symbols_html_ga6963e11f6d22a5c04a0e50d1afe1f4f5"><div class="ttname"><a href="group__Symbols.html#ga6963e11f6d22a5c04a0e50d1afe1f4f5">clingo_symbol_to_string_size</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT bool clingo_symbol_to_string_size(clingo_symbol_t symbol, size_t *size)</div><div class="ttdoc">Get the size of the string representation of a symbol (including the terminating 0).</div></div>
<div class="ttc" id="agroup__Model_html_ga5c6c30cef0e3a29a192577a1a739ca69"><div class="ttname"><a href="group__Model.html#ga5c6c30cef0e3a29a192577a1a739ca69">clingo_model_symbols_size</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT bool clingo_model_symbols_size(clingo_model_t const *model, clingo_show_type_bitset_t show, size_t *size)</div><div class="ttdoc">Get the number of symbols of the selected types in the model.</div></div>
<div class="ttc" id="agroup__Model_html_gga2a8b4c9ddcd63dcfd57a61d1aa9bd77aa26c979a76b39d052f9e4475b5479bbdf"><div class="ttname"><a href="group__Model.html#gga2a8b4c9ddcd63dcfd57a61d1aa9bd77aa26c979a76b39d052f9e4475b5479bbdf">clingo_model_type_stable_model</a></div><div class="ttdeci">@ clingo_model_type_stable_model</div><div class="ttdoc">The model represents a stable model.</div><div class="ttdef"><b>Definition:</b> clingo.h:2089</div></div>
<div class="ttc" id="agroup__SolveHandle_html_ga023c1084a4c01ea6e121a8310efba045"><div class="ttname"><a href="group__SolveHandle.html#ga023c1084a4c01ea6e121a8310efba045">clingo_solve_handle_t</a></div><div class="ttdeci">struct clingo_solve_handle clingo_solve_handle_t</div><div class="ttdoc">Search handle to a solve call.</div><div class="ttdef"><b>Definition:</b> clingo.h:2322</div></div>
<div class="ttc" id="agroup__Control_html_gae917a23b0591d181004ec88c4e3291c1"><div class="ttname"><a href="group__Control.html#gae917a23b0591d181004ec88c4e3291c1">clingo_solve_result_bitset_t</a></div><div class="ttdeci">unsigned clingo_solve_result_bitset_t</div><div class="ttdef"><b>Definition:</b> clingo.h:2248</div></div>
<div class="ttc" id="agroup__SolveHandle_html_gaf9353c14149a2a16adf0474796871ae1"><div class="ttname"><a href="group__SolveHandle.html#gaf9353c14149a2a16adf0474796871ae1">clingo_solve_handle_model</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT bool clingo_solve_handle_model(clingo_solve_handle_t *handle, clingo_model_t const **model)</div><div class="ttdoc">Get the next model (or zero if there are no more models).</div></div>
<div class="ttc" id="agroup__Model_html_gga72e8ba23a84af09dfd93739ebaa6ecf8a25cc3101d9085b55be080510077c11cb"><div class="ttname"><a href="group__Model.html#gga72e8ba23a84af09dfd93739ebaa6ecf8a25cc3101d9085b55be080510077c11cb">clingo_show_type_terms</a></div><div class="ttdeci">@ clingo_show_type_terms</div><div class="ttdoc">Select all terms.</div><div class="ttdef"><b>Definition:</b> clingo.h:2100</div></div>
<div class="ttc" id="agroup__Model_html_gafe9df0b81b3b423f1c68dec3f64ad564"><div class="ttname"><a href="group__Model.html#gafe9df0b81b3b423f1c68dec3f64ad564">clingo_show_type_bitset_t</a></div><div class="ttdeci">unsigned clingo_show_type_bitset_t</div><div class="ttdoc">Corresponding type to clingo_show_type_e.</div><div class="ttdef"><b>Definition:</b> clingo.h:2106</div></div>
<div class="ttc" id="agroup__Model_html_gga72e8ba23a84af09dfd93739ebaa6ecf8a764756fce5bfb41ba2d3bf23c4c85e09"><div class="ttname"><a href="group__Model.html#gga72e8ba23a84af09dfd93739ebaa6ecf8a764756fce5bfb41ba2d3bf23c4c85e09">clingo_show_type_complement</a></div><div class="ttdeci">@ clingo_show_type_complement</div><div class="ttdoc">Select false instead of true atoms (clingo_show_type_atoms) or terms (clingo_show_type_terms).</div><div class="ttdef"><b>Definition:</b> clingo.h:2103</div></div>
<div class="ttc" id="agroup__BasicTypes_html_gab6fae458db566efb7d6684ffda376aa8"><div class="ttname"><a href="group__BasicTypes.html#gab6fae458db566efb7d6684ffda376aa8">clingo_error_code</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT clingo_error_t clingo_error_code()</div><div class="ttdoc">Get the last error code set by a clingo API call.</div></div>
<div class="ttc" id="agroup__BasicTypes_html_ga8bc3d9c18f15023bef4f427e5bf69c9f"><div class="ttname"><a href="group__BasicTypes.html#ga8bc3d9c18f15023bef4f427e5bf69c9f">clingo_error_message</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT const char * clingo_error_message()</div><div class="ttdoc">Get the last error message set if an API call fails.</div></div>
<div class="ttc" id="agroup__Symbols_html_ga6c75c60fa57c3b97505265ff08f6f951"><div class="ttname"><a href="group__Symbols.html#ga6c75c60fa57c3b97505265ff08f6f951">clingo_symbol_t</a></div><div class="ttdeci">uint64_t clingo_symbol_t</div><div class="ttdoc">Represents a symbol.</div><div class="ttdef"><b>Definition:</b> clingo.h:330</div></div>
<div class="ttc" id="agroup__Model_html_gga2a8b4c9ddcd63dcfd57a61d1aa9bd77aa4ae425fae120bbeb34c5f983833b66d7"><div class="ttname"><a href="group__Model.html#gga2a8b4c9ddcd63dcfd57a61d1aa9bd77aa4ae425fae120bbeb34c5f983833b66d7">clingo_model_type_cautious_consequences</a></div><div class="ttdeci">@ clingo_model_type_cautious_consequences</div><div class="ttdoc">The model represents a set of cautious consequences.</div><div class="ttdef"><b>Definition:</b> clingo.h:2091</div></div>
<div class="ttc" id="agroup__Model_html_gga72e8ba23a84af09dfd93739ebaa6ecf8ae4881b426be40132ce254553a1f7c78e"><div class="ttname"><a href="group__Model.html#gga72e8ba23a84af09dfd93739ebaa6ecf8ae4881b426be40132ce254553a1f7c78e">clingo_show_type_atoms</a></div><div class="ttdeci">@ clingo_show_type_atoms</div><div class="ttdoc">Select all atoms.</div><div class="ttdef"><b>Definition:</b> clingo.h:2099</div></div>
<div class="ttc" id="agroup__BasicTypes_html_ggaebdf91a4187db9abdd2c6ceb971cf13eaa14a0926eb3e653fcc13299b33d8d348"><div class="ttname"><a href="group__BasicTypes.html#ggaebdf91a4187db9abdd2c6ceb971cf13eaa14a0926eb3e653fcc13299b33d8d348">clingo_error_bad_alloc</a></div><div class="ttdeci">@ clingo_error_bad_alloc</div><div class="ttdoc">memory could not be allocated</div><div class="ttdef"><b>Definition:</b> clingo.h:145</div></div>
<div class="ttc" id="agroup__BasicTypes_html_ga5c2b2943475239e151eb783d30548b38"><div class="ttname"><a href="group__BasicTypes.html#ga5c2b2943475239e151eb783d30548b38">clingo_set_error</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT void clingo_set_error(clingo_error_t code, char const *message)</div><div class="ttdoc">Set a custom error code and message in the active thread.</div></div>
<div class="ttc" id="agroup__Model_html_ga05d849166d689a3d4ae8d40fba070d91"><div class="ttname"><a href="group__Model.html#ga05d849166d689a3d4ae8d40fba070d91">clingo_model_symbols</a></div><div class="ttdeci">CLINGO_VISIBILITY_DEFAULT bool clingo_model_symbols(clingo_model_t const *model, clingo_show_type_bitset_t show, clingo_symbol_t *symbols, size_t size)</div><div class="ttdoc">Get the symbols of the selected types in the model.</div></div>
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Fri Sep 16 2022 19:52:36 for Clingo C API by  <a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.8.17
</small></address>
</body>
</html>