scippp::params::CONSTRAINTS::LOGICOR Namespace Reference

Parameters with prefix constraints/logicor. More...

Variables
constexpr Param< bool >	DELAYPROP { "constraints/logicor/delayprop" }
	should propagation method be delayed, if other propagators found reductions?
constexpr Param< bool >	DELAYSEPA { "constraints/logicor/delaysepa" }
	should separation method be delayed, if other separators found cuts?
constexpr Param< bool >	DUALPRESOLVING { "constraints/logicor/dualpresolving" }
	should dual presolving steps be performed?
constexpr Param< int >	EAGERFREQ { "constraints/logicor/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 >	IMPLICATIONS { "constraints/logicor/implications" }
	should implications/cliques be used in presolving
constexpr Param< int >	MAXPREROUNDS { "constraints/logicor/maxprerounds" }
	maximal number of presolving rounds the constraint handler participates in (-1: no limit)
constexpr Param< bool >	NEGATEDCLIQUE { "constraints/logicor/negatedclique" }
	should negated clique information be used in presolving
constexpr Param< bool >	PRESOLPAIRWISE { "constraints/logicor/presolpairwise" }
	should pairwise constraint comparison be performed in presolving?
constexpr Param< int >	PRESOLTIMING { "constraints/logicor/presoltiming" }
	timing mask of the constraint handler's presolving method (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)
constexpr Param< bool >	PRESOLUSEHASHING { "constraints/logicor/presolusehashing" }
	should hash table be used for detecting redundant constraints in advance
constexpr Param< int >	PROPFREQ { "constraints/logicor/propfreq" }
	frequency for propagating domains (-1: never, 0: only in root node)
constexpr Param< int >	PROPTIMING { "constraints/logicor/proptiming" }
	timing when constraint propagation should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS)
constexpr Param< int >	SEPAFREQ { "constraints/logicor/sepafreq" }
	frequency for separating cuts (-1: never, 0: only in root node)
constexpr Param< bool >	STRENGTHEN { "constraints/logicor/strengthen" }
	should pairwise constraint comparison try to strengthen constraints by removing superflous non-zeros?

Detailed Description

Parameters with prefix constraints/logicor.

Variable Documentation

DELAYPROP

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

constexpr

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

Definition at line 1391 of file parameters.hpp.

DELAYSEPA

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

constexpr

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

Definition at line 1389 of file parameters.hpp.

DUALPRESOLVING

constexpr Param<bool> scippp::params::CONSTRAINTS::LOGICOR::DUALPRESOLVING { "constraints/logicor/dualpresolving" }

constexpr

should dual presolving steps be performed?

Definition at line 1399 of file parameters.hpp.

EAGERFREQ

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

IMPLICATIONS

constexpr Param<bool> scippp::params::CONSTRAINTS::LOGICOR::IMPLICATIONS { "constraints/logicor/implications" }

constexpr

should implications/cliques be used in presolving

Definition at line 1403 of file parameters.hpp.

MAXPREROUNDS

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

constexpr

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

Definition at line 1387 of file parameters.hpp.

NEGATEDCLIQUE

constexpr Param<bool> scippp::params::CONSTRAINTS::LOGICOR::NEGATEDCLIQUE { "constraints/logicor/negatedclique" }

constexpr

should negated clique information be used in presolving

Definition at line 1401 of file parameters.hpp.

PRESOLPAIRWISE

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

constexpr

should pairwise constraint comparison be performed in presolving?

Definition at line 1395 of file parameters.hpp.

PRESOLTIMING

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

constexpr

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

Definition at line 1393 of file parameters.hpp.

PRESOLUSEHASHING

constexpr Param<bool> scippp::params::CONSTRAINTS::LOGICOR::PRESOLUSEHASHING { "constraints/logicor/presolusehashing" }

constexpr

should hash table be used for detecting redundant constraints in advance

Definition at line 1397 of file parameters.hpp.

PROPFREQ

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

constexpr

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

Definition at line 1380 of file parameters.hpp.

PROPTIMING

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

constexpr

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

Definition at line 1382 of file parameters.hpp.

SEPAFREQ

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

constexpr

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

Definition at line 1378 of file parameters.hpp.

STRENGTHEN

constexpr Param<bool> scippp::params::CONSTRAINTS::LOGICOR::STRENGTHEN { "constraints/logicor/strengthen" }

constexpr

should pairwise constraint comparison try to strengthen constraints by removing superflous non-zeros?

Definition at line 1405 of file parameters.hpp.