scippp::params::IIS Namespace Reference

Parameters with prefix iis. More...

Namespaces
namespace	GREEDY
	Parameters with prefix iis/greedy.

Variables
constexpr Param< bool >	IRREDUCIBLE { "iis/irreducible" }
	should the resultant infeasible set be irreducible, i.e., an IIS not an IS
constexpr Param< long long >	NODES { "iis/nodes" }
	maximal number of nodes to process for all IIS finders (-1: no limit)
constexpr Param< bool >	REMOVEBOUNDS { "iis/removebounds" }
	should bounds of the problem be considered for removal
constexpr Param< bool >	REMOVEUNUSEDVARS { "iis/removeunusedvars" }
	should vars that do not feature in any constraints be removed at the end of the IIS process
constexpr Param< bool >	SILENT { "iis/silent" }
	should the IIS finders be run silently and output suppressed
constexpr Param< bool >	STOPAFTERONE { "iis/stopafterone" }
	should the IIS search stop after a single IIS finder is run (excluding post processing)
constexpr Param< double >	TIME { "iis/time" }
	maximal time in seconds for all IIS finders to run

Detailed Description

Parameters with prefix iis.

Variable Documentation

IRREDUCIBLE

Param<bool> scippp::params::IIS::IRREDUCIBLE { "iis/irreducible" }

constexpr

should the resultant infeasible set be irreducible, i.e., an IIS not an IS

Definition at line 4825 of file parameters.hpp.

NODES

Param<long long> scippp::params::IIS::NODES { "iis/nodes" }

constexpr

maximal number of nodes to process for all IIS finders (-1: no limit)

Definition at line 4837 of file parameters.hpp.

REMOVEBOUNDS

Param<bool> scippp::params::IIS::REMOVEBOUNDS { "iis/removebounds" }

constexpr

should bounds of the problem be considered for removal

Definition at line 4827 of file parameters.hpp.

REMOVEUNUSEDVARS

Param<bool> scippp::params::IIS::REMOVEUNUSEDVARS { "iis/removeunusedvars" }

constexpr

should vars that do not feature in any constraints be removed at the end of the IIS process

Definition at line 4833 of file parameters.hpp.

SILENT

Param<bool> scippp::params::IIS::SILENT { "iis/silent" }

constexpr

should the IIS finders be run silently and output suppressed

Definition at line 4829 of file parameters.hpp.

STOPAFTERONE

Param<bool> scippp::params::IIS::STOPAFTERONE { "iis/stopafterone" }

constexpr

should the IIS search stop after a single IIS finder is run (excluding post processing)

Definition at line 4831 of file parameters.hpp.

TIME

Param<double> scippp::params::IIS::TIME { "iis/time" }

constexpr

maximal time in seconds for all IIS finders to run

Definition at line 4835 of file parameters.hpp.