scippp::params::PRESOLVING::REDVUB Namespace Reference

Parameters with prefix presolving/redvub. More...

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

Detailed Description

Parameters with prefix presolving/redvub.

Variable Documentation

MAXROUNDS

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

constexpr

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

Definition at line 4901 of file parameters.hpp.

PRIORITY

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

constexpr

priority of presolver <redvub>

Definition at line 4899 of file parameters.hpp.

TIMING

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

constexpr

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

Definition at line 4903 of file parameters.hpp.