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

Parameters with prefix constraints/setppc. More...

Variables

constexpr Param< bool > ADDVARIABLESASCLIQUES { "constraints/setppc/addvariablesascliques" }
 should we try to generate extra cliques out of all binary variables to maybe fasten redundant constraint detection
 
constexpr Param< bool > CLIQUELIFTING { "constraints/setppc/cliquelifting" }
 should we try to lift variables into other clique constraints, fix variables, aggregate them, and also shrink the amount of variables in clique constraints
 
constexpr Param< bool > CLIQUESHRINKING { "constraints/setppc/cliqueshrinking" }
 should we try to shrink the number of variables in a clique constraints, by replacing more than one variable by only one
 
constexpr Param< bool > DELAYPROP { "constraints/setppc/delayprop" }
 should propagation method be delayed, if other propagators found reductions?
 
constexpr Param< bool > DELAYSEPA { "constraints/setppc/delaysepa" }
 should separation method be delayed, if other separators found cuts?
 
constexpr Param< bool > DUALPRESOLVING { "constraints/setppc/dualpresolving" }
 should dual presolving steps be performed?
 
constexpr Param< int > EAGERFREQ { "constraints/setppc/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 > MAXPREROUNDS { "constraints/setppc/maxprerounds" }
 maximal number of presolving rounds the constraint handler participates in (-1: no limit)
 
constexpr Param< int > NPSEUDOBRANCHES { "constraints/setppc/npseudobranches" }
 number of children created in pseudo branching (0: disable pseudo branching)
 
constexpr Param< bool > PRESOLPAIRWISE { "constraints/setppc/presolpairwise" }
 should pairwise constraint comparison be performed in presolving?
 
constexpr Param< int > PRESOLTIMING { "constraints/setppc/presoltiming" }
 timing mask of the constraint handler's presolving method (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)
 
constexpr Param< bool > PRESOLUSEHASHING { "constraints/setppc/presolusehashing" }
 should hash table be used for detecting redundant constraints in advance
 
constexpr Param< int > PROPFREQ { "constraints/setppc/propfreq" }
 frequency for propagating domains (-1: never, 0: only in root node)
 
constexpr Param< int > PROPTIMING { "constraints/setppc/proptiming" }
 timing when constraint propagation should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS)
 
constexpr Param< int > SEPAFREQ { "constraints/setppc/sepafreq" }
 frequency for separating cuts (-1: never, 0: only in root node)
 

Detailed Description

Parameters with prefix constraints/setppc.

Variable Documentation

◆ ADDVARIABLESASCLIQUES

Param<bool> scippp::params::CONSTRAINTS::SETPPC::ADDVARIABLESASCLIQUES { "constraints/setppc/addvariablesascliques" }
constexpr

should we try to generate extra cliques out of all binary variables to maybe fasten redundant constraint detection

Definition at line 1732 of file parameters.hpp.

◆ CLIQUELIFTING

Param<bool> scippp::params::CONSTRAINTS::SETPPC::CLIQUELIFTING { "constraints/setppc/cliquelifting" }
constexpr

should we try to lift variables into other clique constraints, fix variables, aggregate them, and also shrink the amount of variables in clique constraints

Definition at line 1729 of file parameters.hpp.

◆ CLIQUESHRINKING

Param<bool> scippp::params::CONSTRAINTS::SETPPC::CLIQUESHRINKING { "constraints/setppc/cliqueshrinking" }
constexpr

should we try to shrink the number of variables in a clique constraints, by replacing more than one variable by only one

Definition at line 1735 of file parameters.hpp.

◆ DELAYPROP

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

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

Definition at line 1716 of file parameters.hpp.

◆ DELAYSEPA

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

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

Definition at line 1714 of file parameters.hpp.

◆ DUALPRESOLVING

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

should dual presolving steps be performed?

Definition at line 1726 of file parameters.hpp.

◆ EAGERFREQ

Param<int> scippp::params::CONSTRAINTS::SETPPC::EAGERFREQ { "constraints/setppc/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 1710 of file parameters.hpp.

◆ MAXPREROUNDS

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

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

Definition at line 1712 of file parameters.hpp.

◆ NPSEUDOBRANCHES

Param<int> scippp::params::CONSTRAINTS::SETPPC::NPSEUDOBRANCHES { "constraints/setppc/npseudobranches" }
constexpr

number of children created in pseudo branching (0: disable pseudo branching)

Definition at line 1720 of file parameters.hpp.

◆ PRESOLPAIRWISE

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

should pairwise constraint comparison be performed in presolving?

Definition at line 1722 of file parameters.hpp.

◆ PRESOLTIMING

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

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

Definition at line 1718 of file parameters.hpp.

◆ PRESOLUSEHASHING

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

should hash table be used for detecting redundant constraints in advance

Definition at line 1724 of file parameters.hpp.

◆ PROPFREQ

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

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

Definition at line 1705 of file parameters.hpp.

◆ PROPTIMING

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

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

Definition at line 1707 of file parameters.hpp.

◆ SEPAFREQ

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

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

Definition at line 1703 of file parameters.hpp.