Constant clingo_sys::clingo_propagator_check_mode_e_clingo_propagator_check_mode_total

pub const clingo_propagator_check_mode_e_clingo_propagator_check_mode_total: clingo_propagator_check_mode_e = 1;

!< call @ref ::clingo_propagator::check() on total assignments