Function clingo_sys::clingo_propagate_control_remove_watch
[−]
[src]
pub unsafe extern "C" fn clingo_propagate_control_remove_watch(
control: *mut clingo_propagate_control_t,
literal: clingo_literal_t
)
Removes the watch (if any) for the given solver literal.
Note: Similar to @ref clingo_propagate_init_add_watch() this just removes the watch in the current solver thread.
Parameters:
control
the targetliteral
the literal to remove