[−] List of all items
Structs
- __fsid_t
- clingo_application
- clingo_assignment
- clingo_ast_aggregate
- clingo_ast_aggregate_guard
- clingo_ast_binary_operation
- clingo_ast_body_aggregate
- clingo_ast_body_aggregate_element
- clingo_ast_body_literal
- clingo_ast_comparison
- clingo_ast_conditional_literal
- clingo_ast_csp_guard
- clingo_ast_csp_literal
- clingo_ast_csp_product_term
- clingo_ast_csp_sum_term
- clingo_ast_defined
- clingo_ast_definition
- clingo_ast_disjoint
- clingo_ast_disjoint_element
- clingo_ast_disjunction
- clingo_ast_edge
- clingo_ast_external
- clingo_ast_function
- clingo_ast_head_aggregate
- clingo_ast_head_aggregate_element
- clingo_ast_head_literal
- clingo_ast_heuristic
- clingo_ast_id
- clingo_ast_interval
- clingo_ast_literal
- clingo_ast_minimize
- clingo_ast_pool
- clingo_ast_program
- clingo_ast_project
- clingo_ast_rule
- clingo_ast_script
- clingo_ast_show_signature
- clingo_ast_show_term
- clingo_ast_statement
- clingo_ast_term
- clingo_ast_theory_atom
- clingo_ast_theory_atom_definition
- clingo_ast_theory_atom_element
- clingo_ast_theory_definition
- clingo_ast_theory_function
- clingo_ast_theory_guard
- clingo_ast_theory_guard_definition
- clingo_ast_theory_operator_definition
- clingo_ast_theory_term
- clingo_ast_theory_term_array
- clingo_ast_theory_term_definition
- clingo_ast_theory_unparsed_term
- clingo_ast_theory_unparsed_term_element
- clingo_ast_unary_operation
- clingo_backend
- clingo_configuration
- clingo_control
- clingo_ground_program_observer
- clingo_location
- clingo_model
- clingo_options
- clingo_part
- clingo_program_builder
- clingo_propagate_control
- clingo_propagate_init
- clingo_propagator
- clingo_solve_control
- clingo_solve_handle
- clingo_statistic
- clingo_symbolic_atoms
- clingo_theory_atoms
- clingo_weighted_literal
Unions
- clingo_ast_body_literal__bindgen_ty_1
- clingo_ast_head_literal__bindgen_ty_1
- clingo_ast_literal__bindgen_ty_1
- clingo_ast_statement__bindgen_ty_1
- clingo_ast_term__bindgen_ty_1
- clingo_ast_theory_term__bindgen_ty_1
Functions
- clingo_add_string
- clingo_assignment_decision
- clingo_assignment_decision_level
- clingo_assignment_has_conflict
- clingo_assignment_has_literal
- clingo_assignment_is_false
- clingo_assignment_is_fixed
- clingo_assignment_is_total
- clingo_assignment_is_true
- clingo_assignment_level
- clingo_assignment_max_size
- clingo_assignment_size
- clingo_assignment_truth_value
- clingo_backend_acyc_edge
- clingo_backend_add_atom
- clingo_backend_assume
- clingo_backend_begin
- clingo_backend_end
- clingo_backend_external
- clingo_backend_heuristic
- clingo_backend_minimize
- clingo_backend_project
- clingo_backend_rule
- clingo_backend_weight_rule
- clingo_configuration_array_at
- clingo_configuration_array_size
- clingo_configuration_description
- clingo_configuration_map_at
- clingo_configuration_map_has_subkey
- clingo_configuration_map_size
- clingo_configuration_map_subkey_name
- clingo_configuration_root
- clingo_configuration_type
- clingo_configuration_value_get
- clingo_configuration_value_get_size
- clingo_configuration_value_is_assigned
- clingo_configuration_value_set
- clingo_control_add
- clingo_control_assign_external
- clingo_control_backend
- clingo_control_clasp_facade
- clingo_control_cleanup
- clingo_control_configuration
- clingo_control_free
- clingo_control_get_const
- clingo_control_ground
- clingo_control_has_const
- clingo_control_interrupt
- clingo_control_is_conflicting
- clingo_control_load
- clingo_control_new
- clingo_control_program_builder
- clingo_control_register_observer
- clingo_control_register_propagator
- clingo_control_release_external
- clingo_control_solve
- clingo_control_statistics
- clingo_control_symbolic_atoms
- clingo_control_theory_atoms
- clingo_control_use_enumeration_assumption
- clingo_error_code
- clingo_error_message
- clingo_error_string
- clingo_main
- clingo_model_contains
- clingo_model_context
- clingo_model_cost
- clingo_model_cost_size
- clingo_model_extend
- clingo_model_is_true
- clingo_model_number
- clingo_model_optimality_proven
- clingo_model_symbols
- clingo_model_symbols_size
- clingo_model_thread_id
- clingo_model_type
- clingo_options_add
- clingo_options_add_flag
- clingo_parse_program
- clingo_parse_term
- clingo_program_builder_add
- clingo_program_builder_begin
- clingo_program_builder_end
- clingo_propagate_control_add_clause
- clingo_propagate_control_add_literal
- clingo_propagate_control_add_watch
- clingo_propagate_control_assignment
- clingo_propagate_control_has_watch
- clingo_propagate_control_propagate
- clingo_propagate_control_remove_watch
- clingo_propagate_control_thread_id
- clingo_propagate_init_add_watch
- clingo_propagate_init_add_watch_to_thread
- clingo_propagate_init_assignment
- clingo_propagate_init_get_check_mode
- clingo_propagate_init_number_of_threads
- clingo_propagate_init_set_check_mode
- clingo_propagate_init_solver_literal
- clingo_propagate_init_symbolic_atoms
- clingo_propagate_init_theory_atoms
- clingo_set_error
- clingo_signature_arity
- clingo_signature_create
- clingo_signature_hash
- clingo_signature_is_equal_to
- clingo_signature_is_less_than
- clingo_signature_is_negative
- clingo_signature_is_positive
- clingo_signature_name
- clingo_solve_control_add_clause
- clingo_solve_control_symbolic_atoms
- clingo_solve_handle_cancel
- clingo_solve_handle_close
- clingo_solve_handle_get
- clingo_solve_handle_model
- clingo_solve_handle_resume
- clingo_solve_handle_wait
- clingo_statistics_array_at
- clingo_statistics_array_push
- clingo_statistics_array_size
- clingo_statistics_map_add_subkey
- clingo_statistics_map_at
- clingo_statistics_map_has_subkey
- clingo_statistics_map_size
- clingo_statistics_map_subkey_name
- clingo_statistics_root
- clingo_statistics_type
- clingo_statistics_value_get
- clingo_statistics_value_set
- clingo_symbol_arguments
- clingo_symbol_create_function
- clingo_symbol_create_id
- clingo_symbol_create_infimum
- clingo_symbol_create_number
- clingo_symbol_create_string
- clingo_symbol_create_supremum
- clingo_symbol_hash
- clingo_symbol_is_equal_to
- clingo_symbol_is_less_than
- clingo_symbol_is_negative
- clingo_symbol_is_positive
- clingo_symbol_name
- clingo_symbol_number
- clingo_symbol_string
- clingo_symbol_to_string
- clingo_symbol_to_string_size
- clingo_symbol_type
- clingo_symbolic_atoms_begin
- clingo_symbolic_atoms_end
- clingo_symbolic_atoms_find
- clingo_symbolic_atoms_is_external
- clingo_symbolic_atoms_is_fact
- clingo_symbolic_atoms_is_valid
- clingo_symbolic_atoms_iterator_is_equal_to
- clingo_symbolic_atoms_literal
- clingo_symbolic_atoms_next
- clingo_symbolic_atoms_signatures
- clingo_symbolic_atoms_signatures_size
- clingo_symbolic_atoms_size
- clingo_symbolic_atoms_symbol
- clingo_theory_atoms_atom_elements
- clingo_theory_atoms_atom_guard
- clingo_theory_atoms_atom_has_guard
- clingo_theory_atoms_atom_literal
- clingo_theory_atoms_atom_term
- clingo_theory_atoms_atom_to_string
- clingo_theory_atoms_atom_to_string_size
- clingo_theory_atoms_element_condition
- clingo_theory_atoms_element_condition_id
- clingo_theory_atoms_element_to_string
- clingo_theory_atoms_element_to_string_size
- clingo_theory_atoms_element_tuple
- clingo_theory_atoms_size
- clingo_theory_atoms_term_arguments
- clingo_theory_atoms_term_name
- clingo_theory_atoms_term_number
- clingo_theory_atoms_term_to_string
- clingo_theory_atoms_term_to_string_size
- clingo_theory_atoms_term_type
- clingo_version
- clingo_warning_string
Typedefs
- __blkcnt64_t
- __blkcnt_t
- __blksize_t
- __caddr_t
- __clock_t
- __clockid_t
- __daddr_t
- __dev_t
- __fsblkcnt64_t
- __fsblkcnt_t
- __fsfilcnt64_t
- __fsfilcnt_t
- __fsword_t
- __gid_t
- __id_t
- __ino64_t
- __ino_t
- __int16_t
- __int32_t
- __int64_t
- __int8_t
- __int_least16_t
- __int_least32_t
- __int_least64_t
- __int_least8_t
- __intmax_t
- __intptr_t
- __key_t
- __loff_t
- __mode_t
- __nlink_t
- __off64_t
- __off_t
- __pid_t
- __quad_t
- __rlim64_t
- __rlim_t
- __sig_atomic_t
- __socklen_t
- __ssize_t
- __suseconds_t
- __syscall_slong_t
- __syscall_ulong_t
- __time_t
- __timer_t
- __u_char
- __u_int
- __u_long
- __u_quad_t
- __u_short
- __uid_t
- __uint16_t
- __uint32_t
- __uint64_t
- __uint8_t
- __uint_least16_t
- __uint_least32_t
- __uint_least64_t
- __uint_least8_t
- __uintmax_t
- __useconds_t
- clingo_application_t
- clingo_assignment_t
- clingo_ast_aggregate_function
- clingo_ast_aggregate_function_t
- clingo_ast_aggregate_guard_t
- clingo_ast_aggregate_t
- clingo_ast_binary_operation_t
- clingo_ast_binary_operator
- clingo_ast_binary_operator_t
- clingo_ast_body_aggregate_element_t
- clingo_ast_body_aggregate_t
- clingo_ast_body_literal_t
- clingo_ast_body_literal_type
- clingo_ast_body_literal_type_t
- clingo_ast_callback_t
- clingo_ast_comparison_operator
- clingo_ast_comparison_operator_t
- clingo_ast_comparison_t
- clingo_ast_conditional_literal_t
- clingo_ast_csp_guard_t
- clingo_ast_csp_literal_t
- clingo_ast_csp_product_term_t
- clingo_ast_csp_sum_term_t
- clingo_ast_defined_t
- clingo_ast_definition_t
- clingo_ast_disjoint_element_t
- clingo_ast_disjoint_t
- clingo_ast_disjunction_t
- clingo_ast_edge_t
- clingo_ast_external_t
- clingo_ast_function_t
- clingo_ast_head_aggregate_element_t
- clingo_ast_head_aggregate_t
- clingo_ast_head_literal_t
- clingo_ast_head_literal_type
- clingo_ast_head_literal_type_t
- clingo_ast_heuristic_t
- clingo_ast_id_t
- clingo_ast_interval_t
- clingo_ast_literal_t
- clingo_ast_literal_type
- clingo_ast_literal_type_t
- clingo_ast_minimize_t
- clingo_ast_pool_t
- clingo_ast_program_t
- clingo_ast_project_t
- clingo_ast_rule_t
- clingo_ast_script_t
- clingo_ast_script_type
- clingo_ast_script_type_t
- clingo_ast_show_signature_t
- clingo_ast_show_term_t
- clingo_ast_sign
- clingo_ast_sign_t
- clingo_ast_statement_t
- clingo_ast_statement_type
- clingo_ast_statement_type_t
- clingo_ast_term_t
- clingo_ast_term_type
- clingo_ast_term_type_t
- clingo_ast_theory_atom_definition_t
- clingo_ast_theory_atom_definition_type
- clingo_ast_theory_atom_definition_type_t
- clingo_ast_theory_atom_element_t
- clingo_ast_theory_atom_t
- clingo_ast_theory_definition_t
- clingo_ast_theory_function_t
- clingo_ast_theory_guard_definition_t
- clingo_ast_theory_guard_t
- clingo_ast_theory_operator_definition_t
- clingo_ast_theory_operator_type
- clingo_ast_theory_operator_type_t
- clingo_ast_theory_term_array_t
- clingo_ast_theory_term_definition_t
- clingo_ast_theory_term_t
- clingo_ast_theory_term_type
- clingo_ast_theory_term_type_t
- clingo_ast_theory_unparsed_term_element_t
- clingo_ast_theory_unparsed_term_t
- clingo_ast_unary_operation_t
- clingo_ast_unary_operator
- clingo_ast_unary_operator_t
- clingo_atom_t
- clingo_backend_t
- clingo_clause_type
- clingo_clause_type_t
- clingo_configuration_t
- clingo_configuration_type
- clingo_configuration_type_bitset_t
- clingo_control_t
- clingo_default_model_printer_t
- clingo_error
- clingo_error_t
- clingo_external_type
- clingo_external_type_t
- clingo_ground_callback_t
- clingo_ground_program_observer_t
- clingo_heuristic_type
- clingo_heuristic_type_t
- clingo_id_t
- clingo_literal_t
- clingo_location_t
- clingo_logger_t
- clingo_main_function_t
- clingo_model_printer_t
- clingo_model_t
- clingo_model_type
- clingo_model_type_t
- clingo_options_t
- clingo_part_t
- clingo_program_builder_t
- clingo_propagate_control_t
- clingo_propagate_init_t
- clingo_propagator_check_callback_t
- clingo_propagator_check_mode
- clingo_propagator_check_mode_t
- clingo_propagator_init_callback_t
- clingo_propagator_propagate_callback_t
- clingo_propagator_t
- clingo_propagator_undo_callback_t
- clingo_show_type
- clingo_show_type_bitset_t
- clingo_signature_t
- clingo_solve_control_t
- clingo_solve_event_callback_t
- clingo_solve_event_type
- clingo_solve_event_type_t
- clingo_solve_handle_t
- clingo_solve_mode
- clingo_solve_mode_bitset_t
- clingo_solve_result
- clingo_solve_result_bitset_t
- clingo_statistics_t
- clingo_statistics_type
- clingo_statistics_type_t
- clingo_symbol_callback_t
- clingo_symbol_t
- clingo_symbol_type
- clingo_symbol_type_t
- clingo_symbolic_atom_iterator_t
- clingo_symbolic_atoms_t
- clingo_theory_atoms_t
- clingo_theory_term_type
- clingo_theory_term_type_t
- clingo_truth_value
- clingo_truth_value_t
- clingo_warning
- clingo_warning_t
- clingo_weight_t
- clingo_weighted_literal_t
- int_fast16_t
- int_fast32_t
- int_fast64_t
- int_fast8_t
- int_least16_t
- int_least32_t
- int_least64_t
- int_least8_t
- intmax_t
- uint_fast16_t
- uint_fast32_t
- uint_fast64_t
- uint_fast8_t
- uint_least16_t
- uint_least32_t
- uint_least64_t
- uint_least8_t
- uintmax_t
- wchar_t
Constants
- CLINGO_VERSION
- CLINGO_VERSION_MAJOR
- CLINGO_VERSION_MINOR
- CLINGO_VERSION_REVISION
- INT16_MAX
- INT16_MIN
- INT32_MAX
- INT32_MIN
- INT8_MAX
- INT8_MIN
- INTPTR_MAX
- INTPTR_MIN
- INT_FAST16_MAX
- INT_FAST16_MIN
- INT_FAST32_MAX
- INT_FAST32_MIN
- INT_FAST8_MAX
- INT_FAST8_MIN
- INT_LEAST16_MAX
- INT_LEAST16_MIN
- INT_LEAST32_MAX
- INT_LEAST32_MIN
- INT_LEAST8_MAX
- INT_LEAST8_MIN
- PTRDIFF_MAX
- PTRDIFF_MIN
- SIG_ATOMIC_MAX
- SIG_ATOMIC_MIN
- SIZE_MAX
- UINT16_MAX
- UINT32_MAX
- UINT8_MAX
- UINTPTR_MAX
- UINT_FAST16_MAX
- UINT_FAST32_MAX
- UINT_FAST8_MAX
- UINT_LEAST16_MAX
- UINT_LEAST32_MAX
- UINT_LEAST8_MAX
- WINT_MAX
- WINT_MIN
- _ATFILE_SOURCE
- _BITS_STDINT_INTN_H
- _BITS_STDINT_UINTN_H
- _BITS_TYPESIZES_H
- _BITS_TYPES_H
- _BITS_WCHAR_H
- _DEFAULT_SOURCE
- _FEATURES_H
- _POSIX_C_SOURCE
- _POSIX_SOURCE
- _STDC_PREDEF_H
- _STDINT_H
- _SYS_CDEFS_H
- __FD_SETSIZE
- __GLIBC_MINOR__
- __GLIBC_USE_DEPRECATED_GETS
- __GLIBC_USE_IEC_60559_BFP_EXT
- __GLIBC_USE_IEC_60559_FUNCS_EXT
- __GLIBC_USE_IEC_60559_TYPES_EXT
- __GLIBC_USE_LIB_EXT2
- __GLIBC__
- __GNU_LIBRARY__
- __HAVE_GENERIC_SELECTION
- __INO_T_MATCHES_INO64_T
- __OFF_T_MATCHES_OFF64_T
- __RLIM_T_MATCHES_RLIM64_T
- __STDC_IEC_559_COMPLEX__
- __STDC_IEC_559__
- __STDC_ISO_10646__
- __SYSCALL_WORDSIZE
- __USE_ATFILE
- __USE_FORTIFY_LEVEL
- __USE_ISOC11
- __USE_ISOC95
- __USE_ISOC99
- __USE_MISC
- __USE_POSIX
- __USE_POSIX199309
- __USE_POSIX199506
- __USE_POSIX2
- __USE_POSIX_IMPLICITLY
- __USE_XOPEN2K
- __USE_XOPEN2K8
- __WORDSIZE
- __WORDSIZE_TIME64_COMPAT32
- __bool_true_false_are_defined
- __glibc_c99_flexarr_available
- clingo_ast_aggregate_function_clingo_ast_aggregate_function_count
- clingo_ast_aggregate_function_clingo_ast_aggregate_function_max
- clingo_ast_aggregate_function_clingo_ast_aggregate_function_min
- clingo_ast_aggregate_function_clingo_ast_aggregate_function_sum
- clingo_ast_aggregate_function_clingo_ast_aggregate_function_sump
- clingo_ast_binary_operator_clingo_ast_binary_operator_and
- clingo_ast_binary_operator_clingo_ast_binary_operator_division
- clingo_ast_binary_operator_clingo_ast_binary_operator_minus
- clingo_ast_binary_operator_clingo_ast_binary_operator_modulo
- clingo_ast_binary_operator_clingo_ast_binary_operator_multiplication
- clingo_ast_binary_operator_clingo_ast_binary_operator_or
- clingo_ast_binary_operator_clingo_ast_binary_operator_plus
- clingo_ast_binary_operator_clingo_ast_binary_operator_power
- clingo_ast_binary_operator_clingo_ast_binary_operator_xor
- clingo_ast_body_literal_type_clingo_ast_body_literal_type_aggregate
- clingo_ast_body_literal_type_clingo_ast_body_literal_type_body_aggregate
- clingo_ast_body_literal_type_clingo_ast_body_literal_type_conditional
- clingo_ast_body_literal_type_clingo_ast_body_literal_type_disjoint
- clingo_ast_body_literal_type_clingo_ast_body_literal_type_literal
- clingo_ast_body_literal_type_clingo_ast_body_literal_type_theory_atom
- clingo_ast_comparison_operator_clingo_ast_comparison_operator_equal
- clingo_ast_comparison_operator_clingo_ast_comparison_operator_greater_equal
- clingo_ast_comparison_operator_clingo_ast_comparison_operator_greater_than
- clingo_ast_comparison_operator_clingo_ast_comparison_operator_less_equal
- clingo_ast_comparison_operator_clingo_ast_comparison_operator_less_than
- clingo_ast_comparison_operator_clingo_ast_comparison_operator_not_equal
- clingo_ast_head_literal_type_clingo_ast_head_literal_type_aggregate
- clingo_ast_head_literal_type_clingo_ast_head_literal_type_disjunction
- clingo_ast_head_literal_type_clingo_ast_head_literal_type_head_aggregate
- clingo_ast_head_literal_type_clingo_ast_head_literal_type_literal
- clingo_ast_head_literal_type_clingo_ast_head_literal_type_theory_atom
- clingo_ast_literal_type_clingo_ast_literal_type_boolean
- clingo_ast_literal_type_clingo_ast_literal_type_comparison
- clingo_ast_literal_type_clingo_ast_literal_type_csp
- clingo_ast_literal_type_clingo_ast_literal_type_symbolic
- clingo_ast_script_type_clingo_ast_script_type_lua
- clingo_ast_script_type_clingo_ast_script_type_python
- clingo_ast_sign_clingo_ast_sign_double_negation
- clingo_ast_sign_clingo_ast_sign_negation
- clingo_ast_sign_clingo_ast_sign_none
- clingo_ast_statement_type_clingo_ast_statement_type_const
- clingo_ast_statement_type_clingo_ast_statement_type_defined
- clingo_ast_statement_type_clingo_ast_statement_type_edge
- clingo_ast_statement_type_clingo_ast_statement_type_external
- clingo_ast_statement_type_clingo_ast_statement_type_heuristic
- clingo_ast_statement_type_clingo_ast_statement_type_minimize
- clingo_ast_statement_type_clingo_ast_statement_type_program
- clingo_ast_statement_type_clingo_ast_statement_type_project_atom
- clingo_ast_statement_type_clingo_ast_statement_type_project_atom_signature
- clingo_ast_statement_type_clingo_ast_statement_type_rule
- clingo_ast_statement_type_clingo_ast_statement_type_script
- clingo_ast_statement_type_clingo_ast_statement_type_show_signature
- clingo_ast_statement_type_clingo_ast_statement_type_show_term
- clingo_ast_statement_type_clingo_ast_statement_type_theory_definition
- clingo_ast_term_type_clingo_ast_term_type_binary_operation
- clingo_ast_term_type_clingo_ast_term_type_external_function
- clingo_ast_term_type_clingo_ast_term_type_function
- clingo_ast_term_type_clingo_ast_term_type_interval
- clingo_ast_term_type_clingo_ast_term_type_pool
- clingo_ast_term_type_clingo_ast_term_type_symbol
- clingo_ast_term_type_clingo_ast_term_type_unary_operation
- clingo_ast_term_type_clingo_ast_term_type_variable
- clingo_ast_theory_atom_definition_type_clingo_ast_theory_atom_definition_type_any
- clingo_ast_theory_atom_definition_type_clingo_ast_theory_atom_definition_type_body
- clingo_ast_theory_atom_definition_type_clingo_ast_theory_atom_definition_type_directive
- clingo_ast_theory_atom_definition_type_clingo_ast_theory_atom_definition_type_head
- clingo_ast_theory_operator_type_clingo_ast_theory_operator_type_binary_left
- clingo_ast_theory_operator_type_clingo_ast_theory_operator_type_binary_right
- clingo_ast_theory_operator_type_clingo_ast_theory_operator_type_unary
- clingo_ast_theory_term_type_clingo_ast_theory_term_type_function
- clingo_ast_theory_term_type_clingo_ast_theory_term_type_list
- clingo_ast_theory_term_type_clingo_ast_theory_term_type_set
- clingo_ast_theory_term_type_clingo_ast_theory_term_type_symbol
- clingo_ast_theory_term_type_clingo_ast_theory_term_type_tuple
- clingo_ast_theory_term_type_clingo_ast_theory_term_type_unparsed_term
- clingo_ast_theory_term_type_clingo_ast_theory_term_type_variable
- clingo_ast_unary_operator_clingo_ast_unary_operator_absolute
- clingo_ast_unary_operator_clingo_ast_unary_operator_minus
- clingo_ast_unary_operator_clingo_ast_unary_operator_negation
- clingo_clause_type_clingo_clause_type_learnt
- clingo_clause_type_clingo_clause_type_static
- clingo_clause_type_clingo_clause_type_volatile
- clingo_clause_type_clingo_clause_type_volatile_static
- clingo_configuration_type_clingo_configuration_type_array
- clingo_configuration_type_clingo_configuration_type_map
- clingo_configuration_type_clingo_configuration_type_value
- clingo_error_clingo_error_bad_alloc
- clingo_error_clingo_error_logic
- clingo_error_clingo_error_runtime
- clingo_error_clingo_error_success
- clingo_error_clingo_error_unknown
- clingo_external_type_clingo_external_type_false
- clingo_external_type_clingo_external_type_free
- clingo_external_type_clingo_external_type_release
- clingo_external_type_clingo_external_type_true
- clingo_heuristic_type_clingo_heuristic_type_factor
- clingo_heuristic_type_clingo_heuristic_type_false
- clingo_heuristic_type_clingo_heuristic_type_init
- clingo_heuristic_type_clingo_heuristic_type_level
- clingo_heuristic_type_clingo_heuristic_type_sign
- clingo_heuristic_type_clingo_heuristic_type_true
- clingo_model_type_clingo_model_type_brave_consequences
- clingo_model_type_clingo_model_type_cautious_consequences
- clingo_model_type_clingo_model_type_stable_model
- clingo_propagator_check_mode_clingo_propagator_check_mode_fixpoint
- clingo_propagator_check_mode_clingo_propagator_check_mode_none
- clingo_propagator_check_mode_clingo_propagator_check_mode_total
- clingo_show_type_clingo_show_type_all
- clingo_show_type_clingo_show_type_atoms
- clingo_show_type_clingo_show_type_complement
- clingo_show_type_clingo_show_type_csp
- clingo_show_type_clingo_show_type_shown
- clingo_show_type_clingo_show_type_terms
- clingo_solve_event_type_clingo_solve_event_type_finish
- clingo_solve_event_type_clingo_solve_event_type_model
- clingo_solve_event_type_clingo_solve_event_type_statistics
- clingo_solve_mode_clingo_solve_mode_async
- clingo_solve_mode_clingo_solve_mode_yield
- clingo_solve_result_clingo_solve_result_exhausted
- clingo_solve_result_clingo_solve_result_interrupted
- clingo_solve_result_clingo_solve_result_satisfiable
- clingo_solve_result_clingo_solve_result_unsatisfiable
- clingo_statistics_type_clingo_statistics_type_array
- clingo_statistics_type_clingo_statistics_type_empty
- clingo_statistics_type_clingo_statistics_type_map
- clingo_statistics_type_clingo_statistics_type_value
- clingo_symbol_type_clingo_symbol_type_function
- clingo_symbol_type_clingo_symbol_type_infimum
- clingo_symbol_type_clingo_symbol_type_number
- clingo_symbol_type_clingo_symbol_type_string
- clingo_symbol_type_clingo_symbol_type_supremum
- clingo_theory_term_type_clingo_theory_term_type_function
- clingo_theory_term_type_clingo_theory_term_type_list
- clingo_theory_term_type_clingo_theory_term_type_number
- clingo_theory_term_type_clingo_theory_term_type_set
- clingo_theory_term_type_clingo_theory_term_type_symbol
- clingo_theory_term_type_clingo_theory_term_type_tuple
- clingo_truth_value_clingo_truth_value_false
- clingo_truth_value_clingo_truth_value_free
- clingo_truth_value_clingo_truth_value_true
- clingo_warning_clingo_warning_atom_undefined
- clingo_warning_clingo_warning_file_included
- clingo_warning_clingo_warning_global_variable
- clingo_warning_clingo_warning_operation_undefined
- clingo_warning_clingo_warning_other
- clingo_warning_clingo_warning_runtime_error
- clingo_warning_clingo_warning_variable_unbounded
- false_
- true_