[−][src]Constant clingo_sys::clingo_heuristic_type_clingo_heuristic_type_factor
pub const clingo_heuristic_type_clingo_heuristic_type_factor: clingo_heuristic_type
!< modify VSIDS factor of an atom
pub const clingo_heuristic_type_clingo_heuristic_type_factor: clingo_heuristic_type
!< modify VSIDS factor of an atom