scippp::params::CONFLICT::BOUNDDISJUNCTION Namespace Reference

Parameters with prefix conflict/bounddisjunction. More...

Variables
constexpr Param< double >	CONTINUOUSFRAC { "conflict/bounddisjunction/continuousfrac" }
	maximal percantage of continuous variables within a conflict
constexpr Param< int >	PRIORITY { "conflict/bounddisjunction/priority" }
	priority of conflict handler <bounddisjunction>

Detailed Description

Parameters with prefix conflict/bounddisjunction.

Variable Documentation

CONTINUOUSFRAC

constexpr Param<double> scippp::params::CONFLICT::BOUNDDISJUNCTION::CONTINUOUSFRAC { "conflict/bounddisjunction/continuousfrac" }

constexpr

maximal percantage of continuous variables within a conflict

Definition at line 746 of file parameters.hpp.

PRIORITY

constexpr Param<int> scippp::params::CONFLICT::BOUNDDISJUNCTION::PRIORITY { "conflict/bounddisjunction/priority" }

constexpr

priority of conflict handler <bounddisjunction>

Definition at line 748 of file parameters.hpp.