Searched refs:clingo_heuristic_type_level (Results 1 – 7 of 7) sorted by relevance
59 Level = _lib.clingo_heuristic_type_level
1487 clingo_heuristic_type_level = 0, //!< set the level of an atom enumerator
1116 Level = clingo_heuristic_type_level,
3039 …for (auto t : { clingo_heuristic_type_level, clingo_heuristic_type_sign, clingo_heuristic_type_fac… in addToRegistry()3048 case clingo_heuristic_type_level: { return "Level"; } in field_()
208 clingo_heuristic_type_level = 0, //!< set the level of an atom
3718 int n = (clingo_heuristic_type_level) <= 0; in _cffi_const_clingo_heuristic_type_level()3719 …*o = (unsigned long long)((clingo_heuristic_type_level) | 0); /* check that clingo_heuristic_type… in _cffi_const_clingo_heuristic_type_level()
2947 int n = (clingo_heuristic_type_level) <= 0; in _cffi_const_clingo_heuristic_type_level()2948 …*o = (unsigned long long)((clingo_heuristic_type_level) | 0); /* check that clingo_heuristic_type… in _cffi_const_clingo_heuristic_type_level()