scippp::params::CONSTRAINTS::PSEUDOBOOLEAN Namespace Reference

Parameters with prefix constraints/pseudoboolean. More...

Variables
constexpr Param< bool >	DECOMPOSEINDICATOR { "constraints/pseudoboolean/decomposeindicator" }
	decompose all indicator pseudo boolean constraint into a "linear" constraint and "and" constraints
constexpr Param< bool >	DECOMPOSENORMAL { "constraints/pseudoboolean/decomposenormal" }
	decompose all normal pseudo boolean constraint into a "linear" constraint and "and" constraints
constexpr Param< bool >	DELAYPROP { "constraints/pseudoboolean/delayprop" }
	should propagation method be delayed, if other propagators found reductions?
constexpr Param< bool >	DELAYSEPA { "constraints/pseudoboolean/delaysepa" }
	should separation method be delayed, if other separators found cuts?
constexpr Param< int >	EAGERFREQ { "constraints/pseudoboolean/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< int >	MAXPREROUNDS { "constraints/pseudoboolean/maxprerounds" }
	maximal number of presolving rounds the constraint handler participates in (-1: no limit)
constexpr Param< bool >	NLCPROPAGATE { "constraints/pseudoboolean/nlcpropagate" }
	should the nonlinear constraints be propagated during node processing?
constexpr Param< bool >	NLCREMOVABLE { "constraints/pseudoboolean/nlcremovable" }
	should the nonlinear constraints be removable?
constexpr Param< bool >	NLCSEPARATE { "constraints/pseudoboolean/nlcseparate" }
	should the nonlinear constraints be separated during LP processing?
constexpr Param< int >	PRESOLTIMING { "constraints/pseudoboolean/presoltiming" }
	timing mask of the constraint handler's presolving method (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)
constexpr Param< int >	PROPFREQ { "constraints/pseudoboolean/propfreq" }
	frequency for propagating domains (-1: never, 0: only in root node)
constexpr Param< int >	PROPTIMING { "constraints/pseudoboolean/proptiming" }
	timing when constraint propagation should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS)
constexpr Param< int >	SEPAFREQ { "constraints/pseudoboolean/sepafreq" }
	frequency for separating cuts (-1: never, 0: only in root node)

Detailed Description

Parameters with prefix constraints/pseudoboolean.

Variable Documentation

DECOMPOSEINDICATOR

constexpr Param<bool> scippp::params::CONSTRAINTS::PSEUDOBOOLEAN::DECOMPOSEINDICATOR { "constraints/pseudoboolean/decomposeindicator" }

constexpr

decompose all indicator pseudo boolean constraint into a "linear" constraint and "and" constraints

Definition at line 1624 of file parameters.hpp.

DECOMPOSENORMAL

constexpr Param<bool> scippp::params::CONSTRAINTS::PSEUDOBOOLEAN::DECOMPOSENORMAL { "constraints/pseudoboolean/decomposenormal" }

constexpr

decompose all normal pseudo boolean constraint into a "linear" constraint and "and" constraints

Definition at line 1622 of file parameters.hpp.

DELAYPROP

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

constexpr

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

Definition at line 1618 of file parameters.hpp.

DELAYSEPA

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

constexpr

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

Definition at line 1616 of file parameters.hpp.

EAGERFREQ

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

MAXPREROUNDS

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

constexpr

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

Definition at line 1614 of file parameters.hpp.

NLCPROPAGATE

constexpr Param<bool> scippp::params::CONSTRAINTS::PSEUDOBOOLEAN::NLCPROPAGATE { "constraints/pseudoboolean/nlcpropagate" }

constexpr

should the nonlinear constraints be propagated during node processing?

Definition at line 1628 of file parameters.hpp.

NLCREMOVABLE

constexpr Param<bool> scippp::params::CONSTRAINTS::PSEUDOBOOLEAN::NLCREMOVABLE { "constraints/pseudoboolean/nlcremovable" }

constexpr

should the nonlinear constraints be removable?

Definition at line 1630 of file parameters.hpp.

NLCSEPARATE

constexpr Param<bool> scippp::params::CONSTRAINTS::PSEUDOBOOLEAN::NLCSEPARATE { "constraints/pseudoboolean/nlcseparate" }

constexpr

should the nonlinear constraints be separated during LP processing?

Definition at line 1626 of file parameters.hpp.

PRESOLTIMING

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

constexpr

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

Definition at line 1620 of file parameters.hpp.

PROPFREQ

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

constexpr

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

Definition at line 1607 of file parameters.hpp.

PROPTIMING

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

constexpr

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

Definition at line 1609 of file parameters.hpp.

SEPAFREQ

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

constexpr

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

Definition at line 1605 of file parameters.hpp.