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 6988 of file parameters.hpp.
|
constexpr |
should the event handler fall back from optimal phase?
Definition at line 7000 of file parameters.hpp.
|
constexpr |
settings file for feasibility phase – precedence over emphasis settings
Definition at line 6992 of file parameters.hpp.
|
constexpr |
settings file for improvement phase – precedence over emphasis settings
Definition at line 6994 of file parameters.hpp.
|
constexpr |
should the event handler interrupt the solving process after optimal solution was found?
Definition at line 7004 of file parameters.hpp.
|
constexpr |
node offset for rank-1 and estimate transitions
Definition at line 6998 of file parameters.hpp.
|
constexpr |
optimal solution value for problem
Definition at line 7010 of file parameters.hpp.
|
constexpr |
settings file for proof phase – precedence over emphasis settings
Definition at line 6996 of file parameters.hpp.
|
constexpr |
should the event handler test all phase transitions?
Definition at line 6990 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 7002 of file parameters.hpp.
|
constexpr |
should emphasis settings for the solving phases be used, or settings files?
Definition at line 7014 of file parameters.hpp.
|
constexpr |
should a restart be applied between the feasibility and improvement phase?
Definition at line 7006 of file parameters.hpp.
|
constexpr |
should a restart be applied between the improvement and the proof phase?
Definition at line 7008 of file parameters.hpp.
|
constexpr |
x-type for logarithmic regression - (t)ime, (n)odes, (l)p iterations
Definition at line 7012 of file parameters.hpp.