Parameters with prefix constraints/cumulative. More...

Variables
constexpr Param< bool >	COEFTIGHTENING { "constraints/cumulative/coeftightening" }
	should coefficient tightening be applied?

constexpr Param< bool >	CUTSASCONSS { "constraints/cumulative/cutsasconss" }
	should the cumulative constraint create cuts as knapsack constraints?

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

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

constexpr Param< bool >	DETECTDISJUNCTIVE { "constraints/cumulative/detectdisjunctive" }
	search for conflict set via maximal cliques to detect disjunctive constraints

constexpr Param< bool >	DETECTVARBOUNDS { "constraints/cumulative/detectvarbounds" }
	search for conflict set via maximal cliques to detect variable bound constraints

constexpr Param< bool >	DISJUNCTIVE { "constraints/cumulative/disjunctive" }
	extract disjunctive constraints?

constexpr Param< bool >	DUALPRESOLVE { "constraints/cumulative/dualpresolve" }
	should dual presolving be applied?

constexpr Param< int >	EAGERFREQ { "constraints/cumulative/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 >	EFCHECK { "constraints/cumulative/efcheck" }
	should edge-finding be used to detect an overload?

constexpr Param< bool >	EFINFER { "constraints/cumulative/efinfer" }
	should edge-finding be used to infer bounds?

constexpr Param< bool >	FILLBRANCHCANDS { "constraints/cumulative/fillbranchcands" }
	should branching candidates be added to storage?

constexpr Param< bool >	LOCALCUTS { "constraints/cumulative/localcuts" }
	should cuts be added only locally?

constexpr Param< long long >	MAXNODES { "constraints/cumulative/maxnodes" }
	number of branch-and-bound nodes to solve an independent cumulative constraint (-1: no limit)?

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

constexpr Param< bool >	NORMALIZE { "constraints/cumulative/normalize" }
	should demands and capacity be normalized?

constexpr Param< bool >	PRESOLPAIRWISE { "constraints/cumulative/presolpairwise" }
	should pairwise constraint comparison be performed in presolving?

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

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

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

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

constexpr Param< bool >	SEPAOLD { "constraints/cumulative/sepaold" }
	shall old sepa algo be applied?

constexpr Param< bool >	TTEFCHECK { "constraints/cumulative/ttefcheck" }
	should time-table edge-finding be used to detect an overload?

constexpr Param< bool >	TTEFINFER { "constraints/cumulative/ttefinfer" }
	should time-table edge-finding be used to infer bounds?

constexpr Param< bool >	TTINFER { "constraints/cumulative/ttinfer" }
	should time-table (core-times) propagator be used to infer bounds?

constexpr Param< bool >	USEADJUSTEDJOBS { "constraints/cumulative/useadjustedjobs" }
	should edge-finding be executed?

constexpr Param< bool >	USEBDWIDENING { "constraints/cumulative/usebdwidening" }
	should bound widening be used during the conflict analysis?

constexpr Param< bool >	USEBINVARS { "constraints/cumulative/usebinvars" }
	should the binary representation be used?

constexpr Param< bool >	USECOVERCUTS { "constraints/cumulative/usecovercuts" }
	should covering cuts be added every node?

Detailed Description

Parameters with prefix constraints/cumulative.

Variable Documentation

◆ COEFTIGHTENING

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::COEFTIGHTENING { "constraints/cumulative/coeftightening" }

constexpr

should coefficient tightening be applied?

Definition at line 1084 of file parameters.hpp.

◆ CUTSASCONSS

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::CUTSASCONSS { "constraints/cumulative/cutsasconss" }

constexpr

should the cumulative constraint create cuts as knapsack constraints?

Definition at line 1076 of file parameters.hpp.

◆ DELAYPROP

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::DELAYPROP { "constraints/cumulative/delayprop" }

constexpr

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

Definition at line 1054 of file parameters.hpp.

◆ DELAYSEPA

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::DELAYSEPA { "constraints/cumulative/delaysepa" }

constexpr

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

Definition at line 1052 of file parameters.hpp.

◆ DETECTDISJUNCTIVE

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::DETECTDISJUNCTIVE { "constraints/cumulative/detectdisjunctive" }

constexpr

search for conflict set via maximal cliques to detect disjunctive constraints

Definition at line 1094 of file parameters.hpp.

◆ DETECTVARBOUNDS

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::DETECTVARBOUNDS { "constraints/cumulative/detectvarbounds" }

constexpr

search for conflict set via maximal cliques to detect variable bound constraints

Definition at line 1096 of file parameters.hpp.

◆ DISJUNCTIVE

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::DISJUNCTIVE { "constraints/cumulative/disjunctive" }

constexpr

extract disjunctive constraints?

Definition at line 1090 of file parameters.hpp.

◆ DUALPRESOLVE

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::DUALPRESOLVE { "constraints/cumulative/dualpresolve" }

constexpr

should dual presolving be applied?

Definition at line 1082 of file parameters.hpp.

◆ EAGERFREQ

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

◆ EFCHECK

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::EFCHECK { "constraints/cumulative/efcheck" }

constexpr

should edge-finding be used to detect an overload?

Definition at line 1060 of file parameters.hpp.

◆ EFINFER

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::EFINFER { "constraints/cumulative/efinfer" }

constexpr

should edge-finding be used to infer bounds?

Definition at line 1062 of file parameters.hpp.

◆ FILLBRANCHCANDS

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::FILLBRANCHCANDS { "constraints/cumulative/fillbranchcands" }

constexpr

should branching candidates be added to storage?

Definition at line 1080 of file parameters.hpp.

◆ LOCALCUTS

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::LOCALCUTS { "constraints/cumulative/localcuts" }

constexpr

should cuts be added only locally?

Definition at line 1072 of file parameters.hpp.

◆ MAXNODES

Param<long long> scippp::params::CONSTRAINTS::CUMULATIVE::MAXNODES { "constraints/cumulative/maxnodes" }

constexpr

number of branch-and-bound nodes to solve an independent cumulative constraint (-1: no limit)?

Definition at line 1092 of file parameters.hpp.

◆ MAXPREROUNDS

Param<int> scippp::params::CONSTRAINTS::CUMULATIVE::MAXPREROUNDS { "constraints/cumulative/maxprerounds" }

constexpr

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

Definition at line 1050 of file parameters.hpp.

◆ NORMALIZE

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::NORMALIZE { "constraints/cumulative/normalize" }

constexpr

should demands and capacity be normalized?

Definition at line 1086 of file parameters.hpp.

◆ PRESOLPAIRWISE

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::PRESOLPAIRWISE { "constraints/cumulative/presolpairwise" }

constexpr

should pairwise constraint comparison be performed in presolving?

Definition at line 1088 of file parameters.hpp.

◆ PRESOLTIMING

Param<int> scippp::params::CONSTRAINTS::CUMULATIVE::PRESOLTIMING { "constraints/cumulative/presoltiming" }

constexpr

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

Definition at line 1056 of file parameters.hpp.

◆ PROPFREQ

Param<int> scippp::params::CONSTRAINTS::CUMULATIVE::PROPFREQ { "constraints/cumulative/propfreq" }

constexpr

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

Definition at line 1043 of file parameters.hpp.

◆ PROPTIMING

Param<int> scippp::params::CONSTRAINTS::CUMULATIVE::PROPTIMING { "constraints/cumulative/proptiming" }

constexpr

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

Definition at line 1045 of file parameters.hpp.

◆ SEPAFREQ

Param<int> scippp::params::CONSTRAINTS::CUMULATIVE::SEPAFREQ { "constraints/cumulative/sepafreq" }

constexpr

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

Definition at line 1041 of file parameters.hpp.

◆ SEPAOLD

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::SEPAOLD { "constraints/cumulative/sepaold" }

constexpr

shall old sepa algo be applied?

Definition at line 1078 of file parameters.hpp.

◆ TTEFCHECK

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::TTEFCHECK { "constraints/cumulative/ttefcheck" }

constexpr

should time-table edge-finding be used to detect an overload?

Definition at line 1066 of file parameters.hpp.

◆ TTEFINFER

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::TTEFINFER { "constraints/cumulative/ttefinfer" }

constexpr

should time-table edge-finding be used to infer bounds?

Definition at line 1068 of file parameters.hpp.

◆ TTINFER

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::TTINFER { "constraints/cumulative/ttinfer" }

constexpr

should time-table (core-times) propagator be used to infer bounds?

Definition at line 1058 of file parameters.hpp.

◆ USEADJUSTEDJOBS

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::USEADJUSTEDJOBS { "constraints/cumulative/useadjustedjobs" }

constexpr

should edge-finding be executed?

Definition at line 1064 of file parameters.hpp.

◆ USEBDWIDENING

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::USEBDWIDENING { "constraints/cumulative/usebdwidening" }

constexpr

should bound widening be used during the conflict analysis?

Definition at line 1098 of file parameters.hpp.

◆ USEBINVARS

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::USEBINVARS { "constraints/cumulative/usebinvars" }

constexpr

should the binary representation be used?

Definition at line 1070 of file parameters.hpp.

◆ USECOVERCUTS

Param<bool> scippp::params::CONSTRAINTS::CUMULATIVE::USECOVERCUTS { "constraints/cumulative/usecovercuts" }

constexpr

should covering cuts be added every node?

Definition at line 1074 of file parameters.hpp.

SCIP++ refs/heads/main

Variables

Detailed Description

Variable Documentation

◆ COEFTIGHTENING

◆ CUTSASCONSS

◆ DELAYPROP

◆ DELAYSEPA

◆ DETECTDISJUNCTIVE

◆ DETECTVARBOUNDS

◆ DISJUNCTIVE

◆ DUALPRESOLVE

◆ EAGERFREQ

◆ EFCHECK

◆ EFINFER

◆ FILLBRANCHCANDS

◆ LOCALCUTS

◆ MAXNODES

◆ MAXPREROUNDS

◆ NORMALIZE

◆ PRESOLPAIRWISE

◆ PRESOLTIMING

◆ PROPFREQ

◆ PROPTIMING

◆ SEPAFREQ

◆ SEPAOLD

◆ TTEFCHECK

◆ TTEFINFER

◆ TTINFER

◆ USEADJUSTEDJOBS

◆ USEBDWIDENING

◆ USEBINVARS

◆ USECOVERCUTS