Function clingo_sys::clingo_propagate_control_add_watch

pub unsafe extern "C" fn clingo_propagate_control_add_watch(
    control: *mut clingo_propagate_control_t, 
    literal: clingo_literal_t
) -> bool

! Add a watch for the solver literal in the given phase. ! ! @note Unlike @ref clingo_propagate_init_add_watch() this does not add a watch to all solver threads but just the current one. ! ! @param[in] control the target ! @param[in] literal the literal to watch ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc ! - ::clingo_error_logic if the literal is invalid ! @see clingo_propagate_control_remove_watch()