Crate clingo_sys [] [src]

Structs

__fsid_t
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_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

An instance of this struct has to be registered with a solver to observe ground directives as they are passed to the solver.

clingo_location

Represents a source code location marking its beginnig and end.

clingo_model
clingo_part

Struct used to specify the program parts that have to be grounded.

clingo_program_builder
clingo_propagate_control
clingo_propagate_init
clingo_propagator

An instance of this struct has to be registered with a solver to implement a custom propagator.

clingo_solve_control
clingo_solve_handle
clingo_statistic
clingo_symbolic_atoms
clingo_symbolic_literal

Represents a symbolic literal.

clingo_theory_atoms
clingo_weighted_literal

A Literal with an associated weight. @ingroup ProgramInspection

max_align_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__
__STDC_NO_THREADS__
__SYSCALL_WORDSIZE
__USE_ATFILE
__USE_FORTIFY_LEVEL
__USE_ISOC11
__USE_ISOC95
__USE_ISOC99
__USE_MISC
__USE_POSIX
__USE_POSIX2
__USE_POSIX199309
__USE_POSIX199506
__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_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_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_extra
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_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_

Functions

clingo_add_string

Internalize a string.

clingo_assignment_decision

Determine the decision literal given a decision level.

clingo_assignment_decision_level

Get the current decision level.

clingo_assignment_has_conflict

Check if the given assignment is conflicting.

clingo_assignment_has_literal

Check if the given literal is part of a (partial) assignment.

clingo_assignment_is_false

Check if a literal has a fixed truth value.

clingo_assignment_is_fixed

Check if a literal has a fixed truth value.

clingo_assignment_is_total

Check if the assignmen is total, i.e. - size == max_size.

clingo_assignment_is_true

Check if a literal is true.

clingo_assignment_level

Determine the decision level of a given literal.

clingo_assignment_max_size

The maximum size of the assignment (if all literals are assigned).

clingo_assignment_size

The number of assigned literals in the assignment.

clingo_assignment_truth_value

Determine the truth value of a given literal.

clingo_backend_acyc_edge

Add an edge directive.

clingo_backend_add_atom

Get a fresh atom to be used in aspif directives.

clingo_backend_assume

Add an assumption directive.

clingo_backend_external

Add an external statement.

clingo_backend_heuristic

Add an heuristic directive.

clingo_backend_minimize

Add a minimize constraint (or weak constraint) to the program.

clingo_backend_project

Add a projection directive.

clingo_backend_rule

Add a rule to the program.

clingo_backend_weight_rule

Add a weight rule to the program.

clingo_configuration_array_at

Get the subkey at the given offset of an array entry.

clingo_configuration_array_size

Get the size of an array entry.

clingo_configuration_description

Get the description of an entry.

clingo_configuration_map_at

Lookup a subkey under the given name.

clingo_configuration_map_has_subkey

Query whether the map has a key.

clingo_configuration_map_size

Get the number of subkeys of a map entry.

clingo_configuration_map_subkey_name

Get the name associated with the offset-th subkey.

clingo_configuration_root

Get the root key of the configuration.

clingo_configuration_type

Get the type of a key.

clingo_configuration_value_get

Get the string value of the given entry.

clingo_configuration_value_get_size

Get the size of the string value of the given entry.

clingo_configuration_value_is_assigned

Check whether a entry has a value.

clingo_configuration_value_set

Set the value of an entry.

clingo_control_add

Extend the logic program with the given non-ground logic program in string form.

clingo_control_assign_external

Assign a truth value to an external atom.

clingo_control_backend

Get an object to add ground directives to the program.

clingo_control_clasp_facade

Get low-level access to clasp.

clingo_control_cleanup

Clean up the domains of clingos grounding component using the solving components top level assignment.

clingo_control_configuration

Get a configuration object to change the solver configuration.

clingo_control_free

Free a control object created with clingo_control_new().

clingo_control_get_const

Return the symbol for a constant definition of form: #const name = symbol.

clingo_control_ground

Ground the selected @link ::clingo_part parts @endlink of the current (non-ground) logic program.

clingo_control_has_const

Check if there is a constant definition for the given constant.

clingo_control_interrupt

Interrupt the active solve call (or the following solve call right at the beginning).

clingo_control_load

Extend the logic program with a program in a file.

clingo_control_new

Create a new control object.

clingo_control_program_builder

