scippp::params::PROPAGATING::VBOUNDS Namespace Reference

Parameters with prefix propagating/vbounds. More...

Variables
constexpr Param< bool >	DELAY { "propagating/vbounds/delay" }
	should propagator be delayed, if other propagators found reductions?
constexpr Param< bool >	DETECTCYCLES { "propagating/vbounds/detectcycles" }
	should cycles in the variable bound graph be identified?
constexpr Param< bool >	DOTOPOSORT { "propagating/vbounds/dotoposort" }
	should the bounds be topologically sorted in advance?
constexpr Param< int >	FREQ { "propagating/vbounds/freq" }
	frequency for calling propagator <vbounds> (-1: never, 0: only in root node)
constexpr Param< double >	MAXCLIQUESEXHAUSTIVE { "propagating/vbounds/maxcliquesexhaustive" }
	maximum number of cliques per variable to run clique table analysis in exhaustive presolving
constexpr Param< double >	MAXCLIQUESMEDIUM { "propagating/vbounds/maxcliquesmedium" }
	maximum number of cliques per variable to run clique table analysis in medium presolving
constexpr Param< int >	MAXPREROUNDS { "propagating/vbounds/maxprerounds" }
	maximal number of presolving rounds the propagator participates in (-1: no limit)
constexpr Param< double >	MINNEWCLIQUES { "propagating/vbounds/minnewcliques" }
	minimum percentage of new cliques to trigger another clique table analysis
constexpr Param< int >	PRESOLPRIORITY { "propagating/vbounds/presolpriority" }
	presolving priority of propagator <vbounds>
constexpr Param< int >	PRESOLTIMING { "propagating/vbounds/presoltiming" }
	timing mask of the presolving method of propagator <vbounds> (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)
constexpr Param< int >	PRIORITY { "propagating/vbounds/priority" }
	priority of propagator <vbounds>
constexpr Param< bool >	SORTCLIQUES { "propagating/vbounds/sortcliques" }
	should cliques be regarded for the topological sort?
constexpr Param< int >	TIMINGMASK { "propagating/vbounds/timingmask" }
	timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
constexpr Param< bool >	USEBDWIDENING { "propagating/vbounds/usebdwidening" }
	should bound widening be used to initialize conflict analysis?
constexpr Param< bool >	USECLIQUES { "propagating/vbounds/usecliques" }
	should cliques be propagated?
constexpr Param< bool >	USEIMPLICS { "propagating/vbounds/useimplics" }
	should implications be propagated?
constexpr Param< bool >	USEVBOUNDS { "propagating/vbounds/usevbounds" }
	should vbounds be propagated?

Detailed Description

Parameters with prefix propagating/vbounds.

Variable Documentation

DELAY

constexpr Param<bool> scippp::params::PROPAGATING::VBOUNDS::DELAY { "propagating/vbounds/delay" }

constexpr

should propagator be delayed, if other propagators found reductions?

Definition at line 5339 of file parameters.hpp.

DETECTCYCLES

constexpr Param<bool> scippp::params::PROPAGATING::VBOUNDS::DETECTCYCLES { "propagating/vbounds/detectcycles" }

constexpr

should cycles in the variable bound graph be identified?

Definition at line 5361 of file parameters.hpp.

DOTOPOSORT

constexpr Param<bool> scippp::params::PROPAGATING::VBOUNDS::DOTOPOSORT { "propagating/vbounds/dotoposort" }

constexpr

should the bounds be topologically sorted in advance?

Definition at line 5357 of file parameters.hpp.

FREQ

constexpr Param<int> scippp::params::PROPAGATING::VBOUNDS::FREQ { "propagating/vbounds/freq" }

constexpr

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

Definition at line 5337 of file parameters.hpp.

MAXCLIQUESEXHAUSTIVE

constexpr Param<double> scippp::params::PROPAGATING::VBOUNDS::MAXCLIQUESEXHAUSTIVE { "propagating/vbounds/maxcliquesexhaustive" }

constexpr

maximum number of cliques per variable to run clique table analysis in exhaustive presolving

Definition at line 5367 of file parameters.hpp.

MAXCLIQUESMEDIUM

constexpr Param<double> scippp::params::PROPAGATING::VBOUNDS::MAXCLIQUESMEDIUM { "propagating/vbounds/maxcliquesmedium" }

constexpr

maximum number of cliques per variable to run clique table analysis in medium presolving

Definition at line 5365 of file parameters.hpp.

MAXPREROUNDS

constexpr Param<int> scippp::params::PROPAGATING::VBOUNDS::MAXPREROUNDS { "propagating/vbounds/maxprerounds" }

constexpr

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

Definition at line 5345 of file parameters.hpp.

MINNEWCLIQUES

constexpr Param<double> scippp::params::PROPAGATING::VBOUNDS::MINNEWCLIQUES { "propagating/vbounds/minnewcliques" }

constexpr

minimum percentage of new cliques to trigger another clique table analysis

Definition at line 5363 of file parameters.hpp.

PRESOLPRIORITY

constexpr Param<int> scippp::params::PROPAGATING::VBOUNDS::PRESOLPRIORITY { "propagating/vbounds/presolpriority" }

constexpr

presolving priority of propagator <vbounds>

Definition at line 5343 of file parameters.hpp.

PRESOLTIMING

constexpr Param<int> scippp::params::PROPAGATING::VBOUNDS::PRESOLTIMING { "propagating/vbounds/presoltiming" }

constexpr

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

Definition at line 5347 of file parameters.hpp.

PRIORITY

constexpr Param<int> scippp::params::PROPAGATING::VBOUNDS::PRIORITY { "propagating/vbounds/priority" }

constexpr

priority of propagator <vbounds>

Definition at line 5335 of file parameters.hpp.

SORTCLIQUES

constexpr Param<bool> scippp::params::PROPAGATING::VBOUNDS::SORTCLIQUES { "propagating/vbounds/sortcliques" }

constexpr

should cliques be regarded for the topological sort?

Definition at line 5359 of file parameters.hpp.

TIMINGMASK

constexpr Param<int> scippp::params::PROPAGATING::VBOUNDS::TIMINGMASK { "propagating/vbounds/timingmask" }

constexpr

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

Definition at line 5341 of file parameters.hpp.

USEBDWIDENING

constexpr Param<bool> scippp::params::PROPAGATING::VBOUNDS::USEBDWIDENING { "propagating/vbounds/usebdwidening" }

constexpr

should bound widening be used to initialize conflict analysis?

Definition at line 5349 of file parameters.hpp.

USECLIQUES

constexpr Param<bool> scippp::params::PROPAGATING::VBOUNDS::USECLIQUES { "propagating/vbounds/usecliques" }

constexpr

should cliques be propagated?

Definition at line 5353 of file parameters.hpp.

USEIMPLICS

constexpr Param<bool> scippp::params::PROPAGATING::VBOUNDS::USEIMPLICS { "propagating/vbounds/useimplics" }

constexpr

should implications be propagated?

Definition at line 5351 of file parameters.hpp.

USEVBOUNDS

constexpr Param<bool> scippp::params::PROPAGATING::VBOUNDS::USEVBOUNDS { "propagating/vbounds/usevbounds" }

constexpr

should vbounds be propagated?

Definition at line 5355 of file parameters.hpp.