Parameters with prefix constraints/indicator. More...

Variables
constexpr Param< bool >	ADDCOUPLING { "constraints/indicator/addcoupling" }
	Add coupling constraints or rows if big-M is small enough?

constexpr Param< bool >	ADDCOUPLINGCONS { "constraints/indicator/addcouplingcons" }
	Add initial variable upper bound constraints, if 'addcoupling' is true?

constexpr Param< bool >	ADDOPPOSITE { "constraints/indicator/addopposite" }
	Add opposite inequality in nodes in which the binary variable has been fixed to 0?

constexpr Param< bool >	BRANCHINDICATORS { "constraints/indicator/branchindicators" }
	Branch on indicator constraints in enforcing?

constexpr Param< bool >	CONFLICTSUPGRADE { "constraints/indicator/conflictsupgrade" }
	Try to upgrade bounddisjunction conflicts by replacing slack variables?

constexpr Param< bool >	DELAYPROP { "constraints/indicator/delayprop" }
	should propagation method be delayed, if other propagators found reductions?

constexpr Param< bool >	DELAYSEPA { "constraints/indicator/delaysepa" }
	should separation method be delayed, if other separators found cuts?

constexpr Param< bool >	DUALREDUCTIONS { "constraints/indicator/dualreductions" }
	Should dual reduction steps be performed?

constexpr Param< int >	EAGERFREQ { "constraints/indicator/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/indicator/enforcecuts" }
	In enforcing try to generate cuts (only if sepaalternativelp is true)?

constexpr Param< bool >	FORCERESTART { "constraints/indicator/forcerestart" }
	Force restart if absolute gap is 1 or enough binary variables have been fixed?

constexpr Param< bool >	GENERATEBILINEAR { "constraints/indicator/generatebilinear" }
	Do not generate indicator constraint, but a bilinear constraint instead?

constexpr Param< bool >	GENLOGICOR { "constraints/indicator/genlogicor" }
	Generate logicor constraints instead of cuts?

constexpr Param< double >	MAXCONDITIONALTLP { "constraints/indicator/maxconditionaltlp" }
	maximum estimated condition of the solution basis matrix of the alternative LP to be trustworthy (0.0 to disable check)

constexpr Param< double >	MAXCOUPLINGVALUE { "constraints/indicator/maxcouplingvalue" }
	maximum coefficient for binary variable in coupling constraint

constexpr Param< int >	MAXPREROUNDS { "constraints/indicator/maxprerounds" }
	maximal number of presolving rounds the constraint handler participates in (-1: no limit)

constexpr Param< int >	MAXSEPACUTS { "constraints/indicator/maxsepacuts" }
	maximal number of cuts separated per separation round

constexpr Param< int >	MAXSEPACUTSROOT { "constraints/indicator/maxsepacutsroot" }
	maximal number of cuts separated per separation round in the root node

constexpr Param< int >	MAXSEPANONVIOLATED { "constraints/indicator/maxsepanonviolated" }
	maximal number of separated non violated IISs, before separation is stopped

constexpr Param< bool >	NOLINCONSCONT { "constraints/indicator/nolinconscont" }
	Decompose problem (do not generate linear constraint if all variables are continuous)?

constexpr Param< int >	PRESOLTIMING { "constraints/indicator/presoltiming" }
	timing mask of the constraint handler's presolving method (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)

constexpr Param< int >	PROPFREQ { "constraints/indicator/propfreq" }
	frequency for propagating domains (-1: never, 0: only in root node)

constexpr Param< int >	PROPTIMING { "constraints/indicator/proptiming" }
	timing when constraint propagation should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS)

constexpr Param< bool >	REMOVEINDICATORS { "constraints/indicator/removeindicators" }
	Remove indicator constraint if corresponding variable bound constraint has been added?

constexpr Param< double >	RESTARTFRAC { "constraints/indicator/restartfrac" }
	fraction of binary variables that need to be fixed before restart occurs (in forcerestart)

constexpr Param< bool >	SCALESLACKVAR { "constraints/indicator/scaleslackvar" }
	Scale slack variable coefficient at construction time?

