Function clingo_sys::clingo_control_assign_external

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

Assign a truth value to an external atom.

If the atom does not exist or is not external, this is a noop.

Parameters:

• control - the target
• atom - atom to assign
• value - the truth value

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

• ::clingo_error_bad_alloc