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

Parameters with prefix constraints/xor. More...

Variables

constexpr Param< bool > ADDEXTENDEDFORM { "constraints/xor/addextendedform" }
 should the extended formulation be added in presolving?
 
constexpr Param< bool > ADDFLOWEXTENDED { "constraints/xor/addflowextended" }
 should the extended flow formulation be added (nonsymmetric formulation otherwise)?
 
constexpr Param< bool > DELAYPROP { "constraints/xor/delayprop" }
 should propagation method be delayed, if other propagators found reductions?
 
constexpr Param< bool > DELAYSEPA { "constraints/xor/delaysepa" }
 should separation method be delayed, if other separators found cuts?
 
constexpr Param< int > EAGERFREQ { "constraints/xor/eagerfreq" }
 frequency for using all instead of only the useful constraints in separation, propagation and enforcement (-1: never, 0: only in first evaluation)
 
constexpr Param< int > GAUSSPROPFREQ { "constraints/xor/gausspropfreq" }
 frequency for applying the Gauss propagator
 
constexpr Param< int > MAXPREROUNDS { "constraints/xor/maxprerounds" }
 maximal number of presolving rounds the constraint handler participates in (-1: no limit)
 
constexpr Param< bool > PRESOLPAIRWISE { "constraints/xor/presolpairwise" }
 should pairwise constraint comparison be performed in presolving?
 
constexpr Param< int > PRESOLTIMING { "constraints/xor/presoltiming" }
 timing mask of the constraint handler's presolving method (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)
 
constexpr Param< bool > PRESOLUSEHASHING { "constraints/xor/presolusehashing" }
 should hash table be used for detecting redundant constraints in advance?
 
constexpr Param< int > PROPFREQ { "constraints/xor/propfreq" }
 frequency for propagating domains (-1: never, 0: only in root node)
 
constexpr Param< int > PROPTIMING { "constraints/xor/proptiming" }
 timing when constraint propagation should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS)
 
constexpr Param< int > SEPAFREQ { "constraints/xor/sepafreq" }
 frequency for separating cuts (-1: never, 0: only in root node)
 
constexpr Param< bool > SEPARATEPARITY { "constraints/xor/separateparity" }
 should parity inequalities be separated?
 

Detailed Description

Parameters with prefix constraints/xor.

Variable Documentation

◆ ADDEXTENDEDFORM

constexpr Param<bool> scippp::params::CONSTRAINTS::XOR::ADDEXTENDEDFORM { "constraints/xor/addextendedform" }
constexpr

should the extended formulation be added in presolving?

Definition at line 1887 of file parameters.hpp.

◆ ADDFLOWEXTENDED

constexpr Param<bool> scippp::params::CONSTRAINTS::XOR::ADDFLOWEXTENDED { "constraints/xor/addflowextended" }
constexpr

should the extended flow formulation be added (nonsymmetric formulation otherwise)?

Definition at line 1889 of file parameters.hpp.

◆ DELAYPROP

constexpr Param<bool> scippp::params::CONSTRAINTS::XOR::DELAYPROP { "constraints/xor/delayprop" }
constexpr

should propagation method be delayed, if other propagators found reductions?

Definition at line 1879 of file parameters.hpp.

◆ DELAYSEPA

constexpr Param<bool> scippp::params::CONSTRAINTS::XOR::DELAYSEPA { "constraints/xor/delaysepa" }
constexpr

should separation method be delayed, if other separators found cuts?

Definition at line 1877 of file parameters.hpp.

◆ EAGERFREQ

constexpr Param<int> scippp::params::CONSTRAINTS::XOR::EAGERFREQ { "constraints/xor/eagerfreq" }
constexpr

frequency for using all instead of only the useful constraints in separation, propagation and enforcement (-1: never, 0: only in first evaluation)

Definition at line 1873 of file parameters.hpp.

◆ GAUSSPROPFREQ

constexpr Param<int> scippp::params::CONSTRAINTS::XOR::GAUSSPROPFREQ { "constraints/xor/gausspropfreq" }
constexpr

frequency for applying the Gauss propagator

Definition at line 1893 of file parameters.hpp.

◆ MAXPREROUNDS

constexpr Param<int> scippp::params::CONSTRAINTS::XOR::MAXPREROUNDS { "constraints/xor/maxprerounds" }
constexpr

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

Definition at line 1875 of file parameters.hpp.

◆ PRESOLPAIRWISE

constexpr Param<bool> scippp::params::CONSTRAINTS::XOR::PRESOLPAIRWISE { "constraints/xor/presolpairwise" }
constexpr

should pairwise constraint comparison be performed in presolving?

Definition at line 1883 of file parameters.hpp.

◆ PRESOLTIMING

constexpr Param<int> scippp::params::CONSTRAINTS::XOR::PRESOLTIMING { "constraints/xor/presoltiming" }
constexpr

timing mask of the constraint handler's presolving method (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)

Definition at line 1881 of file parameters.hpp.

◆ PRESOLUSEHASHING

constexpr Param<bool> scippp::params::CONSTRAINTS::XOR::PRESOLUSEHASHING { "constraints/xor/presolusehashing" }
constexpr

should hash table be used for detecting redundant constraints in advance?

Definition at line 1885 of file parameters.hpp.

◆ PROPFREQ

constexpr Param<int> scippp::params::CONSTRAINTS::XOR::PROPFREQ { "constraints/xor/propfreq" }
constexpr

frequency for propagating domains (-1: never, 0: only in root node)

Definition at line 1868 of file parameters.hpp.

◆ PROPTIMING

constexpr Param<int> scippp::params::CONSTRAINTS::XOR::PROPTIMING { "constraints/xor/proptiming" }
constexpr

timing when constraint propagation should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS)

Definition at line 1870 of file parameters.hpp.

◆ SEPAFREQ

constexpr Param<int> scippp::params::CONSTRAINTS::XOR::SEPAFREQ { "constraints/xor/sepafreq" }
constexpr

frequency for separating cuts (-1: never, 0: only in root node)

Definition at line 1866 of file parameters.hpp.

◆ SEPARATEPARITY

constexpr Param<bool> scippp::params::CONSTRAINTS::XOR::SEPARATEPARITY { "constraints/xor/separateparity" }
constexpr

should parity inequalities be separated?

Definition at line 1891 of file parameters.hpp.