constexpr Param< bool >	SEPAALTERNATIVELP { "constraints/indicator/sepaalternativelp" }
	Separate using the alternative LP?

constexpr Param< bool >	SEPACOUPLINGCUTS { "constraints/indicator/sepacouplingcuts" }
	Should the coupling inequalities be separated dynamically?

constexpr Param< bool >	SEPACOUPLINGLOCAL { "constraints/indicator/sepacouplinglocal" }
	Allow to use local bounds in order to separate coupling inequalities?

constexpr Param< double >	SEPACOUPLINGVALUE { "constraints/indicator/sepacouplingvalue" }
	maximum coefficient for binary variable in separated coupling constraint

constexpr Param< int >	SEPAFREQ { "constraints/indicator/sepafreq" }
	frequency for separating cuts (-1: never, 0: only in root node)

constexpr Param< bool >	SEPAPERSPECTIVE { "constraints/indicator/sepaperspective" }
	Separate cuts based on perspective formulation?

constexpr Param< bool >	SEPAPERSPLOCAL { "constraints/indicator/sepapersplocal" }
	Allow to use local bounds in order to separate perspective cuts?

constexpr Param< bool >	TRYSOLFROMCOVER { "constraints/indicator/trysolfromcover" }
	Try to construct a feasible solution from a cover?

constexpr Param< bool >	TRYSOLUTIONS { "constraints/indicator/trysolutions" }
	Try to make solutions feasible by setting indicator variables?

constexpr Param< bool >	UPDATEBOUNDS { "constraints/indicator/updatebounds" }
	Update bounds of original variables for separation?

constexpr Param< bool >	UPGRADELINEAR { "constraints/indicator/upgradelinear" }
	Try to upgrade linear constraints to indicator constraints?

constexpr Param< bool >	USEOBJECTIVECUT { "constraints/indicator/useobjectivecut" }
	Use objective cut with current best solution to alternative LP?

constexpr Param< bool >	USEOTHERCONSS { "constraints/indicator/useotherconss" }
	Collect other constraints to alternative LP?

Detailed Description

Parameters with prefix constraints/indicator.

Variable Documentation

◆ ADDCOUPLING

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::ADDCOUPLING { "constraints/indicator/addcoupling" }

constexpr

Add coupling constraints or rows if big-M is small enough?

Definition at line 1111 of file parameters.hpp.

◆ ADDCOUPLINGCONS

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::ADDCOUPLINGCONS { "constraints/indicator/addcouplingcons" }

constexpr

Add initial variable upper bound constraints, if 'addcoupling' is true?

Definition at line 1115 of file parameters.hpp.

◆ ADDOPPOSITE

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::ADDOPPOSITE { "constraints/indicator/addopposite" }

constexpr

Add opposite inequality in nodes in which the binary variable has been fixed to 0?

Definition at line 1150 of file parameters.hpp.

◆ BRANCHINDICATORS

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::BRANCHINDICATORS { "constraints/indicator/branchindicators" }

constexpr

Branch on indicator constraints in enforcing?

Definition at line 1107 of file parameters.hpp.

◆ CONFLICTSUPGRADE

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::CONFLICTSUPGRADE { "constraints/indicator/conflictsupgrade" }

constexpr

Try to upgrade bounddisjunction conflicts by replacing slack variables?

Definition at line 1152 of file parameters.hpp.

◆ DELAYPROP

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

constexpr

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

Definition at line 1103 of file parameters.hpp.

◆ DELAYSEPA

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

constexpr

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

Definition at line 1101 of file parameters.hpp.

◆ DUALREDUCTIONS

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::DUALREDUCTIONS { "constraints/indicator/dualreductions" }

constexpr

Should dual reduction steps be performed?

Definition at line 1148 of file parameters.hpp.

◆ EAGERFREQ

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

◆ ENFORCECUTS

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

constexpr

In enforcing try to generate cuts (only if sepaalternativelp is true)?

Definition at line 1146 of file parameters.hpp.

◆ FORCERESTART

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::FORCERESTART { "constraints/indicator/forcerestart" }

constexpr

Force restart if absolute gap is 1 or enough binary variables have been fixed?