Get an object to add non-ground directives to the program.

clingo_control_register_observer

Register a program observer with the control object.

clingo_control_register_propagator

Register a custom propagator with the control object.

clingo_control_release_external

Release an external atom.

clingo_control_solve

Solve the currently @link ::clingo_control_ground grounded @endlink logic program enumerating its models.

clingo_control_statistics

Get a statistics object to inspect solver statistics.

clingo_control_symbolic_atoms

Get an object to inspect symbolic atoms (the relevant Herbrand base) used for grounding.

clingo_control_theory_atoms

Get an object to inspect theory atoms that occur in the grounding.

clingo_control_use_enumeration_assumption

Configure how learnt constraints are handled during enumeration.

clingo_error_code

Get the last error code set by a clingo API call.

clingo_error_message

Get the last error message set if an API call fails.

clingo_error_string

Convert error code into string.

clingo_model_contains

Constant time lookup to test whether an atom is in a model.

clingo_model_context

Get the associated solve control object of a model.

clingo_model_cost

Get the cost vector of a model.

clingo_model_cost_size

Get the number of cost values of a model.

clingo_model_is_true

Check if a program literal is true in a model.

clingo_model_number

Get the running number of the model.

clingo_model_optimality_proven

Whether the optimality of a model has been proven.

clingo_model_symbols

Get the symbols of the selected types in the model.

clingo_model_symbols_size

Get the number of symbols of the selected types in the model.

clingo_model_thread_id

Get the id of the solver thread that found the model.

clingo_model_type

Get the type of the model.

clingo_parse_program

Parse the given program and return an abstract syntax tree for each statement via a callback.

clingo_parse_term

Parse a term in string form.

clingo_program_builder_add

Adds a statement to the program.

clingo_program_builder_begin

Begin building a program.

clingo_program_builder_end

End building a program.

clingo_propagate_control_add_clause

Add the given clause to the solver.

clingo_propagate_control_add_literal

Adds a new volatile literal to the underlying solver thread.

clingo_propagate_control_add_watch

Add a watch for the solver literal in the given phase.

clingo_propagate_control_assignment

Get the assignment associated with the underlying solver.

clingo_propagate_control_has_watch

Check whether a literal is watched in the current solver thread.

clingo_propagate_control_propagate

Propagate implied literals (resulting from added clauses).

clingo_propagate_control_remove_watch

Removes the watch (if any) for the given solver literal.

clingo_propagate_control_thread_id

Get the id of the underlying solver thread.

clingo_propagate_init_add_watch

Add a watch for the solver literal in the given phase.

clingo_propagate_init_get_check_mode

Get the current check mode of the propagator.

clingo_propagate_init_number_of_threads

Get the number of threads used in subsequent solving.

clingo_propagate_init_set_check_mode

Configure when to call the check method of the propagator.

clingo_propagate_init_solver_literal

Map the given program literal or condition id to its solver literal.

clingo_propagate_init_symbolic_atoms

Get an object to inspect the symbolic atoms.

clingo_propagate_init_theory_atoms

Get an object to inspect the theory atoms.

clingo_set_error

Set a custom error code and message in the active thread.

clingo_signature_arity

Get the arity of a signature.

clingo_signature_create

Create a new signature.

clingo_signature_hash

Calculate a hash code of a signature.

clingo_signature_is_equal_to

Check if two signatures are equal.

clingo_signature_is_less_than

Check if a signature is less than another signature.

clingo_signature_is_negative

Whether the signature is negative (is classically negated).

clingo_signature_is_positive

Whether the signature is positive (is not classically negated).

clingo_signature_name

Get the name of a signature.

clingo_solve_control_add_clause

Add a clause that applies to the current solving step during model enumeration.

clingo_solve_control_symbolic_atoms

Get an object to inspect the symbolic atoms.

clingo_solve_handle_cancel

Stop the running search and block until done.

clingo_solve_handle_close

Stops the running search and releases the handle.

clingo_solve_handle_get

Get the next solve result.

clingo_solve_handle_model

Get the next model (or zero if there are no more models).

clingo_solve_handle_resume

Discards the last model and starts the search for the next one.

clingo_solve_handle_wait

Wait for the specified amount of time to check if the next result is ready.

clingo_statistics_array_at

Get the subkey at the given offset of an array entry.

clingo_statistics_array_size

Get the size of an array entry.

