[][src]Constant clingo_sys::clingo_heuristic_type_clingo_heuristic_type_level

pub const clingo_heuristic_type_clingo_heuristic_type_level: clingo_heuristic_type

!< set the level of an atom