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