Function clingo_sys::clingo_propagate_init_add_watch
[−]
[src]
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.
Parameters:
init
the targetsolver_literal
the solver literal
Returns whether the call was successful