Function clingo_sys::clingo_propagate_control_add_watch
[−]
[src]
pub unsafe extern "C" fn clingo_propagate_control_add_watch(
control: *mut clingo_propagate_control_t,
literal: clingo_literal_t
) -> bool
Add a watch for the solver literal in the given phase.
Note: Unlike @ref clingo_propagate_init_add_watch() this does not add a watch to all solver threads but just the current one.
Parameters:
control
the targetliteral
the literal to watch
Returns whether the call was successful; might set one of the following error codes: - ::clingo_error_bad_alloc - ::clingo_error_logic if the literal is invalid @see clingo_propagate_control_remove_watch()