clingo_statistics_map_at

Lookup a subkey under the given name.

clingo_statistics_map_size

Get the number of subkeys of a map entry.

clingo_statistics_map_subkey_name

Get the name associated with the offset-th subkey.

clingo_statistics_root

Get the root key of the statistics.

clingo_statistics_type

Get the type of a key.

clingo_statistics_value_get

Get the value of the given entry.

clingo_symbol_arguments

Get the arguments of a symbol.

clingo_symbol_create_function

Construct a symbol representing a function or tuple.

clingo_symbol_create_id

Construct a symbol representing an id.

clingo_symbol_create_infimum

Construct a symbol representing #inf.

clingo_symbol_create_number

Construct a symbol representing a number.

clingo_symbol_create_string

Construct a symbol representing a string.

clingo_symbol_create_supremum

Construct a symbol representing #sup.

clingo_symbol_hash

Calculate a hash code of a symbol.

clingo_symbol_is_equal_to

Check if two symbols are equal.

clingo_symbol_is_less_than

Check if a symbol is less than another symbol.

clingo_symbol_is_negative

Check if a function is negative (has a sign).

clingo_symbol_is_positive

Check if a function is positive (does not have a sign).

clingo_symbol_name

Get the name of a symbol.

clingo_symbol_number

Get the number of a symbol.

clingo_symbol_string

Get the string of a symbol.

clingo_symbol_to_string

Get the string representation of a symbol.

clingo_symbol_to_string_size

Get the size of the string representation of a symbol (including the terminating 0).

clingo_symbol_type

Get the type of a symbol.

clingo_symbolic_atoms_begin

Get a forward iterator to the beginning of the sequence of all symbolic atoms optionally restricted to a given signature.

clingo_symbolic_atoms_end

Iterator pointing to the end of the sequence of symbolic atoms.

clingo_symbolic_atoms_find

Find a symbolic atom given its symbolic representation.

clingo_symbolic_atoms_is_external

Check whether an atom is external.

clingo_symbolic_atoms_is_fact

Check whether an atom is a fact.

clingo_symbolic_atoms_is_valid

Check whether the given iterator points to some element with the sequence of symbolic atoms or to the end of the sequence.

clingo_symbolic_atoms_iterator_is_equal_to

Check if two iterators point to the same element (or end of the sequence).

clingo_symbolic_atoms_literal

Returns the (numeric) aspif literal corresponding to the given symbolic atom.

clingo_symbolic_atoms_next

Get an iterator to the next element in the sequence of symbolic atoms.

clingo_symbolic_atoms_signatures

Get the predicate signatures occurring in a logic program.

clingo_symbolic_atoms_signatures_size

Get the number of different predicate signatures used in the program.

clingo_symbolic_atoms_size

Get the number of different atoms occurring in a logic program.

clingo_symbolic_atoms_symbol

Get the symbolic representation of an atom.

clingo_theory_atoms_atom_elements

Get the theory elements associated with the theory atom.

clingo_theory_atoms_atom_guard

Get the guard consisting of a theory operator and a theory term of the given theory atom.

clingo_theory_atoms_atom_has_guard

Whether the theory atom has a guard.

clingo_theory_atoms_atom_literal

Get the aspif literal associated with the given theory atom.

clingo_theory_atoms_atom_term

Get the theory term associated with the theory atom.

clingo_theory_atoms_atom_to_string

Get the string representation of the given theory atom.

clingo_theory_atoms_atom_to_string_size

Get the size of the string representation of the given theory atom (including the terminating 0).

clingo_theory_atoms_element_condition

Get the condition (array of aspif literals) of the given theory element.

clingo_theory_atoms_element_condition_id

Get the id of the condition of the given theory element.

clingo_theory_atoms_element_to_string

Get the string representation of the given theory element.

clingo_theory_atoms_element_to_string_size

Get the size of the string representation of the given theory element (including the terminating 0).

clingo_theory_atoms_element_tuple

Get the tuple (array of theory terms) of the given theory element.

clingo_theory_atoms_size

Get the total number of theory atoms.

clingo_theory_atoms_term_arguments

Get the arguments of the given function theory term.

clingo_theory_atoms_term_name

Get the name of the given constant or function theory term.

clingo_theory_atoms_term_number

Get the number of the given numeric theory term.

clingo_theory_atoms_term_to_string

Get the string representation of the given theory term.

