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

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

constexpr

should coefficient tightening be applied?

Definition at line 1049 of file parameters.hpp.

◆ CUTSASCONSS

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

constexpr

should the cumulative constraint create cuts as knapsack constraints?

Definition at line 1041 of file parameters.hpp.

◆ DELAYPROP

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

constexpr

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

Definition at line 1019 of file parameters.hpp.

◆ DELAYSEPA

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

constexpr

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

Definition at line 1017 of file parameters.hpp.

◆ DETECTDISJUNCTIVE

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

◆ DETECTVARBOUNDS

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

◆ DISJUNCTIVE

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

constexpr

extract disjunctive constraints?

Definition at line 1055 of file parameters.hpp.

◆ DUALPRESOLVE

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

constexpr

should dual presolving be applied?

Definition at line 1047 of file parameters.hpp.

◆ EAGERFREQ

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

◆ EFCHECK

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

constexpr

should edge-finding be used to detect an overload?

Definition at line 1025 of file parameters.hpp.

◆ EFINFER

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

constexpr

should edge-finding be used to infer bounds?

Definition at line 1027 of file parameters.hpp.

◆ FILLBRANCHCANDS

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

constexpr

should branching candidates be added to storage?

Definition at line 1045 of file parameters.hpp.

◆ LOCALCUTS

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

constexpr

should cuts be added only locally?

Definition at line 1037 of file parameters.hpp.

◆ MAXNODES

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

◆ MAXPREROUNDS

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

◆ NORMALIZE

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

constexpr

should demands and capacity be normalized?

Definition at line 1051 of file parameters.hpp.

◆ PRESOLPAIRWISE

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

constexpr

should pairwise constraint comparison be performed in presolving?

Definition at line 1053 of file parameters.hpp.

◆ PRESOLTIMING

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

◆ PROPFREQ

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

◆ PROPTIMING

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

◆ SEPAFREQ

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

◆ SEPAOLD

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

constexpr

shall old sepa algo be applied?

Definition at line 1043 of file parameters.hpp.

◆ TTEFCHECK

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

◆ TTEFINFER

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

constexpr

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

Definition at line 1033 of file parameters.hpp.

◆ TTINFER

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

◆ USEADJUSTEDJOBS

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

constexpr

should edge-finding be executed?

Definition at line 1029 of file parameters.hpp.

◆ USEBDWIDENING

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

constexpr

should bound widening be used during the conflict analysis?

Definition at line 1063 of file parameters.hpp.

◆ USEBINVARS

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

constexpr

should the binary representation be used?

Definition at line 1035 of file parameters.hpp.

◆ USECOVERCUTS

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

constexpr

should covering cuts be added every node?

Definition at line 1039 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