Home
last modified time | relevance | path

Searched refs:clingo_heuristic_type_factor (Results 1 – 7 of 7) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/
H A Dbackend.py47 Factor = _lib.clingo_heuristic_type_factor
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h1489 clingo_heuristic_type_factor = 2, //!< modify VSIDS factor of an atom enumerator
H A Dclingo.hh1118 Factor = clingo_heuristic_type_factor,
/dports/math/clingo/clingo-5.5.1/libluaclingo/
H A Dluaclingo.cc3039 … : { clingo_heuristic_type_level, clingo_heuristic_type_sign, clingo_heuristic_type_factor, clingo… in addToRegistry()
3050 case clingo_heuristic_type_factor: { return "Factor"; } in field_()
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef210 clingo_heuristic_type_factor = 2, //!< modify VSIDS factor of an atom
H A D_clingo.c3732 int n = (clingo_heuristic_type_factor) <= 0; in _cffi_const_clingo_heuristic_type_factor()
3733 …*o = (unsigned long long)((clingo_heuristic_type_factor) | 0); /* check that clingo_heuristic_typ… in _cffi_const_clingo_heuristic_type_factor()
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D_clingo.c2961 int n = (clingo_heuristic_type_factor) <= 0; in _cffi_const_clingo_heuristic_type_factor()
2962 …*o = (unsigned long long)((clingo_heuristic_type_factor) | 0); /* check that clingo_heuristic_typ… in _cffi_const_clingo_heuristic_type_factor()