[−][src]Function clingo_sys::clingo_control_assign_external
pub unsafe extern "C" fn clingo_control_assign_external(
control: *mut clingo_control_t,
literal: clingo_literal_t,
value: clingo_truth_value_t
) -> bool
Assign a truth value to an external atom.
If a negative literal is passed, the corresponding atom is assigned the inverted truth value.
If the atom does not exist or is not external, this is a noop.
@param[in] control the target @param[in] literal literal to assign @param[in] value the truth value @return whether the call was successful; might set one of the following error codes:
- ::clingo_error_bad_alloc