Definition at line 1166 of file parameters.hpp.

◆ GENERATEBILINEAR

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::GENERATEBILINEAR { "constraints/indicator/generatebilinear" }

constexpr

Do not generate indicator constraint, but a bilinear constraint instead?

Definition at line 1140 of file parameters.hpp.

◆ GENLOGICOR

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::GENLOGICOR { "constraints/indicator/genlogicor" }

constexpr

Generate logicor constraints instead of cuts?

Definition at line 1109 of file parameters.hpp.

◆ MAXCONDITIONALTLP

constexpr Param<double> scippp::params::CONSTRAINTS::INDICATOR::MAXCONDITIONALTLP { "constraints/indicator/maxconditionaltlp" }

constexpr

maximum estimated condition of the solution basis matrix of the alternative LP to be trustworthy (0.0 to disable check)

Definition at line 1132 of file parameters.hpp.

◆ MAXCOUPLINGVALUE

constexpr Param<double> scippp::params::CONSTRAINTS::INDICATOR::MAXCOUPLINGVALUE { "constraints/indicator/maxcouplingvalue" }

constexpr

maximum coefficient for binary variable in coupling constraint

Definition at line 1113 of file parameters.hpp.

◆ MAXPREROUNDS

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

constexpr

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

Definition at line 1099 of file parameters.hpp.

◆ MAXSEPACUTS

constexpr Param<int> scippp::params::CONSTRAINTS::INDICATOR::MAXSEPACUTS { "constraints/indicator/maxsepacuts" }

constexpr

maximal number of cuts separated per separation round

Definition at line 1134 of file parameters.hpp.

◆ MAXSEPACUTSROOT

constexpr Param<int> scippp::params::CONSTRAINTS::INDICATOR::MAXSEPACUTSROOT { "constraints/indicator/maxsepacutsroot" }

constexpr

maximal number of cuts separated per separation round in the root node

Definition at line 1136 of file parameters.hpp.

◆ MAXSEPANONVIOLATED

constexpr Param<int> scippp::params::CONSTRAINTS::INDICATOR::MAXSEPANONVIOLATED { "constraints/indicator/maxsepanonviolated" }

constexpr

maximal number of separated non violated IISs, before separation is stopped

Definition at line 1127 of file parameters.hpp.

◆ NOLINCONSCONT

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::NOLINCONSCONT { "constraints/indicator/nolinconscont" }

constexpr

Decompose problem (do not generate linear constraint if all variables are continuous)?

Definition at line 1168 of file parameters.hpp.

◆ PRESOLTIMING

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

constexpr

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

Definition at line 1105 of file parameters.hpp.

◆ PROPFREQ

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

constexpr

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

Definition at line 1092 of file parameters.hpp.

◆ PROPTIMING

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

constexpr

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

Definition at line 1094 of file parameters.hpp.

◆ REMOVEINDICATORS

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::REMOVEINDICATORS { "constraints/indicator/removeindicators" }

constexpr

Remove indicator constraint if corresponding variable bound constraint has been added?

Definition at line 1138 of file parameters.hpp.

◆ RESTARTFRAC

constexpr Param<double> scippp::params::CONSTRAINTS::INDICATOR::RESTARTFRAC { "constraints/indicator/restartfrac" }

constexpr

fraction of binary variables that need to be fixed before restart occurs (in forcerestart)

Definition at line 1154 of file parameters.hpp.

◆ SCALESLACKVAR

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::SCALESLACKVAR { "constraints/indicator/scaleslackvar" }

constexpr

Scale slack variable coefficient at construction time?

Definition at line 1142 of file parameters.hpp.

◆ SEPAALTERNATIVELP

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::SEPAALTERNATIVELP { "constraints/indicator/sepaalternativelp" }

constexpr

Separate using the alternative LP?

Definition at line 1164 of file parameters.hpp.

◆ SEPACOUPLINGCUTS

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::SEPACOUPLINGCUTS { "constraints/indicator/sepacouplingcuts" }

constexpr

Should the coupling inequalities be separated dynamically?

Definition at line 1117 of file parameters.hpp.

