Constant clingo_sys::clingo_propagator_check_mode_e_clingo_propagator_check_mode_both

pub const clingo_propagator_check_mode_e_clingo_propagator_check_mode_both: clingo_propagator_check_mode_e = 3;

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