Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Toggle main menu visibility
Main Page
Classes
Class List
Class Index
Class Members
All
a
b
c
d
e
f
h
i
l
m
n
o
p
r
s
t
u
v
w
Variables
a
b
c
d
e
f
h
i
l
m
n
o
p
r
s
t
u
v
w
Files
File List
File Members
All
a
b
c
d
e
g
h
i
l
m
o
p
r
s
t
u
v
w
Functions
a
b
c
d
e
g
h
l
m
o
p
r
s
t
u
v
w
Variables
Typedefs
a
b
c
d
e
g
h
i
l
m
o
p
s
t
u
w
Enumerations
a
b
c
e
h
m
p
s
t
u
w
Enumerator
a
b
c
e
h
m
p
s
t
u
w
Macros
Examples
•
All
Classes
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Modules
Pages
Loading...
Searching...
No Matches
Here is a list of all documented file members with links to the documentation:
- d -
clingo_ast_deep_copy() :
clingo.h
clingo_default_model_printer_t :
clingo.h
Generated on Thu Apr 3 2025 15:37:59 for Clingo C API by
1.12.0
1.12.0