SCIP++ refs/heads/main
 
Loading...
Searching...
No Matches
Variables
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

constexpr 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 1664 of file parameters.hpp.

◆ CLIQUELIFTING

constexpr 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 1661 of file parameters.hpp.

◆ CLIQUESHRINKING

constexpr 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 1667 of file parameters.hpp.

◆ DELAYPROP

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

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

Definition at line 1648 of file parameters.hpp.

◆ DELAYSEPA

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

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

Definition at line 1646 of file parameters.hpp.

◆ DUALPRESOLVING

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

should dual presolving steps be performed?

Definition at line 1658 of file parameters.hpp.

◆ EAGERFREQ

constexpr 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 1642 of file parameters.hpp.

◆ MAXPREROUNDS

constexpr 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 1644 of file parameters.hpp.

◆ NPSEUDOBRANCHES

constexpr 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 1652 of file parameters.hpp.

◆ PRESOLPAIRWISE

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

should pairwise constraint comparison be performed in presolving?

Definition at line 1654 of file parameters.hpp.

◆ PRESOLTIMING

constexpr 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 1650 of file parameters.hpp.

◆ PRESOLUSEHASHING

constexpr 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 1656 of file parameters.hpp.

◆ PROPFREQ

constexpr 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 1637 of file parameters.hpp.

◆ PROPTIMING

constexpr 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 1639 of file parameters.hpp.

◆ SEPAFREQ

constexpr 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 1635 of file parameters.hpp.