[−][src]Function clingo_sys::clingo_propagate_init_add_watch_to_thread
pub unsafe extern "C" fn clingo_propagate_init_add_watch_to_thread(
init: *mut clingo_propagate_init_t,
solver_literal: clingo_literal_t,
thread_id: u32
) -> bool
Add a watch for the solver literal in the given phase to the given solver thread.
@param[in] init the target @param[in] solver_literal the solver literal @param[in] thread_id the id of the solver thread @return whether the call was successful