Constant clingo_sys::clingo_propagator_check_mode_clingo_propagator_check_mode_total

pub const clingo_propagator_check_mode_clingo_propagator_check_mode_total: clingo_propagator_check_mode

call @ref ::clingo_propagator::check() on total assignment