Parameters with prefix propagating/obbt. More...

Variables
constexpr Param< bool >	APPLYFILTERROUNDS { "propagating/obbt/applyfilterrounds" }
	try to filter bounds in so-called filter rounds by solving auxiliary LPs?

constexpr Param< bool >	APPLYTRIVIALFILTER { "propagating/obbt/applytrivialfilter" }
	try to filter bounds with the LP solution after each solve?

constexpr Param< double >	BOUNDSTREPS { "propagating/obbt/boundstreps" }
	minimal relative improve for strengthening bounds

constexpr Param< double >	CONDITIONLIMIT { "propagating/obbt/conditionlimit" }
	maximum condition limit used in LP solver (-1.0: no limit)

constexpr Param< bool >	CREATEBILININEQS { "propagating/obbt/createbilinineqs" }
	solve auxiliary LPs in order to find valid inequalities for bilinear terms?

constexpr Param< bool >	CREATEGENVBOUNDS { "propagating/obbt/creategenvbounds" }
	should obbt try to provide genvbounds if possible?

constexpr Param< bool >	CREATELINCONS { "propagating/obbt/createlincons" }
	create linear constraints from inequalities for bilinear terms?

constexpr Param< bool >	DELAY { "propagating/obbt/delay" }
	should propagator be delayed, if other propagators found reductions?

constexpr Param< double >	DUALFEASTOL { "propagating/obbt/dualfeastol" }
	feasibility tolerance for reduced costs used in obbt; this value is used if SCIP's dual feastol is greater

constexpr Param< int >	FREQ { "propagating/obbt/freq" }
	frequency for calling propagator <obbt> (-1: never, 0: only in root node)

constexpr Param< bool >	GENVBDSDURINGFILTER { "propagating/obbt/genvbdsduringfilter" }
	should we try to generate genvbounds during trivial and aggressive filtering?

constexpr Param< bool >	GENVBDSDURINGSEPA { "propagating/obbt/genvbdsduringsepa" }
	try to create genvbounds during separation process?

constexpr Param< bool >	INDICATORS { "propagating/obbt/indicators" }
	apply obbt on variables of indicator constraints? (independent of convexity)

constexpr Param< double >	INDICATORTHRESHOLD { "propagating/obbt/indicatorthreshold" }
	threshold whether upper bounds of vars of indicator conss are considered or tightened

constexpr Param< double >	ITLIMITFACTOR { "propagating/obbt/itlimitfactor" }
	multiple of root node LP iterations used as total LP iteration limit for obbt (<= 0: no limit )

constexpr Param< double >	ITLIMITFACTORBILIN { "propagating/obbt/itlimitfactorbilin" }
	multiple of OBBT LP limit used as total LP iteration limit for solving bilinear inequality LPs (< 0 for no limit)

constexpr Param< int >	MAXPREROUNDS { "propagating/obbt/maxprerounds" }
	maximal number of presolving rounds the propagator participates in (-1: no limit)

constexpr Param< int >	MINFILTER { "propagating/obbt/minfilter" }
	minimal number of filtered bounds to apply another filter round

constexpr Param< long long >	MINITLIMIT { "propagating/obbt/minitlimit" }
	minimum LP iteration limit

constexpr Param< double >	MINNONCONVEXITY { "propagating/obbt/minnonconvexity" }
	minimum absolute value of nonconvex eigenvalues for a bilinear term

constexpr Param< bool >	NORMALIZE { "propagating/obbt/normalize" }
	should coefficients in filtering be normalized w.r.t. the domains sizes?

constexpr Param< bool >	ONLYNONCONVEXVARS { "propagating/obbt/onlynonconvexvars" }
	only apply obbt on non-convex variables

constexpr Param< int >	ORDERINGALGO { "propagating/obbt/orderingalgo" }
	select the type of ordering algorithm which should be used (0: no special ordering, 1: greedy, 2: greedy reverse)

constexpr Param< int >	PRESOLPRIORITY { "propagating/obbt/presolpriority" }
	presolving priority of propagator <obbt>

