scippp::params::PROPAGATING Namespace Reference

Parameters with prefix propagating. More...

Namespaces
namespace	DUALFIX
	Parameters with prefix propagating/dualfix.
namespace	GENVBOUNDS
	Parameters with prefix propagating/genvbounds.
namespace	NLOBBT
	Parameters with prefix propagating/nlobbt.
namespace	OBBT
	Parameters with prefix propagating/obbt.
namespace	PROBING
	Parameters with prefix propagating/probing.
namespace	PSEUDOOBJ
	Parameters with prefix propagating/pseudoobj.
namespace	REDCOST
	Parameters with prefix propagating/redcost.
namespace	ROOTREDCOST
	Parameters with prefix propagating/rootredcost.
namespace	SYMMETRY
	Parameters with prefix propagating/symmetry.
namespace	VBOUNDS
	Parameters with prefix propagating/vbounds.

Variables
constexpr Param< bool >	ABORTONCUTOFF { "propagating/abortoncutoff" }
	should propagation be aborted immediately? setting this to FALSE could help conflict analysis to produce more conflict constraints
constexpr Param< int >	MAXROUNDS { "propagating/maxrounds" }
	maximal number of propagation rounds per node (-1: unlimited)
constexpr Param< int >	MAXROUNDSROOT { "propagating/maxroundsroot" }
	maximal number of propagation rounds in the root node (-1: unlimited)

Detailed Description

Parameters with prefix propagating.

Variable Documentation

ABORTONCUTOFF

constexpr Param<bool> scippp::params::PROPAGATING::ABORTONCUTOFF { "propagating/abortoncutoff" }

constexpr

should propagation be aborted immediately? setting this to FALSE could help conflict analysis to produce more conflict constraints

Definition at line 4998 of file parameters.hpp.

MAXROUNDS

constexpr Param<int> scippp::params::PROPAGATING::MAXROUNDS { "propagating/maxrounds" }

constexpr

maximal number of propagation rounds per node (-1: unlimited)

Definition at line 4993 of file parameters.hpp.

MAXROUNDSROOT

constexpr Param<int> scippp::params::PROPAGATING::MAXROUNDSROOT { "propagating/maxroundsroot" }

constexpr

maximal number of propagation rounds in the root node (-1: unlimited)

Definition at line 4995 of file parameters.hpp.