scippp::params::HISTORY Namespace Reference

Parameters with prefix history. More...

Variables
constexpr Param< bool >	ALLOWMERGE { "history/allowmerge" }
	should variable histories be merged from sub-SCIPs whenever possible?
constexpr Param< bool >	ALLOWTRANSFER { "history/allowtransfer" }
	should variable histories be transferred to initialize SCIP copies?
constexpr Param< bool >	VALUEBASED { "history/valuebased" }
	should statistics be collected for variable domain value pairs?

Detailed Description

Parameters with prefix history.

Variable Documentation

ALLOWMERGE

Param<bool> scippp::params::HISTORY::ALLOWMERGE { "history/allowmerge" }

constexpr

should variable histories be merged from sub-SCIPs whenever possible?

Definition at line 4653 of file parameters.hpp.

ALLOWTRANSFER

Param<bool> scippp::params::HISTORY::ALLOWTRANSFER { "history/allowtransfer" }

constexpr

should variable histories be transferred to initialize SCIP copies?

Definition at line 4655 of file parameters.hpp.

VALUEBASED

Param<bool> scippp::params::HISTORY::VALUEBASED { "history/valuebased" }

constexpr

should statistics be collected for variable domain value pairs?

Definition at line 4651 of file parameters.hpp.