[−][src]Type Definition clingo_sys::clingo_heuristic_type
type clingo_heuristic_type = u32;
Enumeration of different heuristic modifiers. @ingroup ProgramInspection
type clingo_heuristic_type = u32;
Enumeration of different heuristic modifiers. @ingroup ProgramInspection