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
Here is a list of all documented file members with links to the documentation:
- c -
clingo_clause_type :
clingo.h
clingo_clause_type_learnt :
clingo.h
clingo_clause_type_static :
clingo.h
clingo_clause_type_t :
clingo.h
clingo_clause_type_volatile :
clingo.h
clingo_clause_type_volatile_static :
clingo.h
clingo_configuration_array_at() :
clingo.h
clingo_configuration_array_size() :
clingo.h
clingo_configuration_description() :
clingo.h
clingo_configuration_map_at() :
clingo.h
clingo_configuration_map_has_subkey() :
clingo.h
clingo_configuration_map_size() :
clingo.h
clingo_configuration_map_subkey_name() :
clingo.h
clingo_configuration_root() :
clingo.h
clingo_configuration_t :
clingo.h
clingo_configuration_type :
clingo.h
clingo_configuration_type_array :
clingo.h
clingo_configuration_type_bitset_t :
clingo.h
clingo_configuration_type_map :
clingo.h
clingo_configuration_type_value :
clingo.h
clingo_configuration_value_get() :
clingo.h
clingo_configuration_value_get_size() :
clingo.h
clingo_configuration_value_is_assigned() :
clingo.h
clingo_configuration_value_set() :
clingo.h
clingo_control_add() :
clingo.h
clingo_control_assign_external() :
clingo.h
clingo_control_backend() :
clingo.h
clingo_control_clasp_facade() :
clingo.h
clingo_control_cleanup() :
clingo.h
clingo_control_configuration() :
clingo.h
clingo_control_free() :
clingo.h
clingo_control_get_const() :
clingo.h
clingo_control_ground() :
clingo.h
clingo_control_has_const() :
clingo.h
clingo_control_interrupt() :
clingo.h
clingo_control_is_conflicting() :
clingo.h
clingo_control_load() :
clingo.h
clingo_control_new() :
clingo.h
clingo_control_program_builder() :
clingo.h
clingo_control_register_observer() :
clingo.h
clingo_control_register_propagator() :
clingo.h
clingo_control_release_external() :
clingo.h
clingo_control_solve() :
clingo.h
clingo_control_statistics() :
clingo.h
clingo_control_symbolic_atoms() :
clingo.h
clingo_control_t :
clingo.h
clingo_control_theory_atoms() :
clingo.h
clingo_control_use_enumeration_assumption() :
clingo.h
CLINGO_VERSION :
clingo.h
CLINGO_VERSION_MAJOR :
clingo.h
CLINGO_VERSION_MINOR :
clingo.h
CLINGO_VERSION_REVISION :
clingo.h
Generated on Mon Aug 26 2019 12:10:53 for Clingo C API by
1.8.13
1.8.13