Parameters with prefix heuristics/intshifting. More...
Variables | |
constexpr Param< int > | FREQ { "heuristics/intshifting/freq" } |
frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) | |
constexpr Param< int > | FREQOFS { "heuristics/intshifting/freqofs" } |
frequency offset for calling primal heuristic <intshifting> | |
constexpr Param< int > | MAXDEPTH { "heuristics/intshifting/maxdepth" } |
maximal depth level to call primal heuristic <intshifting> (-1: no limit) | |
constexpr Param< int > | PRIORITY { "heuristics/intshifting/priority" } |
priority of heuristic <intshifting> | |
Parameters with prefix heuristics/intshifting.
|
constexpr |
frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
Definition at line 3157 of file parameters.hpp.
|
constexpr |
frequency offset for calling primal heuristic <intshifting>
Definition at line 3159 of file parameters.hpp.
|
constexpr |
maximal depth level to call primal heuristic <intshifting> (-1: no limit)
Definition at line 3161 of file parameters.hpp.
|
constexpr |
priority of heuristic <intshifting>
Definition at line 3155 of file parameters.hpp.