Constant clingo_sys::clingo_propagator_check_mode_clingo_propagator_check_mode_fixpoint [] [src]

pub const clingo_propagator_check_mode_clingo_propagator_check_mode_fixpoint: clingo_propagator_check_mode = 2