scippp::params::PRESOLVING::GATEEXTRACTION Namespace Reference

Parameters with prefix presolving/gateextraction. More...

Variables
constexpr Param< int >	MAXROUNDS { "presolving/gateextraction/maxrounds" }
	maximal number of presolving rounds the presolver participates in (-1: no limit)
constexpr Param< bool >	ONLYSETPART { "presolving/gateextraction/onlysetpart" }
	should we only try to extract set-partitioning constraints and no and-constraints
constexpr Param< int >	PRIORITY { "presolving/gateextraction/priority" }
	priority of presolver <gateextraction>
constexpr Param< bool >	SEARCHEQUATIONS { "presolving/gateextraction/searchequations" }
	should we try to extract set-partitioning constraint out of one logicor and one corresponding set-packing constraint
constexpr Param< int >	SORTING { "presolving/gateextraction/sorting" }
	order logicor contraints to extract big-gates before smaller ones (-1), do not order them (0) or order them to extract smaller gates at first (1)
constexpr Param< int >	TIMING { "presolving/gateextraction/timing" }
	timing mask of presolver <gateextraction> (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)

Detailed Description

Parameters with prefix presolving/gateextraction.

Variable Documentation

MAXROUNDS

constexpr Param<int> scippp::params::PRESOLVING::GATEEXTRACTION::MAXROUNDS { "presolving/gateextraction/maxrounds" }

constexpr

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

Definition at line 4850 of file parameters.hpp.

ONLYSETPART

constexpr Param<bool> scippp::params::PRESOLVING::GATEEXTRACTION::ONLYSETPART { "presolving/gateextraction/onlysetpart" }

constexpr

should we only try to extract set-partitioning constraints and no and-constraints

Definition at line 4854 of file parameters.hpp.

PRIORITY

constexpr Param<int> scippp::params::PRESOLVING::GATEEXTRACTION::PRIORITY { "presolving/gateextraction/priority" }

constexpr

priority of presolver <gateextraction>

Definition at line 4848 of file parameters.hpp.

SEARCHEQUATIONS

constexpr Param<bool> scippp::params::PRESOLVING::GATEEXTRACTION::SEARCHEQUATIONS { "presolving/gateextraction/searchequations" }

constexpr

should we try to extract set-partitioning constraint out of one logicor and one corresponding set-packing constraint

Definition at line 4857 of file parameters.hpp.

SORTING

constexpr Param<int> scippp::params::PRESOLVING::GATEEXTRACTION::SORTING { "presolving/gateextraction/sorting" }

constexpr

order logicor contraints to extract big-gates before smaller ones (-1), do not order them (0) or order them to extract smaller gates at first (1)

Definition at line 4860 of file parameters.hpp.

TIMING

constexpr Param<int> scippp::params::PRESOLVING::GATEEXTRACTION::TIMING { "presolving/gateextraction/timing" }

constexpr

timing mask of presolver <gateextraction> (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)

Definition at line 4852 of file parameters.hpp.