scippp::params::PRESOLVING::CONVERTINTTOBIN Namespace Reference

Parameters with prefix presolving/convertinttobin. More...

Variables
constexpr Param< long long >	MAXDOMAINSIZE { "presolving/convertinttobin/maxdomainsize" }
	absolute value of maximum domain size for converting an integer variable to binaries variables
constexpr Param< int >	MAXROUNDS { "presolving/convertinttobin/maxrounds" }
	maximal number of presolving rounds the presolver participates in (-1: no limit)
constexpr Param< bool >	ONLYPOWEROFTWO { "presolving/convertinttobin/onlypoweroftwo" }
	should only integer variables with a domain size of 2^p - 1 be converted(, there we don't need an knapsack-constraint for restricting the sum of the binaries)
constexpr Param< int >	PRIORITY { "presolving/convertinttobin/priority" }
	priority of presolver <convertinttobin>
constexpr Param< bool >	SAMELOCKSINBOTHDIRECTIONS { "presolving/convertinttobin/samelocksinbothdirections" }
	should only integer variables with uplocks equals downlocks be converted
constexpr Param< int >	TIMING { "presolving/convertinttobin/timing" }
	timing mask of presolver <convertinttobin> (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)

Detailed Description

Parameters with prefix presolving/convertinttobin.

Variable Documentation

MAXDOMAINSIZE

Param<long long> scippp::params::PRESOLVING::CONVERTINTTOBIN::MAXDOMAINSIZE { "presolving/convertinttobin/maxdomainsize" }

constexpr

absolute value of maximum domain size for converting an integer variable to binaries variables

Definition at line 5169 of file parameters.hpp.

MAXROUNDS

Param<int> scippp::params::PRESOLVING::CONVERTINTTOBIN::MAXROUNDS { "presolving/convertinttobin/maxrounds" }

constexpr

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

Definition at line 5165 of file parameters.hpp.

ONLYPOWEROFTWO

Param<bool> scippp::params::PRESOLVING::CONVERTINTTOBIN::ONLYPOWEROFTWO { "presolving/convertinttobin/onlypoweroftwo" }

constexpr

should only integer variables with a domain size of 2^p - 1 be converted(, there we don't need an knapsack-constraint for restricting the sum of the binaries)

Definition at line 5172 of file parameters.hpp.

PRIORITY

Param<int> scippp::params::PRESOLVING::CONVERTINTTOBIN::PRIORITY { "presolving/convertinttobin/priority" }

constexpr

priority of presolver <convertinttobin>

Definition at line 5163 of file parameters.hpp.

SAMELOCKSINBOTHDIRECTIONS

Param<bool> scippp::params::PRESOLVING::CONVERTINTTOBIN::SAMELOCKSINBOTHDIRECTIONS { "presolving/convertinttobin/samelocksinbothdirections" }

constexpr

should only integer variables with uplocks equals downlocks be converted

Definition at line 5174 of file parameters.hpp.

TIMING

Param<int> scippp::params::PRESOLVING::CONVERTINTTOBIN::TIMING { "presolving/convertinttobin/timing" }

constexpr

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

Definition at line 5167 of file parameters.hpp.