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()