scippp::params::PRESOLVING::INTTOBINARY Namespace Reference

Parameters with prefix presolving/inttobinary. More...

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

Detailed Description

Parameters with prefix presolving/inttobinary.

Variable Documentation

MAXROUNDS

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

constexpr

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

Definition at line 4876 of file parameters.hpp.

PRIORITY

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

constexpr

priority of presolver <inttobinary>

Definition at line 4874 of file parameters.hpp.

TIMING

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

constexpr

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

Definition at line 4878 of file parameters.hpp.