Parameters with prefix solvingphases. More...
Variables | |
constexpr Param< bool > | ENABLED { "solvingphases/enabled" } |
should the event handler adapt the solver behavior? | |
constexpr Param< bool > | FALLBACK { "solvingphases/fallback" } |
should the event handler fall back from optimal phase? | |
constexpr Param< std::string > | FEASSETNAME { "solvingphases/feassetname" } |
settings file for feasibility phase – precedence over emphasis settings | |
constexpr Param< std::string > | IMPROVESETNAME { "solvingphases/improvesetname" } |
settings file for improvement phase – precedence over emphasis settings | |
constexpr Param< bool > | INTERRUPTOPTIMAL { "solvingphases/interruptoptimal" } |
should the event handler interrupt the solving process after optimal solution was found? | |
constexpr Param< long long > | NODEOFFSET { "solvingphases/nodeoffset" } |
node offset for rank-1 and estimate transitions | |
constexpr Param< double > | OPTIMALVALUE { "solvingphases/optimalvalue" } |
optimal solution value for problem | |
constexpr Param< std::string > | PROOFSETNAME { "solvingphases/proofsetname" } |
settings file for proof phase – precedence over emphasis settings | |
constexpr Param< bool > | TESTMODE { "solvingphases/testmode" } |
should the event handler test all phase transitions? | |
constexpr Param< char > | TRANSITIONMETHOD { "solvingphases/transitionmethod" } |
transition method: Possible options are 'e'stimate,'l'ogarithmic regression,'o'ptimal-value based,'r'ank-1 | |
constexpr Param< bool > | USEEMPHSETTINGS { "solvingphases/useemphsettings" } |
should emphasis settings for the solving phases be used, or settings files? | |
constexpr Param< bool > | USERESTART1TO2 { "solvingphases/userestart1to2" } |
should a restart be applied between the feasibility and improvement phase? | |
constexpr Param< bool > | USERESTART2TO3 { "solvingphases/userestart2to3" } |
should a restart be applied between the improvement and the proof phase? | |
constexpr Param< char > | XTYPE { "solvingphases/xtype" } |
x-type for logarithmic regression - (t)ime, (n)odes, (l)p iterations | |
Parameters with prefix solvingphases.
|
constexpr |
should the event handler adapt the solver behavior?
Definition at line 6417 of file parameters.hpp.
|
constexpr |
should the event handler fall back from optimal phase?
Definition at line 6429 of file parameters.hpp.
|
constexpr |
settings file for feasibility phase – precedence over emphasis settings
Definition at line 6421 of file parameters.hpp.
|
constexpr |
settings file for improvement phase – precedence over emphasis settings
Definition at line 6423 of file parameters.hpp.
|
constexpr |
should the event handler interrupt the solving process after optimal solution was found?
Definition at line 6433 of file parameters.hpp.
|
constexpr |
node offset for rank-1 and estimate transitions
Definition at line 6427 of file parameters.hpp.
|
constexpr |
optimal solution value for problem
Definition at line 6439 of file parameters.hpp.
|
constexpr |
settings file for proof phase – precedence over emphasis settings
Definition at line 6425 of file parameters.hpp.
|
constexpr |
should the event handler test all phase transitions?
Definition at line 6419 of file parameters.hpp.
|
constexpr |
transition method: Possible options are 'e'stimate,'l'ogarithmic regression,'o'ptimal-value based,'r'ank-1
Definition at line 6431 of file parameters.hpp.
|
constexpr |
should emphasis settings for the solving phases be used, or settings files?
Definition at line 6443 of file parameters.hpp.
|
constexpr |
should a restart be applied between the feasibility and improvement phase?
Definition at line 6435 of file parameters.hpp.
|
constexpr |
should a restart be applied between the improvement and the proof phase?
Definition at line 6437 of file parameters.hpp.
|
constexpr |
x-type for logarithmic regression - (t)ime, (n)odes, (l)p iterations
Definition at line 6441 of file parameters.hpp.