Function clingo_sys::clingo_control_release_external

pub unsafe extern "C" fn clingo_control_release_external(
    control: *mut clingo_control_t, 
    atom: clingo_symbol_t
) -> bool

Release an external atom.

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.

Parameters:

• control the target
• atom atom to release

Returns whether the call was successful; might set one of the following error codes: - ::clingo_error_bad_alloc