List of all items
Structs
- __fsid_t
- clingo_application
- clingo_assignment
- clingo_ast
- clingo_ast_argument
- clingo_ast_attribute_names
- clingo_ast_constructor
- clingo_ast_constructors
- 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_script
- clingo_solve_control
- clingo_solve_handle
- clingo_statistic
- clingo_symbolic_atoms
- clingo_theory_atoms
- clingo_weighted_literal
Functions
- clingo_add_string
- clingo_assignment_at
- 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_root_level
- clingo_assignment_size
- clingo_assignment_trail_at
- clingo_assignment_trail_begin
- clingo_assignment_trail_end
- clingo_assignment_trail_size
- clingo_assignment_truth_value
- clingo_ast_acquire
- clingo_ast_attribute_delete_ast_at
- clingo_ast_attribute_delete_string_at
- clingo_ast_attribute_get_ast
- clingo_ast_attribute_get_ast_at
- clingo_ast_attribute_get_location
- clingo_ast_attribute_get_number
- clingo_ast_attribute_get_optional_ast
- clingo_ast_attribute_get_string
- clingo_ast_attribute_get_string_at
- clingo_ast_attribute_get_symbol
- clingo_ast_attribute_insert_ast_at
- clingo_ast_attribute_insert_string_at
- clingo_ast_attribute_set_ast
- clingo_ast_attribute_set_ast_at
- clingo_ast_attribute_set_location
- clingo_ast_attribute_set_number
- clingo_ast_attribute_set_optional_ast
- clingo_ast_attribute_set_string
- clingo_ast_attribute_set_string_at
- clingo_ast_attribute_set_symbol
- clingo_ast_attribute_size_ast_array
- clingo_ast_attribute_size_string_array
- clingo_ast_attribute_type
- clingo_ast_build
- clingo_ast_copy
- clingo_ast_deep_copy
- clingo_ast_equal
- clingo_ast_get_type
- clingo_ast_has_attribute
- clingo_ast_hash
- clingo_ast_less_than
- clingo_ast_parse_files
- clingo_ast_parse_string
- clingo_ast_release
- clingo_ast_to_string
- clingo_ast_to_string_size
- clingo_ast_unpool
- 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_theory_atom
- clingo_backend_theory_atom_with_guard
- clingo_backend_theory_element
- clingo_backend_theory_term_function
- clingo_backend_theory_term_number
- clingo_backend_theory_term_sequence
- clingo_backend_theory_term_string
- clingo_backend_theory_term_symbol
- 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_get_enable_cleanup
- clingo_control_get_enable_enumeration_assumption
- clingo_control_ground
- clingo_control_has_const
- clingo_control_interrupt
- clingo_control_is_conflicting
- clingo_control_load
- clingo_control_new
- clingo_control_register_observer
- clingo_control_register_propagator
- clingo_control_release_external
- clingo_control_set_enable_cleanup
- clingo_control_set_enable_enumeration_assumption
- clingo_control_solve
- clingo_control_statistics
- clingo_control_symbolic_atoms
- clingo_control_theory_atoms
- 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_term
- clingo_program_builder_add
- clingo_program_builder_begin
- clingo_program_builder_end
- clingo_program_builder_init
- 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_clause
- clingo_propagate_init_add_literal
- clingo_propagate_init_add_minimize
- clingo_propagate_init_add_watch
- clingo_propagate_init_add_watch_to_thread
- clingo_propagate_init_add_weight_constraint
- clingo_propagate_init_assignment
- clingo_propagate_init_freeze_literal
- clingo_propagate_init_get_check_mode
- clingo_propagate_init_number_of_threads
- clingo_propagate_init_propagate
- clingo_propagate_init_remove_watch
- clingo_propagate_init_remove_watch_from_thread
- clingo_propagate_init_set_check_mode
- clingo_propagate_init_solver_literal
- clingo_propagate_init_symbolic_atoms
- clingo_propagate_init_theory_atoms
- clingo_register_script
- clingo_script_version
- 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_core
- 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
Type Aliases
- __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
- __suseconds64_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_e
- clingo_ast_aggregate_function_t
- clingo_ast_argument_t
- clingo_ast_attribute_e
- clingo_ast_attribute_names_t
- clingo_ast_attribute_t
- clingo_ast_attribute_type_e
- clingo_ast_attribute_type_t
- clingo_ast_binary_operator_e
- clingo_ast_binary_operator_t
- clingo_ast_callback_t
- clingo_ast_comparison_operator_e
- clingo_ast_comparison_operator_t
- clingo_ast_constructor_t
- clingo_ast_constructors_t
- clingo_ast_sign_e
- clingo_ast_sign_t
- clingo_ast_t
- clingo_ast_theory_atom_definition_type_e
- clingo_ast_theory_atom_definition_type_t
- clingo_ast_theory_operator_type_e
- clingo_ast_theory_operator_type_t
- clingo_ast_theory_sequence_type_e
- clingo_ast_theory_sequence_type_t
- clingo_ast_type_e
- clingo_ast_type_t
- clingo_ast_unary_operator_e
- clingo_ast_unary_operator_t
- clingo_ast_unpool_type_bitset_t
- clingo_ast_unpool_type_e
- clingo_atom_t
- clingo_backend_t
- clingo_clause_type_e
- clingo_clause_type_t
- clingo_configuration_t
- clingo_configuration_type_bitset_t
- clingo_configuration_type_e
- clingo_control_t
- clingo_default_model_printer_t
- clingo_error_e
- clingo_error_t
- clingo_external_type_e
- clingo_external_type_t
- clingo_ground_callback_t
- clingo_ground_program_observer_t
- clingo_heuristic_type_e
- 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_e
- 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_e
- clingo_propagator_check_mode_t
- clingo_propagator_init_callback_t
- clingo_propagator_propagate_callback_t
- clingo_propagator_t
- clingo_propagator_undo_callback_t
- clingo_script_t
- clingo_show_type_bitset_t
- clingo_show_type_e
- clingo_signature_t
- clingo_solve_control_t
- clingo_solve_event_callback_t
- clingo_solve_event_type_e
- clingo_solve_event_type_t
- clingo_solve_handle_t
- clingo_solve_mode_bitset_t
- clingo_solve_mode_e
- clingo_solve_result_bitset_t
- clingo_solve_result_e
- clingo_statistics_t
- clingo_statistics_type_e
- clingo_statistics_type_t
- clingo_symbol_callback_t
- clingo_symbol_t
- clingo_symbol_type_e
- clingo_symbol_type_t
- clingo_symbolic_atom_iterator_t
- clingo_symbolic_atoms_t
- clingo_theory_atoms_t
- clingo_theory_sequence_type_e
- clingo_theory_sequence_type_t
- clingo_theory_term_type_e
- clingo_theory_term_type_t
- clingo_truth_value_e
- clingo_truth_value_t
- clingo_warning_e
- clingo_warning_t
- clingo_weight_constraint_type_e
- clingo_weight_constraint_type_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
Statics
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_TIME64_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_C2X_STRTOL
- __GLIBC_USE_DEPRECATED_GETS
- __GLIBC_USE_DEPRECATED_SCANF
- __GLIBC_USE_IEC_60559_BFP_EXT
- __GLIBC_USE_IEC_60559_BFP_EXT_C2X
- __GLIBC_USE_IEC_60559_EXT
- __GLIBC_USE_IEC_60559_FUNCS_EXT
- __GLIBC_USE_IEC_60559_FUNCS_EXT_C2X
- __GLIBC_USE_IEC_60559_TYPES_EXT
- __GLIBC_USE_ISOC2X
- __GLIBC_USE_LIB_EXT2
- __GLIBC__
- __GNU_LIBRARY__
- __HAVE_GENERIC_SELECTION
- __INO_T_MATCHES_INO64_T
- __KERNEL_OLD_TIMEVAL_MATCHES_TIMEVAL64
- __LDOUBLE_REDIRECTS_TO_FLOAT128_ABI
- __OFF_T_MATCHES_OFF64_T
- __RLIM_T_MATCHES_RLIM64_T
- __STATFS_MATCHES_STATFS64
- __STDC_IEC_559_COMPLEX__
- __STDC_IEC_559__
- __STDC_IEC_60559_BFP__
- __STDC_IEC_60559_COMPLEX__
- __STDC_ISO_10646__
- __SYSCALL_WORDSIZE
- __TIMESIZE
- __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_e_clingo_ast_aggregate_function_count
- clingo_ast_aggregate_function_e_clingo_ast_aggregate_function_max
- clingo_ast_aggregate_function_e_clingo_ast_aggregate_function_min
- clingo_ast_aggregate_function_e_clingo_ast_aggregate_function_sum
- clingo_ast_aggregate_function_e_clingo_ast_aggregate_function_sump
- clingo_ast_attribute_e_clingo_ast_attribute_argument
- clingo_ast_attribute_e_clingo_ast_attribute_arguments
- clingo_ast_attribute_e_clingo_ast_attribute_arity
- clingo_ast_attribute_e_clingo_ast_attribute_atom
- clingo_ast_attribute_e_clingo_ast_attribute_atom_type
- clingo_ast_attribute_e_clingo_ast_attribute_atoms
- clingo_ast_attribute_e_clingo_ast_attribute_bias
- clingo_ast_attribute_e_clingo_ast_attribute_body
- clingo_ast_attribute_e_clingo_ast_attribute_code
- clingo_ast_attribute_e_clingo_ast_attribute_coefficient
- clingo_ast_attribute_e_clingo_ast_attribute_comparison
- clingo_ast_attribute_e_clingo_ast_attribute_condition
- clingo_ast_attribute_e_clingo_ast_attribute_elements
- clingo_ast_attribute_e_clingo_ast_attribute_external
- clingo_ast_attribute_e_clingo_ast_attribute_external_type
- clingo_ast_attribute_e_clingo_ast_attribute_function
- clingo_ast_attribute_e_clingo_ast_attribute_guard
- clingo_ast_attribute_e_clingo_ast_attribute_guards
- clingo_ast_attribute_e_clingo_ast_attribute_head
- clingo_ast_attribute_e_clingo_ast_attribute_is_default
- clingo_ast_attribute_e_clingo_ast_attribute_left
- clingo_ast_attribute_e_clingo_ast_attribute_left_guard
- clingo_ast_attribute_e_clingo_ast_attribute_literal
- clingo_ast_attribute_e_clingo_ast_attribute_location
- clingo_ast_attribute_e_clingo_ast_attribute_modifier
- clingo_ast_attribute_e_clingo_ast_attribute_name
- clingo_ast_attribute_e_clingo_ast_attribute_node_u
- clingo_ast_attribute_e_clingo_ast_attribute_node_v
- clingo_ast_attribute_e_clingo_ast_attribute_operator_name
- clingo_ast_attribute_e_clingo_ast_attribute_operator_type
- clingo_ast_attribute_e_clingo_ast_attribute_operators
- clingo_ast_attribute_e_clingo_ast_attribute_parameters
- clingo_ast_attribute_e_clingo_ast_attribute_positive
- clingo_ast_attribute_e_clingo_ast_attribute_priority
- clingo_ast_attribute_e_clingo_ast_attribute_right
- clingo_ast_attribute_e_clingo_ast_attribute_right_guard
- clingo_ast_attribute_e_clingo_ast_attribute_sequence_type
- clingo_ast_attribute_e_clingo_ast_attribute_sign
- clingo_ast_attribute_e_clingo_ast_attribute_symbol
- clingo_ast_attribute_e_clingo_ast_attribute_term
- clingo_ast_attribute_e_clingo_ast_attribute_terms
- clingo_ast_attribute_e_clingo_ast_attribute_value
- clingo_ast_attribute_e_clingo_ast_attribute_variable
- clingo_ast_attribute_e_clingo_ast_attribute_weight
- clingo_ast_attribute_type_e_clingo_ast_attribute_type_ast
- clingo_ast_attribute_type_e_clingo_ast_attribute_type_ast_array
- clingo_ast_attribute_type_e_clingo_ast_attribute_type_location
- clingo_ast_attribute_type_e_clingo_ast_attribute_type_number
- clingo_ast_attribute_type_e_clingo_ast_attribute_type_optional_ast
- clingo_ast_attribute_type_e_clingo_ast_attribute_type_string
- clingo_ast_attribute_type_e_clingo_ast_attribute_type_string_array
- clingo_ast_attribute_type_e_clingo_ast_attribute_type_symbol
- clingo_ast_binary_operator_e_clingo_ast_binary_operator_and
- clingo_ast_binary_operator_e_clingo_ast_binary_operator_division
- clingo_ast_binary_operator_e_clingo_ast_binary_operator_minus
- clingo_ast_binary_operator_e_clingo_ast_binary_operator_modulo
- clingo_ast_binary_operator_e_clingo_ast_binary_operator_multiplication
- clingo_ast_binary_operator_e_clingo_ast_binary_operator_or
- clingo_ast_binary_operator_e_clingo_ast_binary_operator_plus
- clingo_ast_binary_operator_e_clingo_ast_binary_operator_power
- clingo_ast_binary_operator_e_clingo_ast_binary_operator_xor
- clingo_ast_comparison_operator_e_clingo_ast_comparison_operator_equal
- clingo_ast_comparison_operator_e_clingo_ast_comparison_operator_greater_equal
- clingo_ast_comparison_operator_e_clingo_ast_comparison_operator_greater_than
- clingo_ast_comparison_operator_e_clingo_ast_comparison_operator_less_equal
- clingo_ast_comparison_operator_e_clingo_ast_comparison_operator_less_than
- clingo_ast_comparison_operator_e_clingo_ast_comparison_operator_not_equal
- clingo_ast_sign_e_clingo_ast_sign_double_negation
- clingo_ast_sign_e_clingo_ast_sign_negation
- clingo_ast_sign_e_clingo_ast_sign_no_sign
- clingo_ast_theory_atom_definition_type_e_clingo_ast_theory_atom_definition_type_any
- clingo_ast_theory_atom_definition_type_e_clingo_ast_theory_atom_definition_type_body
- clingo_ast_theory_atom_definition_type_e_clingo_ast_theory_atom_definition_type_directive
- clingo_ast_theory_atom_definition_type_e_clingo_ast_theory_atom_definition_type_head
- clingo_ast_theory_operator_type_e_clingo_ast_theory_operator_type_binary_left
- clingo_ast_theory_operator_type_e_clingo_ast_theory_operator_type_binary_right
- clingo_ast_theory_operator_type_e_clingo_ast_theory_operator_type_unary
- clingo_ast_theory_sequence_type_e_clingo_ast_theory_sequence_type_list
- clingo_ast_theory_sequence_type_e_clingo_ast_theory_sequence_type_set
- clingo_ast_theory_sequence_type_e_clingo_ast_theory_sequence_type_tuple
- clingo_ast_type_e_clingo_ast_type_aggregate
- clingo_ast_type_e_clingo_ast_type_binary_operation
- clingo_ast_type_e_clingo_ast_type_body_aggregate
- clingo_ast_type_e_clingo_ast_type_body_aggregate_element
- clingo_ast_type_e_clingo_ast_type_boolean_constant
- clingo_ast_type_e_clingo_ast_type_comparison
- clingo_ast_type_e_clingo_ast_type_conditional_literal
- clingo_ast_type_e_clingo_ast_type_defined
- clingo_ast_type_e_clingo_ast_type_definition
- clingo_ast_type_e_clingo_ast_type_disjunction
- clingo_ast_type_e_clingo_ast_type_edge
- clingo_ast_type_e_clingo_ast_type_external
- clingo_ast_type_e_clingo_ast_type_function
- clingo_ast_type_e_clingo_ast_type_guard
- clingo_ast_type_e_clingo_ast_type_head_aggregate
- clingo_ast_type_e_clingo_ast_type_head_aggregate_element
- clingo_ast_type_e_clingo_ast_type_heuristic
- clingo_ast_type_e_clingo_ast_type_id
- clingo_ast_type_e_clingo_ast_type_interval
- clingo_ast_type_e_clingo_ast_type_literal
- clingo_ast_type_e_clingo_ast_type_minimize
- clingo_ast_type_e_clingo_ast_type_pool
- clingo_ast_type_e_clingo_ast_type_program
- clingo_ast_type_e_clingo_ast_type_project_atom
- clingo_ast_type_e_clingo_ast_type_project_signature
- clingo_ast_type_e_clingo_ast_type_rule
- clingo_ast_type_e_clingo_ast_type_script
- clingo_ast_type_e_clingo_ast_type_show_signature
- clingo_ast_type_e_clingo_ast_type_show_term
- clingo_ast_type_e_clingo_ast_type_symbolic_atom
- clingo_ast_type_e_clingo_ast_type_symbolic_term
- clingo_ast_type_e_clingo_ast_type_theory_atom
- clingo_ast_type_e_clingo_ast_type_theory_atom_definition
- clingo_ast_type_e_clingo_ast_type_theory_atom_element
- clingo_ast_type_e_clingo_ast_type_theory_definition
- clingo_ast_type_e_clingo_ast_type_theory_function
- clingo_ast_type_e_clingo_ast_type_theory_guard
- clingo_ast_type_e_clingo_ast_type_theory_guard_definition
- clingo_ast_type_e_clingo_ast_type_theory_operator_definition
- clingo_ast_type_e_clingo_ast_type_theory_sequence
- clingo_ast_type_e_clingo_ast_type_theory_term_definition
- clingo_ast_type_e_clingo_ast_type_theory_unparsed_term
- clingo_ast_type_e_clingo_ast_type_theory_unparsed_term_element
- clingo_ast_type_e_clingo_ast_type_unary_operation
- clingo_ast_type_e_clingo_ast_type_variable
- clingo_ast_unary_operator_e_clingo_ast_unary_operator_absolute
- clingo_ast_unary_operator_e_clingo_ast_unary_operator_minus
- clingo_ast_unary_operator_e_clingo_ast_unary_operator_negation
- clingo_ast_unpool_type_e_clingo_ast_unpool_type_all
- clingo_ast_unpool_type_e_clingo_ast_unpool_type_condition
- clingo_ast_unpool_type_e_clingo_ast_unpool_type_other
- clingo_clause_type_e_clingo_clause_type_learnt
- clingo_clause_type_e_clingo_clause_type_static
- clingo_clause_type_e_clingo_clause_type_volatile
- clingo_clause_type_e_clingo_clause_type_volatile_static
- clingo_configuration_type_e_clingo_configuration_type_array
- clingo_configuration_type_e_clingo_configuration_type_map
- clingo_configuration_type_e_clingo_configuration_type_value
- clingo_error_e_clingo_error_bad_alloc
- clingo_error_e_clingo_error_logic
- clingo_error_e_clingo_error_runtime
- clingo_error_e_clingo_error_success
- clingo_error_e_clingo_error_unknown
- clingo_external_type_e_clingo_external_type_false
- clingo_external_type_e_clingo_external_type_free
- clingo_external_type_e_clingo_external_type_release
- clingo_external_type_e_clingo_external_type_true
- clingo_heuristic_type_e_clingo_heuristic_type_factor
- clingo_heuristic_type_e_clingo_heuristic_type_false
- clingo_heuristic_type_e_clingo_heuristic_type_init
- clingo_heuristic_type_e_clingo_heuristic_type_level
- clingo_heuristic_type_e_clingo_heuristic_type_sign
- clingo_heuristic_type_e_clingo_heuristic_type_true
- clingo_model_type_e_clingo_model_type_brave_consequences
- clingo_model_type_e_clingo_model_type_cautious_consequences
- clingo_model_type_e_clingo_model_type_stable_model
- clingo_propagator_check_mode_e_clingo_propagator_check_mode_both
- clingo_propagator_check_mode_e_clingo_propagator_check_mode_fixpoint
- clingo_propagator_check_mode_e_clingo_propagator_check_mode_none
- clingo_propagator_check_mode_e_clingo_propagator_check_mode_total
- clingo_show_type_e_clingo_show_type_all
- clingo_show_type_e_clingo_show_type_atoms
- clingo_show_type_e_clingo_show_type_complement
- clingo_show_type_e_clingo_show_type_shown
- clingo_show_type_e_clingo_show_type_terms
- clingo_show_type_e_clingo_show_type_theory
- clingo_solve_event_type_e_clingo_solve_event_type_finish
- clingo_solve_event_type_e_clingo_solve_event_type_model
- clingo_solve_event_type_e_clingo_solve_event_type_statistics
- clingo_solve_event_type_e_clingo_solve_event_type_unsat
- clingo_solve_mode_e_clingo_solve_mode_async
- clingo_solve_mode_e_clingo_solve_mode_yield
- clingo_solve_result_e_clingo_solve_result_exhausted
- clingo_solve_result_e_clingo_solve_result_interrupted
- clingo_solve_result_e_clingo_solve_result_satisfiable
- clingo_solve_result_e_clingo_solve_result_unsatisfiable
- clingo_statistics_type_e_clingo_statistics_type_array
- clingo_statistics_type_e_clingo_statistics_type_empty
- clingo_statistics_type_e_clingo_statistics_type_map
- clingo_statistics_type_e_clingo_statistics_type_value
- clingo_symbol_type_e_clingo_symbol_type_function
- clingo_symbol_type_e_clingo_symbol_type_infimum
- clingo_symbol_type_e_clingo_symbol_type_number
- clingo_symbol_type_e_clingo_symbol_type_string
- clingo_symbol_type_e_clingo_symbol_type_supremum
- clingo_theory_sequence_type_e_clingo_theory_sequence_type_list
- clingo_theory_sequence_type_e_clingo_theory_sequence_type_set
- clingo_theory_sequence_type_e_clingo_theory_sequence_type_tuple
- clingo_theory_term_type_e_clingo_theory_term_type_function
- clingo_theory_term_type_e_clingo_theory_term_type_list
- clingo_theory_term_type_e_clingo_theory_term_type_number
- clingo_theory_term_type_e_clingo_theory_term_type_set
- clingo_theory_term_type_e_clingo_theory_term_type_symbol
- clingo_theory_term_type_e_clingo_theory_term_type_tuple
- clingo_truth_value_e_clingo_truth_value_false
- clingo_truth_value_e_clingo_truth_value_free
- clingo_truth_value_e_clingo_truth_value_true
- clingo_warning_e_clingo_warning_atom_undefined
- clingo_warning_e_clingo_warning_file_included
- clingo_warning_e_clingo_warning_global_variable
- clingo_warning_e_clingo_warning_operation_undefined
- clingo_warning_e_clingo_warning_other
- clingo_warning_e_clingo_warning_runtime_error
- clingo_warning_e_clingo_warning_variable_unbounded
- clingo_weight_constraint_type_e_clingo_weight_constraint_type_equivalence
- clingo_weight_constraint_type_e_clingo_weight_constraint_type_implication_left
- clingo_weight_constraint_type_e_clingo_weight_constraint_type_implication_right
- false_
- true_