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 2520 of file parameters.hpp.
|
constexpr |
frequency for calling primal heuristic <bound> (-1: never, 0: only at depth freqofs)
Definition at line 2510 of file parameters.hpp.
|
constexpr |
frequency offset for calling primal heuristic <bound>
Definition at line 2512 of file parameters.hpp.
|
constexpr |
maximal depth level to call primal heuristic <bound> (-1: no limit)
Definition at line 2514 of file parameters.hpp.
|
constexpr |
maximum number of propagation rounds during probing (-1 infinity, -2 parameter settings)
Definition at line 2518 of file parameters.hpp.
|
constexpr |
Should heuristic only be executed if no primal solution was found, yet?
Definition at line 2516 of file parameters.hpp.
|
constexpr |
priority of heuristic <bound>
Definition at line 2508 of file parameters.hpp.