constexpr Param< int >	PRESOLTIMING { "propagating/obbt/presoltiming" }
	timing mask of the presolving method of propagator <obbt> (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)

constexpr Param< int >	PRIORITY { "propagating/obbt/priority" }
	priority of propagator <obbt>

constexpr Param< int >	PROPAGATEFREQ { "propagating/obbt/propagatefreq" }
	trigger a propagation round after that many bound tightenings (0: no propagation)

constexpr Param< int >	SEPAMAXITER { "propagating/obbt/sepamaxiter" }
	maximum number of iteration spend to separate an obbt LP solution

constexpr Param< int >	SEPAMINITER { "propagating/obbt/sepaminiter" }
	minimum number of iteration spend to separate an obbt LP solution

constexpr Param< bool >	SEPARATESOL { "propagating/obbt/separatesol" }
	should the obbt LP solution be separated?

constexpr Param< bool >	TIGHTCONTBOUNDSPROBING { "propagating/obbt/tightcontboundsprobing" }
	should continuous bounds be tightened during the probing mode?

constexpr Param< bool >	TIGHTINTBOUNDSPROBING { "propagating/obbt/tightintboundsprobing" }
	should integral bounds be tightened during the probing mode?

constexpr Param< int >	TIMINGMASK { "propagating/obbt/timingmask" }
	timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))

Detailed Description

Parameters with prefix propagating/obbt.

Variable Documentation

◆ APPLYFILTERROUNDS

Param<bool> scippp::params::PROPAGATING::OBBT::APPLYFILTERROUNDS { "propagating/obbt/applyfilterrounds" }

constexpr

try to filter bounds in so-called filter rounds by solving auxiliary LPs?

Definition at line 5520 of file parameters.hpp.

◆ APPLYTRIVIALFILTER

Param<bool> scippp::params::PROPAGATING::OBBT::APPLYTRIVIALFILTER { "propagating/obbt/applytrivialfilter" }

constexpr

try to filter bounds with the LP solution after each solve?

Definition at line 5522 of file parameters.hpp.

◆ BOUNDSTREPS

Param<double> scippp::params::PROPAGATING::OBBT::BOUNDSTREPS { "propagating/obbt/boundstreps" }

constexpr

minimal relative improve for strengthening bounds

Definition at line 5543 of file parameters.hpp.

◆ CONDITIONLIMIT

Param<double> scippp::params::PROPAGATING::OBBT::CONDITIONLIMIT { "propagating/obbt/conditionlimit" }

constexpr

maximum condition limit used in LP solver (-1.0: no limit)

Definition at line 5541 of file parameters.hpp.

◆ CREATEBILININEQS

Param<bool> scippp::params::PROPAGATING::OBBT::CREATEBILININEQS { "propagating/obbt/createbilinineqs" }

constexpr

solve auxiliary LPs in order to find valid inequalities for bilinear terms?

Definition at line 5555 of file parameters.hpp.

◆ CREATEGENVBOUNDS

Param<bool> scippp::params::PROPAGATING::OBBT::CREATEGENVBOUNDS { "propagating/obbt/creategenvbounds" }

constexpr

should obbt try to provide genvbounds if possible?

Definition at line 5516 of file parameters.hpp.

◆ CREATELINCONS

Param<bool> scippp::params::PROPAGATING::OBBT::CREATELINCONS { "propagating/obbt/createlincons" }

constexpr

create linear constraints from inequalities for bilinear terms?

Definition at line 5557 of file parameters.hpp.

◆ DELAY

Param<bool> scippp::params::PROPAGATING::OBBT::DELAY { "propagating/obbt/delay" }

constexpr

should propagator be delayed, if other propagators found reductions?

Definition at line 5506 of file parameters.hpp.

◆ DUALFEASTOL

Param<double> scippp::params::PROPAGATING::OBBT::DUALFEASTOL { "propagating/obbt/dualfeastol" }

constexpr

feasibility tolerance for reduced costs used in obbt; this value is used if SCIP's dual feastol is greater

Definition at line 5539 of file parameters.hpp.

◆ FREQ

