scippp::params::HEURISTICS::TRIVIALNEGATION Namespace Reference

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>

Detailed Description

Parameters with prefix heuristics/trivialnegation.

Variable Documentation

FREQ

Param<int> scippp::params::HEURISTICS::TRIVIALNEGATION::FREQ { "heuristics/trivialnegation/freq" }

constexpr

frequency for calling primal heuristic <trivialnegation> (-1: never, 0: only at depth freqofs)

Definition at line 4379 of file parameters.hpp.

FREQOFS

Param<int> scippp::params::HEURISTICS::TRIVIALNEGATION::FREQOFS { "heuristics/trivialnegation/freqofs" }

constexpr

frequency offset for calling primal heuristic <trivialnegation>

Definition at line 4381 of file parameters.hpp.

MAXDEPTH

Param<int> scippp::params::HEURISTICS::TRIVIALNEGATION::MAXDEPTH { "heuristics/trivialnegation/maxdepth" }

constexpr

maximal depth level to call primal heuristic <trivialnegation> (-1: no limit)

Definition at line 4383 of file parameters.hpp.

PRIORITY

Param<int> scippp::params::HEURISTICS::TRIVIALNEGATION::PRIORITY { "heuristics/trivialnegation/priority" }

constexpr

priority of heuristic <trivialnegation>

Definition at line 4377 of file parameters.hpp.