Here is a list of all documented functions with links to the documentation:

- s -

• clingo_script_version() : clingo.h
• clingo_set_error() : 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_solve_control_add_clause() : clingo.h
• clingo_solve_control_symbolic_atoms() : clingo.h
• clingo_solve_handle_cancel() : clingo.h
• clingo_solve_handle_close() : clingo.h
• clingo_solve_handle_core() : clingo.h
• clingo_solve_handle_get() : clingo.h
• clingo_solve_handle_last() : clingo.h
• clingo_solve_handle_model() : clingo.h
• clingo_solve_handle_resume() : clingo.h
• clingo_solve_handle_wait() : 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_type() : clingo.h
• clingo_statistics_value_get() : clingo.h
• clingo_statistics_value_set() : clingo.h
• clingo_symbol_arguments() : 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_to_string() : clingo.h
• clingo_symbol_to_string_size() : clingo.h
• clingo_symbol_type() : 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