Param<int> scippp::params::PROPAGATING::OBBT::FREQ { "propagating/obbt/freq" }

constexpr

frequency for calling propagator <obbt> (-1: never, 0: only in root node)

Definition at line 5504 of file parameters.hpp.

◆ GENVBDSDURINGFILTER

Param<bool> scippp::params::PROPAGATING::OBBT::GENVBDSDURINGFILTER { "propagating/obbt/genvbdsduringfilter" }

constexpr

should we try to generate genvbounds during trivial and aggressive filtering?

Definition at line 5524 of file parameters.hpp.

◆ GENVBDSDURINGSEPA

Param<bool> scippp::params::PROPAGATING::OBBT::GENVBDSDURINGSEPA { "propagating/obbt/genvbdsduringsepa" }

constexpr

try to create genvbounds during separation process?

Definition at line 5526 of file parameters.hpp.

◆ INDICATORS

Param<bool> scippp::params::PROPAGATING::OBBT::INDICATORS { "propagating/obbt/indicators" }

constexpr

apply obbt on variables of indicator constraints? (independent of convexity)

Definition at line 5549 of file parameters.hpp.

◆ INDICATORTHRESHOLD

Param<double> scippp::params::PROPAGATING::OBBT::INDICATORTHRESHOLD { "propagating/obbt/indicatorthreshold" }

constexpr

threshold whether upper bounds of vars of indicator conss are considered or tightened

Definition at line 5545 of file parameters.hpp.

◆ ITLIMITFACTOR

Param<double> scippp::params::PROPAGATING::OBBT::ITLIMITFACTOR { "propagating/obbt/itlimitfactor" }

constexpr

multiple of root node LP iterations used as total LP iteration limit for obbt (<= 0: no limit )

Definition at line 5530 of file parameters.hpp.

◆ ITLIMITFACTORBILIN

Param<double> scippp::params::PROPAGATING::OBBT::ITLIMITFACTORBILIN { "propagating/obbt/itlimitfactorbilin" }

constexpr

multiple of OBBT LP limit used as total LP iteration limit for solving bilinear inequality LPs (< 0 for no limit)

Definition at line 5533 of file parameters.hpp.

◆ MAXPREROUNDS

Param<int> scippp::params::PROPAGATING::OBBT::MAXPREROUNDS { "propagating/obbt/maxprerounds" }

constexpr

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

Definition at line 5512 of file parameters.hpp.

◆ MINFILTER

Param<int> scippp::params::PROPAGATING::OBBT::MINFILTER { "propagating/obbt/minfilter" }

constexpr

minimal number of filtered bounds to apply another filter round

Definition at line 5528 of file parameters.hpp.

◆ MINITLIMIT

Param<long long> scippp::params::PROPAGATING::OBBT::MINITLIMIT { "propagating/obbt/minitlimit" }

constexpr

minimum LP iteration limit

Definition at line 5537 of file parameters.hpp.

◆ MINNONCONVEXITY

Param<double> scippp::params::PROPAGATING::OBBT::MINNONCONVEXITY { "propagating/obbt/minnonconvexity" }

constexpr

minimum absolute value of nonconvex eigenvalues for a bilinear term

Definition at line 5535 of file parameters.hpp.

◆ NORMALIZE

Param<bool> scippp::params::PROPAGATING::OBBT::NORMALIZE { "propagating/obbt/normalize" }

constexpr

should coefficients in filtering be normalized w.r.t. the domains sizes?

Definition at line 5518 of file parameters.hpp.

◆ ONLYNONCONVEXVARS

Param<bool> scippp::params::PROPAGATING::OBBT::ONLYNONCONVEXVARS { "propagating/obbt/onlynonconvexvars" }

constexpr

only apply obbt on non-convex variables

Definition at line 5547 of file parameters.hpp.

◆ ORDERINGALGO

Param<int> scippp::params::PROPAGATING::OBBT::ORDERINGALGO { "propagating/obbt/orderingalgo" }

constexpr

select the type of ordering algorithm which should be used (0: no special ordering, 1: greedy, 2: greedy reverse)

Definition at line 5560 of file parameters.hpp.

