Function clingo_sys::clingo_control_release_external
[−]
[src]
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 targetatom
atom to release
Returns whether the call was successful; might set one of the following error codes: - ::clingo_error_bad_alloc