Function clingo_sys::clingo_propagate_init_get_check_mode
[−]
[src]
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()