[][src]Function clingo_sys::clingo_propagate_init_get_check_mode

pub unsafe extern "C" fn clingo_propagate_init_get_check_mode(
    init: *const clingo_propagate_init_t
) -> clingo_propagator_check_mode_t

Get the current check mode of the propagator.

@param[in] init the target @return bitmask when to call the propagator @see clingo_propagate_init_set_check_mode()