◆ SEPACOUPLINGLOCAL

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::SEPACOUPLINGLOCAL { "constraints/indicator/sepacouplinglocal" }

constexpr

Allow to use local bounds in order to separate coupling inequalities?

Definition at line 1119 of file parameters.hpp.

◆ SEPACOUPLINGVALUE

constexpr Param<double> scippp::params::CONSTRAINTS::INDICATOR::SEPACOUPLINGVALUE { "constraints/indicator/sepacouplingvalue" }

constexpr

maximum coefficient for binary variable in separated coupling constraint

Definition at line 1121 of file parameters.hpp.

◆ SEPAFREQ

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

constexpr

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

Definition at line 1090 of file parameters.hpp.

◆ SEPAPERSPECTIVE

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::SEPAPERSPECTIVE { "constraints/indicator/sepaperspective" }

constexpr

Separate cuts based on perspective formulation?

Definition at line 1123 of file parameters.hpp.

◆ SEPAPERSPLOCAL

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::SEPAPERSPLOCAL { "constraints/indicator/sepapersplocal" }

constexpr

Allow to use local bounds in order to separate perspective cuts?

Definition at line 1125 of file parameters.hpp.

◆ TRYSOLFROMCOVER

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::TRYSOLFROMCOVER { "constraints/indicator/trysolfromcover" }

constexpr

Try to construct a feasible solution from a cover?

Definition at line 1160 of file parameters.hpp.

◆ TRYSOLUTIONS

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::TRYSOLUTIONS { "constraints/indicator/trysolutions" }

constexpr

Try to make solutions feasible by setting indicator variables?

Definition at line 1144 of file parameters.hpp.

◆ UPDATEBOUNDS

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::UPDATEBOUNDS { "constraints/indicator/updatebounds" }

constexpr

Update bounds of original variables for separation?

Definition at line 1129 of file parameters.hpp.

◆ UPGRADELINEAR

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::UPGRADELINEAR { "constraints/indicator/upgradelinear" }

constexpr

Try to upgrade linear constraints to indicator constraints?

Definition at line 1162 of file parameters.hpp.

◆ USEOBJECTIVECUT

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::USEOBJECTIVECUT { "constraints/indicator/useobjectivecut" }

constexpr

Use objective cut with current best solution to alternative LP?

Definition at line 1158 of file parameters.hpp.

◆ USEOTHERCONSS

constexpr Param<bool> scippp::params::CONSTRAINTS::INDICATOR::USEOTHERCONSS { "constraints/indicator/useotherconss" }

constexpr

Collect other constraints to alternative LP?

Definition at line 1156 of file parameters.hpp.

SCIP++ refs/heads/main

Variables

Detailed Description

Variable Documentation

◆ ADDCOUPLING

◆ ADDCOUPLINGCONS

◆ ADDOPPOSITE

◆ BRANCHINDICATORS

◆ CONFLICTSUPGRADE

◆ DELAYPROP

◆ DELAYSEPA

◆ DUALREDUCTIONS

◆ EAGERFREQ

◆ ENFORCECUTS

◆ FORCERESTART

◆ GENERATEBILINEAR

◆ GENLOGICOR

◆ MAXCONDITIONALTLP

◆ MAXCOUPLINGVALUE

◆ MAXPREROUNDS

◆ MAXSEPACUTS

◆ MAXSEPACUTSROOT

◆ MAXSEPANONVIOLATED

◆ NOLINCONSCONT

◆ PRESOLTIMING

◆ PROPFREQ

◆ PROPTIMING

◆ REMOVEINDICATORS

◆ RESTARTFRAC

◆ SCALESLACKVAR

◆ SEPAALTERNATIVELP

◆ SEPACOUPLINGCUTS

◆ SEPACOUPLINGLOCAL

◆ SEPACOUPLINGVALUE

◆ SEPAFREQ

◆ SEPAPERSPECTIVE

◆ SEPAPERSPLOCAL

◆ TRYSOLFROMCOVER

◆ TRYSOLUTIONS

◆ UPDATEBOUNDS

◆ UPGRADELINEAR

◆ USEOBJECTIVECUT

◆ USEOTHERCONSS