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

- a -

• clingo_ast_aggregate_function_count : clingo.h
• clingo_ast_aggregate_function_max : clingo.h
• clingo_ast_aggregate_function_min : clingo.h
• clingo_ast_aggregate_function_sum : clingo.h
• clingo_ast_aggregate_function_sump : clingo.h
• clingo_ast_attribute_type_ast : clingo.h
• clingo_ast_attribute_type_ast_array : clingo.h
• clingo_ast_attribute_type_location : clingo.h
• clingo_ast_attribute_type_number : clingo.h
• clingo_ast_attribute_type_optional_ast : clingo.h
• clingo_ast_attribute_type_string : clingo.h
• clingo_ast_attribute_type_string_array : clingo.h
• clingo_ast_attribute_type_symbol : clingo.h

- b -

• clingo_ast_binary_operator_and : clingo.h
• clingo_ast_binary_operator_division : clingo.h
• clingo_ast_binary_operator_minus : clingo.h
• clingo_ast_binary_operator_modulo : clingo.h
• clingo_ast_binary_operator_multiplication : clingo.h
• clingo_ast_binary_operator_or : clingo.h
• clingo_ast_binary_operator_plus : clingo.h
• clingo_ast_binary_operator_power : clingo.h
• clingo_ast_binary_operator_xor : clingo.h
• clingo_backend_type_aspif : clingo.h
• clingo_backend_type_reify : clingo.h
• clingo_backend_type_reify_sccs : clingo.h
• clingo_backend_type_reify_steps : clingo.h
• clingo_backend_type_smodels : clingo.h

- c -

• clingo_ast_comparison_operator_equal : clingo.h
• clingo_ast_comparison_operator_greater_equal : clingo.h
• clingo_ast_comparison_operator_greater_than : clingo.h
• clingo_ast_comparison_operator_less_equal : clingo.h
• clingo_ast_comparison_operator_less_than : clingo.h
• clingo_ast_comparison_operator_not_equal : clingo.h
• clingo_clause_type_learnt : clingo.h
• clingo_clause_type_static : clingo.h
• clingo_clause_type_volatile : clingo.h
• clingo_clause_type_volatile_static : clingo.h
• clingo_comment_type_block : clingo.h
• clingo_comment_type_line : clingo.h
• clingo_configuration_type_array : clingo.h
• clingo_configuration_type_map : clingo.h
• clingo_configuration_type_value : clingo.h
• clingo_consequence_false : clingo.h
• clingo_consequence_true : clingo.h
• clingo_consequence_unknown : clingo.h

- e -

• clingo_error_bad_alloc : clingo.h
• clingo_error_logic : clingo.h
• clingo_error_runtime : clingo.h
• clingo_error_success : clingo.h
• clingo_error_unknown : clingo.h
• clingo_external_type_false : clingo.h
• clingo_external_type_free : clingo.h
• clingo_external_type_release : clingo.h
• clingo_external_type_true : clingo.h

- h -

• clingo_heuristic_type_factor : clingo.h
• clingo_heuristic_type_false : clingo.h
• clingo_heuristic_type_init : clingo.h
• clingo_heuristic_type_level : clingo.h
• clingo_heuristic_type_sign : clingo.h
• clingo_heuristic_type_true : clingo.h

- m -

• clingo_model_type_brave_consequences : clingo.h
• clingo_model_type_cautious_consequences : clingo.h
• clingo_model_type_stable_model : clingo.h

- p -

• clingo_propagator_check_mode_both : clingo.h
• clingo_propagator_check_mode_fixpoint : clingo.h
• clingo_propagator_check_mode_none : clingo.h
• clingo_propagator_check_mode_total : clingo.h
• clingo_propagator_undo_mode_always : clingo.h
• clingo_propagator_undo_mode_default : clingo.h

- s -

• clingo_ast_sign_double_negation : clingo.h
• clingo_ast_sign_negation : clingo.h
• clingo_ast_sign_no_sign : clingo.h
• clingo_show_type_all : clingo.h
• clingo_show_type_atoms : clingo.h
• clingo_show_type_complement : clingo.h
• clingo_show_type_shown : clingo.h
• clingo_show_type_terms : clingo.h
• clingo_show_type_theory : 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_unsat : clingo.h
• clingo_solve_mode_async : clingo.h
• clingo_solve_mode_yield : 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_type_array : clingo.h
• clingo_statistics_type_empty : clingo.h
• clingo_statistics_type_map : clingo.h
• clingo_statistics_type_value : 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

- t -

• clingo_ast_theory_atom_definition_type_any : clingo.h
• clingo_ast_theory_atom_definition_type_body : clingo.h
• clingo_ast_theory_atom_definition_type_directive : clingo.h
• clingo_ast_theory_atom_definition_type_head : clingo.h
• clingo_ast_theory_operator_type_binary_left : clingo.h
• clingo_ast_theory_operator_type_binary_right : clingo.h
• clingo_ast_theory_operator_type_unary : clingo.h
• clingo_ast_theory_sequence_type_list : clingo.h
• clingo_ast_theory_sequence_type_set : clingo.h
• clingo_ast_theory_sequence_type_tuple : clingo.h
• clingo_theory_sequence_type_list : clingo.h
• clingo_theory_sequence_type_set : clingo.h
• clingo_theory_sequence_type_tuple : clingo.h
• clingo_theory_term_type_function : clingo.h
• clingo_theory_term_type_list : clingo.h
• clingo_theory_term_type_number : clingo.h
• clingo_theory_term_type_set : clingo.h
• clingo_theory_term_type_symbol : clingo.h
• clingo_theory_term_type_tuple : clingo.h
• clingo_truth_value_false : clingo.h
• clingo_truth_value_free : clingo.h
• clingo_truth_value_true : clingo.h

- u -

• clingo_ast_unary_operator_absolute : clingo.h
• clingo_ast_unary_operator_minus : clingo.h
• clingo_ast_unary_operator_negation : clingo.h
• clingo_ast_unpool_type_all : clingo.h
• clingo_ast_unpool_type_condition : clingo.h
• clingo_ast_unpool_type_other : clingo.h

- w -

• clingo_warning_atom_undefined : clingo.h
• clingo_warning_file_included : clingo.h
• clingo_warning_global_variable : clingo.h
• clingo_warning_operation_undefined : clingo.h
• clingo_warning_other : clingo.h
• clingo_warning_runtime_error : clingo.h
• clingo_warning_variable_unbounded : clingo.h
• clingo_weight_constraint_type_equivalence : clingo.h
• clingo_weight_constraint_type_implication_left : clingo.h
• clingo_weight_constraint_type_implication_right : clingo.h