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_extra : 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_async_cancel() : clingo.h
• clingo_solve_async_get() : clingo.h
• clingo_solve_async_t : clingo.h
• clingo_solve_async_wait() : clingo.h
• clingo_solve_control_add_clause() : clingo.h
• clingo_solve_control_t : clingo.h
• clingo_solve_control_thread_id() : clingo.h
• clingo_solve_iteratively_close() : clingo.h
• clingo_solve_iteratively_get() : clingo.h
• clingo_solve_iteratively_next() : clingo.h
• clingo_solve_iteratively_t : 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_size() : clingo.h
• clingo_statistics_map_at() : 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_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
• clingo_symbolic_literal_t : clingo.h