Type Alias clingo_sys::clingo_propagator_check_mode_e

pub type clingo_propagator_check_mode_e = c_uint;

! Supported check modes for propagators. ! ! Note that total checks are subject to the lock when a model is found. ! This means that information from previously found models can be used to discard assignments in check calls.