SCIP++ refs/heads/main
 
Loading...
Searching...
No Matches
scippp::params::SOLVINGPHASES Namespace Reference

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
 

Detailed Description

Parameters with prefix solvingphases.

Variable Documentation

◆ ENABLED

constexpr Param<bool> scippp::params::SOLVINGPHASES::ENABLED { "solvingphases/enabled" }
constexpr

should the event handler adapt the solver behavior?

Definition at line 6417 of file parameters.hpp.

◆ FALLBACK

constexpr Param<bool> scippp::params::SOLVINGPHASES::FALLBACK { "solvingphases/fallback" }
constexpr

should the event handler fall back from optimal phase?

Definition at line 6429 of file parameters.hpp.

◆ FEASSETNAME

constexpr Param<std::string> scippp::params::SOLVINGPHASES::FEASSETNAME { "solvingphases/feassetname" }
constexpr

settings file for feasibility phase – precedence over emphasis settings

Definition at line 6421 of file parameters.hpp.

◆ IMPROVESETNAME

constexpr Param<std::string> scippp::params::SOLVINGPHASES::IMPROVESETNAME { "solvingphases/improvesetname" }
constexpr

settings file for improvement phase – precedence over emphasis settings

Definition at line 6423 of file parameters.hpp.

◆ INTERRUPTOPTIMAL

constexpr Param<bool> scippp::params::SOLVINGPHASES::INTERRUPTOPTIMAL { "solvingphases/interruptoptimal" }
constexpr

should the event handler interrupt the solving process after optimal solution was found?

Definition at line 6433 of file parameters.hpp.

◆ NODEOFFSET

constexpr Param<long long> scippp::params::SOLVINGPHASES::NODEOFFSET { "solvingphases/nodeoffset" }
constexpr

node offset for rank-1 and estimate transitions

Definition at line 6427 of file parameters.hpp.

◆ OPTIMALVALUE

constexpr Param<double> scippp::params::SOLVINGPHASES::OPTIMALVALUE { "solvingphases/optimalvalue" }
constexpr

optimal solution value for problem

Definition at line 6439 of file parameters.hpp.

◆ PROOFSETNAME

constexpr Param<std::string> scippp::params::SOLVINGPHASES::PROOFSETNAME { "solvingphases/proofsetname" }
constexpr

settings file for proof phase – precedence over emphasis settings

Definition at line 6425 of file parameters.hpp.

◆ TESTMODE

constexpr Param<bool> scippp::params::SOLVINGPHASES::TESTMODE { "solvingphases/testmode" }
constexpr

should the event handler test all phase transitions?

Definition at line 6419 of file parameters.hpp.

◆ TRANSITIONMETHOD

constexpr Param<char> scippp::params::SOLVINGPHASES::TRANSITIONMETHOD { "solvingphases/transitionmethod" }
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.

◆ USEEMPHSETTINGS

constexpr Param<bool> scippp::params::SOLVINGPHASES::USEEMPHSETTINGS { "solvingphases/useemphsettings" }
constexpr

should emphasis settings for the solving phases be used, or settings files?

Definition at line 6443 of file parameters.hpp.

◆ USERESTART1TO2

constexpr Param<bool> scippp::params::SOLVINGPHASES::USERESTART1TO2 { "solvingphases/userestart1to2" }
constexpr

should a restart be applied between the feasibility and improvement phase?

Definition at line 6435 of file parameters.hpp.

◆ USERESTART2TO3

constexpr Param<bool> scippp::params::SOLVINGPHASES::USERESTART2TO3 { "solvingphases/userestart2to3" }
constexpr

should a restart be applied between the improvement and the proof phase?

Definition at line 6437 of file parameters.hpp.

◆ XTYPE

constexpr Param<char> scippp::params::SOLVINGPHASES::XTYPE { "solvingphases/xtype" }
constexpr

x-type for logarithmic regression - (t)ime, (n)odes, (l)p iterations

Definition at line 6441 of file parameters.hpp.