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
e
h
i
m
n
o
p
r
s
t
u
w
Variables
a
b
c
e
h
i
m
n
o
p
r
s
t
u
w
Files
File List
File Members
All
a
b
c
e
g
h
i
l
m
p
s
t
v
w
Functions
a
b
c
e
m
p
s
t
v
w
Typedefs
a
b
c
e
g
h
i
l
m
p
s
t
w
Enumerations
Enumerator
c
e
h
m
p
s
t
w
Macros
Examples
Here is a list of all documented file members with links to the documentation:
- a -
clingo_add_string() :
clingo.h
clingo_assignment_decision() :
clingo.h
clingo_assignment_decision_level() :
clingo.h
clingo_assignment_has_conflict() :
clingo.h
clingo_assignment_has_literal() :
clingo.h
clingo_assignment_is_false() :
clingo.h
clingo_assignment_is_fixed() :
clingo.h
clingo_assignment_is_total() :
clingo.h
clingo_assignment_is_true() :
clingo.h
clingo_assignment_level() :
clingo.h
clingo_assignment_max_size() :
clingo.h
clingo_assignment_size() :
clingo.h
clingo_assignment_t :
clingo.h
clingo_assignment_truth_value() :
clingo.h
clingo_atom_t :
clingo.h
Generated on Wed Nov 8 2017 09:57:37 for Clingo C API by
1.8.13
1.8.13