clingo_theory_atoms_term_to_string_size

Get the size of the string representation of the given theory term (including the terminating 0).

clingo_theory_atoms_term_type

Get the type of the given theory term.

clingo_version

Obtain the clingo version.

clingo_warning_string

Convert warning code into string.

Type Definitions

__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
__intmax_t
__intptr_t
__key_t
__loff_t
__mode_t
__nlink_t
__off64_t
__off_t
__pid_t
__qaddr_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
__uintmax_t
__useconds_t
clingo_assignment_t

Represents a (partial) assignment of a particular solver.

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_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

Unsigned integer type used for aspif atoms.

clingo_backend_t

Handle to the backend to add directives in aspif format.

clingo_clause_type
clingo_clause_type_t

Corresponding type to ::clingo_clause_type.

clingo_configuration_t

Handle for to the solver configuration.

clingo_configuration_type
clingo_configuration_type_bitset_t

Bitset for values of type ::clingo_configuration_type.

clingo_control_t

Control object holding grounding and solving state.

clingo_error
clingo_error_t

Corresponding type to ::clingo_error.

clingo_external_type
clingo_external_type_t

Corresponding type to ::clingo_external_type. @ingroup ProgramInspection

clingo_ground_callback_t

Callback function to implement external functions.

clingo_ground_program_observer_t
clingo_heuristic_type
clingo_heuristic_type_t

Corresponding type to ::clingo_heuristic_type. @ingroup ProgramInspection

clingo_id_t

Unsigned integer type used in various places.

clingo_literal_t

Signed integer type used for aspif and solver literals.

clingo_location_t
clingo_logger_t

Callback to intercept warning messages.

clingo_model_t

Object representing a model.

clingo_model_type
clingo_model_type_t

Corresponding type to ::clingo_model_type.

clingo_part_t
clingo_program_builder_t

Object to build non-ground programs.

clingo_propagate_control_t

This object can be used to add clauses and propagate literals while solving.

clingo_propagate_init_t

Object to initialize a user-defined propagator before each solving step.

clingo_propagator_check_callback_t

Typedef for @ref ::clingo_propagator::check().

clingo_propagator_check_mode
clingo_propagator_check_mode_t

Corresponding type to ::clingo_propagator_check_mode.

clingo_propagator_init_callback_t

Typedef for @ref ::clingo_propagator::init().

clingo_propagator_propagate_callback_t

Typedef for @ref ::clingo_propagator::propagate().

clingo_propagator_t
clingo_propagator_undo_callback_t

Typedef for @ref ::clingo_propagator::undo().

clingo_show_type
clingo_show_type_bitset_t

Corresponding type to ::clingo_show_type.

clingo_signature_t

Represents a predicate signature.

clingo_solve_control_t

Object to add clauses during search.

clingo_solve_event_callback_t

Callback function called during search to notify when the search is finished or a model is ready.

clingo_solve_event_type
clingo_solve_event_type_t

Corresponding type to ::clingo_solve_event_type.

clingo_solve_handle_t

Search handle to a solve call.

clingo_solve_mode
clingo_solve_mode_bitset_t

Corresponding type to ::clingo_solve_mode.

clingo_solve_result
clingo_solve_result_bitset_t
clingo_statistics_t

Handle for to the solver statistics.

clingo_statistics_type
clingo_statistics_type_t

Corresponding type to ::clingo_statistics_type.

clingo_symbol_callback_t

Callback function to inject symbols.

clingo_symbol_t

Represents a symbol.

clingo_symbol_type
clingo_symbol_type_t

Corresponding type to ::clingo_symbol_type.

clingo_symbolic_atom_iterator_t

Object to iterate over symbolic atoms.

clingo_symbolic_atoms_t

Object to inspect symbolic atoms in a program---the relevant Herbrand base gringo uses to instantiate programs.

clingo_symbolic_literal_t
clingo_theory_atoms_t

Container that stores theory atoms, elements, and terms (see @ref clingo_control_theory_atoms()).

clingo_theory_term_type
clingo_theory_term_type_t

Corresponding type to ::clingo_theory_term_type.

clingo_truth_value
clingo_truth_value_t

Corresponding type to ::clingo_truth_value.

clingo_warning
clingo_warning_t

Corresponding type to ::clingo_warning.

clingo_weight_t

Signed integer type for weights in sum aggregates and minimize constraints.

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

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