◆ PRESOLPRIORITY

Param<int> scippp::params::PROPAGATING::OBBT::PRESOLPRIORITY { "propagating/obbt/presolpriority" }

constexpr

presolving priority of propagator <obbt>

Definition at line 5510 of file parameters.hpp.

◆ PRESOLTIMING

Param<int> scippp::params::PROPAGATING::OBBT::PRESOLTIMING { "propagating/obbt/presoltiming" }

constexpr

timing mask of the presolving method of propagator <obbt> (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)

Definition at line 5514 of file parameters.hpp.

◆ PRIORITY

Param<int> scippp::params::PROPAGATING::OBBT::PRIORITY { "propagating/obbt/priority" }

constexpr

priority of propagator <obbt>

Definition at line 5502 of file parameters.hpp.

◆ PROPAGATEFREQ

Param<int> scippp::params::PROPAGATING::OBBT::PROPAGATEFREQ { "propagating/obbt/propagatefreq" }

constexpr

trigger a propagation round after that many bound tightenings (0: no propagation)

Definition at line 5568 of file parameters.hpp.

◆ SEPAMAXITER

Param<int> scippp::params::PROPAGATING::OBBT::SEPAMAXITER { "propagating/obbt/sepamaxiter" }

constexpr

maximum number of iteration spend to separate an obbt LP solution

Definition at line 5566 of file parameters.hpp.

◆ SEPAMINITER

Param<int> scippp::params::PROPAGATING::OBBT::SEPAMINITER { "propagating/obbt/sepaminiter" }

constexpr

minimum number of iteration spend to separate an obbt LP solution

Definition at line 5564 of file parameters.hpp.

◆ SEPARATESOL

Param<bool> scippp::params::PROPAGATING::OBBT::SEPARATESOL { "propagating/obbt/separatesol" }

constexpr

should the obbt LP solution be separated?

Definition at line 5562 of file parameters.hpp.

◆ TIGHTCONTBOUNDSPROBING

Param<bool> scippp::params::PROPAGATING::OBBT::TIGHTCONTBOUNDSPROBING { "propagating/obbt/tightcontboundsprobing" }

constexpr

should continuous bounds be tightened during the probing mode?

Definition at line 5553 of file parameters.hpp.

◆ TIGHTINTBOUNDSPROBING

Param<bool> scippp::params::PROPAGATING::OBBT::TIGHTINTBOUNDSPROBING { "propagating/obbt/tightintboundsprobing" }

constexpr

should integral bounds be tightened during the probing mode?

Definition at line 5551 of file parameters.hpp.

◆ TIMINGMASK

Param<int> scippp::params::PROPAGATING::OBBT::TIMINGMASK { "propagating/obbt/timingmask" }

constexpr

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

Definition at line 5508 of file parameters.hpp.

SCIP++ refs/heads/main

Variables

Detailed Description

Variable Documentation

◆ APPLYFILTERROUNDS

◆ APPLYTRIVIALFILTER

◆ BOUNDSTREPS

◆ CONDITIONLIMIT

◆ CREATEBILININEQS

◆ CREATEGENVBOUNDS

◆ CREATELINCONS

◆ DELAY

◆ DUALFEASTOL

◆ FREQ

◆ GENVBDSDURINGFILTER

◆ GENVBDSDURINGSEPA

◆ INDICATORS

◆ INDICATORTHRESHOLD

◆ ITLIMITFACTOR

◆ ITLIMITFACTORBILIN

◆ MAXPREROUNDS

◆ MINFILTER

◆ MINITLIMIT

◆ MINNONCONVEXITY

◆ NORMALIZE

◆ ONLYNONCONVEXVARS

◆ ORDERINGALGO

◆ PRESOLPRIORITY

◆ PRESOLTIMING

◆ PRIORITY

◆ PROPAGATEFREQ

◆ SEPAMAXITER

◆ SEPAMINITER

◆ SEPARATESOL

◆ TIGHTCONTBOUNDSPROBING

◆ TIGHTINTBOUNDSPROBING

◆ TIMINGMASK