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) | |
Parameters with prefix presolving/convertinttobin.
|
constexpr |
absolute value of maximum domain size for converting an integer variable to binaries variables
Definition at line 4747 of file parameters.hpp.
|
constexpr |
maximal number of presolving rounds the presolver participates in (-1: no limit)
Definition at line 4743 of file parameters.hpp.
|
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 4750 of file parameters.hpp.
|
constexpr |
priority of presolver <convertinttobin>
Definition at line 4741 of file parameters.hpp.
|
constexpr |
should only integer variables with uplocks equals downlocks be converted
Definition at line 4752 of file parameters.hpp.
|
constexpr |
timing mask of presolver <convertinttobin> (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)
Definition at line 4745 of file parameters.hpp.