Constant clingo_sys::clingo_propagator_check_mode_e_clingo_propagator_check_mode_fixpoint

source · 
pub const clingo_propagator_check_mode_e_clingo_propagator_check_mode_fixpoint: clingo_propagator_check_mode_e = 2;
Expand description

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