Function clingo_sys::clingo_propagate_init_set_check_mode
[−]
[src]
pub unsafe extern "C" fn clingo_propagate_init_set_check_mode(
init: *mut clingo_propagate_init_t,
mode: clingo_propagator_check_mode_t
)
Configure when to call the check method of the propagator.
Parameters:
init
- the target *mode
- bitmask when to call the propagator @see @ref ::clingo_propagator::check()