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 target
  • solver_literal the solver literal

Returns whether the call was successful