pub const clingo_propagator_check_mode_e_clingo_propagator_check_mode_none: clingo_propagator_check_mode_e = 0;
Expand description
!< do not call @ref ::clingo_propagator::check() at all
pub const clingo_propagator_check_mode_e_clingo_propagator_check_mode_none: clingo_propagator_check_mode_e = 0;
!< do not call @ref ::clingo_propagator::check() at all