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:
- s -
clingo_set_error() :
clingo.h
clingo_show_type :
clingo.h
clingo_show_type_all :
clingo.h
clingo_show_type_atoms :
clingo.h
clingo_show_type_bitset_t :
clingo.h
clingo_show_type_complement :
clingo.h
clingo_show_type_csp :
clingo.h
clingo_show_type_shown :
clingo.h
clingo_show_type_terms :
clingo.h
clingo_signature_arity() :
clingo.h
clingo_signature_create() :
clingo.h
clingo_signature_hash() :
clingo.h
clingo_signature_is_equal_to() :
clingo.h
clingo_signature_is_less_than() :
clingo.h
clingo_signature_is_negative() :
clingo.h
clingo_signature_is_positive() :
clingo.h
clingo_signature_name() :
clingo.h
clingo_signature_t :
clingo.h
clingo_solve_control_add_clause() :
clingo.h
clingo_solve_control_symbolic_atoms() :
clingo.h
clingo_solve_control_t :
clingo.h
clingo_solve_event_callback_t :
clingo.h
clingo_solve_event_type :
clingo.h
clingo_solve_event_type_finish :
clingo.h
clingo_solve_event_type_model :
clingo.h
clingo_solve_event_type_statistics :
clingo.h
clingo_solve_event_type_t :
clingo.h
clingo_solve_handle_cancel() :
clingo.h
clingo_solve_handle_close() :
clingo.h
clingo_solve_handle_get() :
clingo.h
clingo_solve_handle_model() :
clingo.h
clingo_solve_handle_resume() :
clingo.h
clingo_solve_handle_t :
clingo.h
clingo_solve_handle_wait() :
clingo.h
clingo_solve_mode :
clingo.h
clingo_solve_mode_async :
clingo.h
clingo_solve_mode_bitset_t :
clingo.h
clingo_solve_mode_yield :
clingo.h
clingo_solve_result :
clingo.h
clingo_solve_result_bitset_t :
clingo.h
clingo_solve_result_exhausted :
clingo.h
clingo_solve_result_interrupted :
clingo.h
clingo_solve_result_satisfiable :
clingo.h
clingo_solve_result_unsatisfiable :
clingo.h
clingo_statistics_array_at() :
clingo.h
clingo_statistics_array_push() :
clingo.h
clingo_statistics_array_size() :
clingo.h
clingo_statistics_map_add_subkey() :
clingo.h
clingo_statistics_map_at() :
clingo.h
clingo_statistics_map_has_subkey() :
clingo.h
clingo_statistics_map_size() :
clingo.h
clingo_statistics_map_subkey_name() :
clingo.h
clingo_statistics_root() :
clingo.h
clingo_statistics_t :
clingo.h
clingo_statistics_type :
clingo.h
clingo_statistics_type_array :
clingo.h
clingo_statistics_type_empty :
clingo.h
clingo_statistics_type_map :
clingo.h
clingo_statistics_type_t :
clingo.h
clingo_statistics_type_value :
clingo.h
clingo_statistics_value_get() :
clingo.h
clingo_statistics_value_set() :
clingo.h
clingo_symbol_arguments() :
clingo.h
clingo_symbol_callback_t :
clingo.h
clingo_symbol_create_function() :
clingo.h
clingo_symbol_create_id() :
clingo.h
clingo_symbol_create_infimum() :
clingo.h
clingo_symbol_create_number() :
clingo.h
clingo_symbol_create_string() :
clingo.h
clingo_symbol_create_supremum() :
clingo.h
clingo_symbol_hash() :
clingo.h
clingo_symbol_is_equal_to() :
clingo.h
clingo_symbol_is_less_than() :
clingo.h
clingo_symbol_is_negative() :
clingo.h
clingo_symbol_is_positive() :
clingo.h
clingo_symbol_name() :
clingo.h
clingo_symbol_number() :
clingo.h
clingo_symbol_string() :
clingo.h
clingo_symbol_t :
clingo.h
clingo_symbol_to_string() :
clingo.h
clingo_symbol_to_string_size() :
clingo.h
clingo_symbol_type() :
clingo.h
clingo_symbol_type_function :
clingo.h
clingo_symbol_type_infimum :
clingo.h
clingo_symbol_type_number :
clingo.h
clingo_symbol_type_string :
clingo.h
clingo_symbol_type_supremum :
clingo.h
clingo_symbol_type_t :
clingo.h
clingo_symbolic_atom_iterator_t :
clingo.h
clingo_symbolic_atoms_begin() :
clingo.h
clingo_symbolic_atoms_end() :
clingo.h
clingo_symbolic_atoms_find() :
clingo.h
clingo_symbolic_atoms_is_external() :
clingo.h
clingo_symbolic_atoms_is_fact() :
clingo.h
clingo_symbolic_atoms_is_valid() :
clingo.h
clingo_symbolic_atoms_iterator_is_equal_to() :
clingo.h
clingo_symbolic_atoms_literal() :
clingo.h
clingo_symbolic_atoms_next() :
clingo.h
clingo_symbolic_atoms_signatures() :
clingo.h
clingo_symbolic_atoms_signatures_size() :
clingo.h
clingo_symbolic_atoms_size() :
clingo.h
clingo_symbolic_atoms_symbol() :
clingo.h
clingo_symbolic_atoms_t :
clingo.h
Generated on Mon Aug 26 2019 12:10:53 for Clingo C API by
1.8.13
1.8.13