Parameters with prefix heuristics/bound. More...
Variables | |
constexpr Param< char > | BOUND { "heuristics/bound/bound" } |
to which bound should integer variables be fixed? ('l'ower, 'u'pper, or 'b'oth) | |
constexpr Param< int > | FREQ { "heuristics/bound/freq" } |
frequency for calling primal heuristic <bound> (-1: never, 0: only at depth freqofs) | |
constexpr Param< int > | FREQOFS { "heuristics/bound/freqofs" } |
frequency offset for calling primal heuristic <bound> | |
constexpr Param< int > | MAXDEPTH { "heuristics/bound/maxdepth" } |
maximal depth level to call primal heuristic <bound> (-1: no limit) | |
constexpr Param< int > | MAXPROPROUNDS { "heuristics/bound/maxproprounds" } |
maximum number of propagation rounds during probing (-1 infinity, -2 parameter settings) | |
constexpr Param< bool > | ONLYWITHOUTSOL { "heuristics/bound/onlywithoutsol" } |
Should heuristic only be executed if no primal solution was found, yet? | |
constexpr Param< int > | PRIORITY { "heuristics/bound/priority" } |
priority of heuristic <bound> | |
Parameters with prefix heuristics/bound.
|
constexpr |
to which bound should integer variables be fixed? ('l'ower, 'u'pper, or 'b'oth)
Definition at line 2671 of file parameters.hpp.
|
constexpr |
frequency for calling primal heuristic <bound> (-1: never, 0: only at depth freqofs)
Definition at line 2661 of file parameters.hpp.
|
constexpr |
frequency offset for calling primal heuristic <bound>
Definition at line 2663 of file parameters.hpp.
|
constexpr |
maximal depth level to call primal heuristic <bound> (-1: no limit)
Definition at line 2665 of file parameters.hpp.
|
constexpr |
maximum number of propagation rounds during probing (-1 infinity, -2 parameter settings)
Definition at line 2669 of file parameters.hpp.
|
constexpr |
Should heuristic only be executed if no primal solution was found, yet?
Definition at line 2667 of file parameters.hpp.
|
constexpr |
priority of heuristic <bound>
Definition at line 2659 of file parameters.hpp.