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