scippp::params::PRESOLVING::TRIVIAL Namespace Reference

Parameters with prefix presolving/trivial. More...

Variables
constexpr Param< int >	MAXROUNDS { "presolving/trivial/maxrounds" }
	maximal number of presolving rounds the presolver participates in (-1: no limit)
constexpr Param< int >	PRIORITY { "presolving/trivial/priority" }
	priority of presolver <trivial>
constexpr Param< int >	TIMING { "presolving/trivial/timing" }
	timing mask of presolver <trivial> (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)

Detailed Description

Parameters with prefix presolving/trivial.

Variable Documentation

MAXROUNDS

constexpr Param<int> scippp::params::PRESOLVING::TRIVIAL::MAXROUNDS { "presolving/trivial/maxrounds" }

constexpr

maximal number of presolving rounds the presolver participates in (-1: no limit)

Definition at line 4950 of file parameters.hpp.

PRIORITY

constexpr Param<int> scippp::params::PRESOLVING::TRIVIAL::PRIORITY { "presolving/trivial/priority" }

constexpr

priority of presolver <trivial>

Definition at line 4948 of file parameters.hpp.

TIMING

constexpr Param<int> scippp::params::PRESOLVING::TRIVIAL::TIMING { "presolving/trivial/timing" }

constexpr

timing mask of presolver <trivial> (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)

Definition at line 4952 of file parameters.hpp.