Function clingo_sys::clingo_propagate_init_get_check_mode

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

Get the current check mode of the propagator.

Parameters:

• init- the target

Returns bitmask when to call the propagator @see clingo_propagate_init_set_check_mode()