Function clingo_sys::clingo_control_release_external
source · pub unsafe extern "C" fn clingo_control_release_external(
control: *mut clingo_control_t,
literal: clingo_literal_t
) -> bool
Expand description
! Release an external atom. ! ! If a negative literal is passed, the corresponding atom is released. ! ! After this call, an external atom is no longer external and subject to ! program simplifications. If the atom does not exist or is not external, ! this is a noop. ! ! @param[in] control the target ! @param[in] literal literal to release ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc