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