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

Parameters with prefix constraints/and. More...

Variables

constexpr Param< bool > AGGRLINEARIZATION { "constraints/and/aggrlinearization" }
 should an aggregated linearization be used?
 
constexpr Param< bool > DELAYPROP { "constraints/and/delayprop" }
 should propagation method be delayed, if other propagators found reductions?
 
constexpr Param< bool > DELAYSEPA { "constraints/and/delaysepa" }
 should separation method be delayed, if other separators found cuts?
 
constexpr Param< bool > DUALPRESOLVING { "constraints/and/dualpresolving" }
 should dual presolving be performed?
 
constexpr Param< int > EAGERFREQ { "constraints/and/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< bool > ENFORCECUTS { "constraints/and/enforcecuts" }
 should cuts be separated during LP enforcing?
 
constexpr Param< bool > LINEARIZE { "constraints/and/linearize" }
 should the AND-constraint get linearized and removed (in presolving)?
 
constexpr Param< int > MAXPREROUNDS { "constraints/and/maxprerounds" }
 maximal number of presolving rounds the constraint handler participates in (-1: no limit)
 
constexpr Param< bool > PRESOLPAIRWISE { "constraints/and/presolpairwise" }
 should pairwise constraint comparison be performed in presolving?
 
constexpr Param< int > PRESOLTIMING { "constraints/and/presoltiming" }
 timing mask of the constraint handler's presolving method (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)
 
constexpr Param< bool > PRESOLUSEHASHING { "constraints/and/presolusehashing" }
 should hash table be used for detecting redundant constraints in advance
 
constexpr Param< int > PROPFREQ { "constraints/and/propfreq" }
 frequency for propagating domains (-1: never, 0: only in root node)
 
constexpr Param< int > PROPTIMING { "constraints/and/proptiming" }
 timing when constraint propagation should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS)
 
constexpr Param< int > SEPAFREQ { "constraints/and/sepafreq" }
 frequency for separating cuts (-1: never, 0: only in root node)
 
constexpr Param< bool > UPGRADERESULTANT { "constraints/and/upgraderesultant" }
 should all binary resultant variables be upgraded to implicit binary variables?
 

Detailed Description

Parameters with prefix constraints/and.

Variable Documentation

◆ AGGRLINEARIZATION

constexpr Param<bool> scippp::params::CONSTRAINTS::AND::AGGRLINEARIZATION { "constraints/and/aggrlinearization" }
constexpr

should an aggregated linearization be used?

Definition at line 812 of file parameters.hpp.

◆ DELAYPROP

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

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

Definition at line 800 of file parameters.hpp.

◆ DELAYSEPA

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

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

Definition at line 798 of file parameters.hpp.

◆ DUALPRESOLVING

constexpr Param<bool> scippp::params::CONSTRAINTS::AND::DUALPRESOLVING { "constraints/and/dualpresolving" }
constexpr

should dual presolving be performed?

Definition at line 816 of file parameters.hpp.

◆ EAGERFREQ

constexpr Param<int> scippp::params::CONSTRAINTS::AND::EAGERFREQ { "constraints/and/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 794 of file parameters.hpp.

◆ ENFORCECUTS

constexpr Param<bool> scippp::params::CONSTRAINTS::AND::ENFORCECUTS { "constraints/and/enforcecuts" }
constexpr

should cuts be separated during LP enforcing?

Definition at line 810 of file parameters.hpp.

◆ LINEARIZE

constexpr Param<bool> scippp::params::CONSTRAINTS::AND::LINEARIZE { "constraints/and/linearize" }
constexpr

should the AND-constraint get linearized and removed (in presolving)?

Definition at line 808 of file parameters.hpp.

◆ MAXPREROUNDS

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

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

Definition at line 796 of file parameters.hpp.

◆ PRESOLPAIRWISE

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

should pairwise constraint comparison be performed in presolving?

Definition at line 804 of file parameters.hpp.

◆ PRESOLTIMING

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

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

Definition at line 802 of file parameters.hpp.

◆ PRESOLUSEHASHING

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

should hash table be used for detecting redundant constraints in advance

Definition at line 806 of file parameters.hpp.

◆ PROPFREQ

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

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

Definition at line 789 of file parameters.hpp.

◆ PROPTIMING

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

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

Definition at line 791 of file parameters.hpp.

◆ SEPAFREQ

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

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

Definition at line 787 of file parameters.hpp.

◆ UPGRADERESULTANT

constexpr Param<bool> scippp::params::CONSTRAINTS::AND::UPGRADERESULTANT { "constraints/and/upgraderesultant" }
constexpr

should all binary resultant variables be upgraded to implicit binary variables?

Definition at line 814 of file parameters.hpp.