- a -

• clingo_add_string() : clingo.h
• clingo_assignment_decision() : clingo.h
• clingo_assignment_decision_level() : clingo.h
• clingo_assignment_has_conflict() : clingo.h
• clingo_assignment_has_literal() : clingo.h
• clingo_assignment_is_false() : clingo.h
• clingo_assignment_is_fixed() : clingo.h
• clingo_assignment_is_total() : clingo.h
• clingo_assignment_is_true() : clingo.h
• clingo_assignment_level() : clingo.h
• clingo_assignment_max_size() : clingo.h
• clingo_assignment_root_level() : clingo.h
• clingo_assignment_size() : clingo.h
• clingo_assignment_truth_value() : clingo.h

- b -

• clingo_backend_acyc_edge() : clingo.h
• clingo_backend_add_atom() : clingo.h
• clingo_backend_assume() : clingo.h
• clingo_backend_begin() : clingo.h
• clingo_backend_end() : clingo.h
• clingo_backend_external() : clingo.h
• clingo_backend_heuristic() : clingo.h
• clingo_backend_minimize() : clingo.h
• clingo_backend_project() : clingo.h
• clingo_backend_rule() : clingo.h
• clingo_backend_weight_rule() : clingo.h

- c -

• 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_type() : 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_theory_atoms() : clingo.h
• clingo_control_use_enumeration_assumption() : clingo.h

- e -

• clingo_error_code() : clingo.h
• clingo_error_message() : clingo.h
• clingo_error_string() : clingo.h

- m -

• clingo_main() : clingo.h
• clingo_model_contains() : clingo.h
• clingo_model_context() : clingo.h
• clingo_model_cost() : clingo.h
• clingo_model_cost_size() : clingo.h
• clingo_model_extend() : clingo.h
• clingo_model_is_true() : clingo.h
• clingo_model_number() : clingo.h
• clingo_model_optimality_proven() : clingo.h
• clingo_model_symbols() : clingo.h
• clingo_model_symbols_size() : clingo.h
• clingo_model_thread_id() : clingo.h
• clingo_model_type() : clingo.h

- o -

• clingo_options_add() : clingo.h
• clingo_options_add_flag() : clingo.h

- p -

• clingo_parse_program() : clingo.h
• clingo_parse_term() : clingo.h
• clingo_program_builder_add() : clingo.h
• clingo_program_builder_begin() : clingo.h
• clingo_program_builder_end() : clingo.h
• clingo_propagate_control_add_clause() : clingo.h
• clingo_propagate_control_add_literal() : clingo.h
• clingo_propagate_control_add_watch() : clingo.h
• clingo_propagate_control_assignment() : clingo.h
• clingo_propagate_control_has_watch() : clingo.h
• clingo_propagate_control_propagate() : clingo.h
• clingo_propagate_control_remove_watch() : clingo.h
• clingo_propagate_control_thread_id() : clingo.h
• clingo_propagate_init_add_clause() : clingo.h
• clingo_propagate_init_add_watch() : clingo.h
• clingo_propagate_init_add_watch_to_thread() : clingo.h
• clingo_propagate_init_assignment() : clingo.h
• clingo_propagate_init_get_check_mode() : clingo.h
• clingo_propagate_init_number_of_threads() : clingo.h
• clingo_propagate_init_set_check_mode() : clingo.h
• clingo_propagate_init_solver_literal() : clingo.h
• clingo_propagate_init_symbolic_atoms() : clingo.h
• clingo_propagate_init_theory_atoms() : clingo.h

- s -

• 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_get() : 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

- t -

• clingo_theory_atoms_atom_elements() : clingo.h
• clingo_theory_atoms_atom_guard() : clingo.h
• clingo_theory_atoms_atom_has_guard() : clingo.h
• clingo_theory_atoms_atom_literal() : clingo.h
• clingo_theory_atoms_atom_term() : clingo.h
• clingo_theory_atoms_atom_to_string() : clingo.h
• clingo_theory_atoms_atom_to_string_size() : clingo.h
• clingo_theory_atoms_element_condition() : clingo.h
• clingo_theory_atoms_element_condition_id() : clingo.h
• clingo_theory_atoms_element_to_string() : clingo.h
• clingo_theory_atoms_element_to_string_size() : clingo.h
• clingo_theory_atoms_element_tuple() : clingo.h
• clingo_theory_atoms_size() : clingo.h
• clingo_theory_atoms_term_arguments() : clingo.h
• clingo_theory_atoms_term_name() : clingo.h
• clingo_theory_atoms_term_number() : clingo.h
• clingo_theory_atoms_term_to_string() : clingo.h
• clingo_theory_atoms_term_to_string_size() : clingo.h
• clingo_theory_atoms_term_type() : clingo.h

- v -

• clingo_version() : clingo.h

- w -

• clingo_warning_string() : clingo.h