Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Main Page
Modules
+
Classes
Class List
Class Index
+
Class Members
+
All
a
b
c
d
e
h
i
l
m
n
o
p
r
s
t
u
v
w
+
Variables
a
b
c
d
e
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
s
t
v
w
+
Functions
a
b
c
e
m
o
p
s
t
v
w
+
Typedefs
a
b
c
d
e
g
h
i
l
m
o
p
s
t
w
Enumerations
+
Enumerator
c
e
h
m
p
s
t
w
Macros
Examples
•
All
Classes
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Modules
Pages
Class Index
a
|
b
|
c
|
d
|
e
|
f
|
g
|
h
|
i
|
l
|
m
|
p
|
r
|
s
|
t
|
u
|
w
a
l
clingo_application
clingo_ast_literal
clingo_ast_aggregate
clingo_location
clingo_ast_aggregate_guard
m
b
clingo_ast_minimize
clingo_ast_binary_operation
p
clingo_ast_body_aggregate
clingo_ast_body_aggregate_element
clingo_ast_pool
clingo_ast_body_literal
clingo_ast_program
c
clingo_ast_project
clingo_part
clingo_ast_comparison
clingo_propagator
clingo_ast_conditional_literal
r
clingo_ast_csp_guard
clingo_ast_csp_literal
clingo_ast_rule
clingo_ast_csp_product_term
s
clingo_ast_csp_sum_term
d
clingo_ast_script
clingo_ast_show_signature
clingo_ast_defined
clingo_ast_show_term
clingo_ast_definition
clingo_ast_statement
clingo_ast_disjoint
t
clingo_ast_disjoint_element
clingo_ast_disjunction
clingo_ast_term
e
clingo_ast_theory_atom
clingo_ast_theory_atom_definition
clingo_ast_edge
clingo_ast_theory_atom_element
clingo_ast_external
clingo_ast_theory_definition
f
clingo_ast_theory_function
clingo_ast_theory_guard
clingo_ast_function
clingo_ast_theory_guard_definition
g
clingo_ast_theory_operator_definition
clingo_ast_theory_term
clingo_ground_program_observer
clingo_ast_theory_term_array
h
clingo_ast_theory_term_definition
clingo_ast_theory_unparsed_term
clingo_ast_head_aggregate
clingo_ast_theory_unparsed_term_element
clingo_ast_head_aggregate_element
u
clingo_ast_head_literal
clingo_ast_heuristic
clingo_ast_unary_operation
i
w
clingo_ast_id
clingo_weighted_literal
clingo_ast_interval
a
|
b
|
c
|
d
|
e
|
f
|
g
|
h
|
i
|
l
|
m
|
p
|
r
|
s
|
t
|
u
|
w
Generated on Mon Aug 26 2019 12:10:53 for Clingo C API by
1.8.13