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
- a -
clingo_application_t :
clingo.h
clingo_assignment_t :
clingo.h
clingo_atom_t :
clingo.h
- b -
clingo_backend_t :
clingo.h
- c -
clingo_clause_type_t :
clingo.h
clingo_configuration_t :
clingo.h
clingo_configuration_type_bitset_t :
clingo.h
clingo_control_t :
clingo.h
- d -
clingo_default_model_printer_t :
clingo.h
- e -
clingo_error_t :
clingo.h
clingo_external_type_t :
clingo.h
- g -
clingo_ground_callback_t :
clingo.h
clingo_ground_program_observer_t :
clingo.h
- h -
clingo_heuristic_type_t :
clingo.h
- i -
clingo_id_t :
clingo.h
- l -
clingo_literal_t :
clingo.h
clingo_location_t :
clingo.h
clingo_logger_t :
clingo.h
- m -
clingo_main_function_t :
clingo.h
clingo_model_printer_t :
clingo.h
clingo_model_t :
clingo.h
clingo_model_type_t :
clingo.h
- o -
clingo_options_t :
clingo.h
- p -
clingo_part_t :
clingo.h
clingo_program_builder_t :
clingo.h
clingo_propagate_control_t :
clingo.h
clingo_propagate_init_t :
clingo.h
clingo_propagator_check_callback_t :
clingo.h
clingo_propagator_check_mode_t :
clingo.h
clingo_propagator_init_callback_t :
clingo.h
clingo_propagator_propagate_callback_t :
clingo.h
clingo_propagator_t :
clingo.h
clingo_propagator_undo_callback_t :
clingo.h
- s -
clingo_show_type_bitset_t :
clingo.h
clingo_signature_t :
clingo.h
clingo_solve_control_t :
clingo.h
clingo_solve_event_callback_t :
clingo.h
clingo_solve_event_type_t :
clingo.h
clingo_solve_handle_t :
clingo.h
clingo_solve_mode_bitset_t :
clingo.h
clingo_solve_result_bitset_t :
clingo.h
clingo_statistics_t :
clingo.h
clingo_statistics_type_t :
clingo.h
clingo_symbol_callback_t :
clingo.h
clingo_symbol_t :
clingo.h
clingo_symbol_type_t :
clingo.h
clingo_symbolic_atom_iterator_t :
clingo.h
clingo_symbolic_atoms_t :
clingo.h
- t -
clingo_theory_atoms_t :
clingo.h
clingo_theory_term_type_t :
clingo.h
clingo_truth_value_t :
clingo.h
- w -
clingo_warning_t :
clingo.h
clingo_weight_t :
clingo.h
clingo_weighted_literal_t :
clingo.h
Generated on Mon Aug 26 2019 12:10:53 for Clingo C API by
1.8.13
1.8.13