Parameters with prefix conflict. More...

Namespaces
namespace	BOUNDDISJUNCTION
	Parameters with prefix conflict/bounddisjunction.

namespace	GRAPH
	Parameters with prefix conflict/graph.

namespace	INDICATORCONFLICT
	Parameters with prefix conflict/indicatorconflict.

namespace	LINEAR
	Parameters with prefix conflict/linear.

namespace	LOGICOR
	Parameters with prefix conflict/logicor.

namespace	SETPPC
	Parameters with prefix conflict/setppc.

Variables
constexpr Param< bool >	ALLOWLOCAL { "conflict/allowlocal" }
	should conflict constraints be generated that are only valid locally?

constexpr Param< bool >	CLEANBOUNDEXCEEDINGS { "conflict/cleanboundexceedings" }
	should conflicts based on an old cutoff bound be removed from the conflict pool after improving the primal bound?

constexpr Param< double >	CONFLICTGRAPHWEIGHT { "conflict/conflictgraphweight" }
	the weight the VSIDS score is weight by updating the VSIDS for a variable if it is part of a conflict graph

constexpr Param< double >	CONFLICTWEIGHT { "conflict/conflictweight" }
	the weight the VSIDS score is weight by updating the VSIDS for a variable if it is part of a conflict

constexpr Param< double >	DOWNLOCKSCOREFAC { "conflict/downlockscorefac" }
	score factor for down locks in bound relaxation heuristic

constexpr Param< bool >	DYNAMIC { "conflict/dynamic" }
	should the conflict constraints be subject to aging?

constexpr Param< bool >	ENABLE { "conflict/enable" }
	should conflict analysis be enabled?

constexpr Param< int >	FUIPLEVELS { "conflict/fuiplevels" }
	number of depth levels up to which first UIP's are used in conflict analysis (-1: use All-FirstUIP rule)

constexpr Param< bool >	FULLSHORTENCONFLICT { "conflict/fullshortenconflict" }
	try to shorten the whole conflict set or terminate early (depending on the 'maxvarsdetectimpliedbounds' parameter)

constexpr Param< bool >	IGNORERELAXEDBD { "conflict/ignorerelaxedbd" }
	should relaxed bounds be ignored?

constexpr Param< int >	INTERCONSS { "conflict/interconss" }
	maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)

constexpr Param< bool >	KEEPREPROP { "conflict/keepreprop" }
	should constraints be kept for repropagation even if they are too long?

constexpr Param< int >	LPITERATIONS { "conflict/lpiterations" }
	maximal number of LP iterations in each LP resolving loop (-1: no limit)

constexpr Param< int >	MAXCONSS { "conflict/maxconss" }
	maximal number of conflict constraints accepted at an infeasible node (-1: use all generated conflict constraints)

constexpr Param< int >	MAXLPLOOPS { "conflict/maxlploops" }
	maximal number of LP resolving loops during conflict analysis (-1: no limit)

constexpr Param< int >	MAXSTORESIZE { "conflict/maxstoresize" }
	maximal size of conflict store (-1: auto, 0: disable storage)

constexpr Param< int >	MAXVARSDETECTIMPLIEDBOUNDS { "conflict/maxvarsdetectimpliedbounds" }
	maximal number of variables to try to detect global bound implications and shorten the whole conflict set (0: disabled)

constexpr Param< double >	MAXVARSFAC { "conflict/maxvarsfac" }
	maximal fraction of variables involved in a conflict constraint

constexpr Param< double >	MINIMPROVE { "conflict/minimprove" }
	minimal improvement of primal bound to remove conflicts based on a previous incumbent

constexpr Param< int >	MINMAXVARS { "conflict/minmaxvars" }
	minimal absolute maximum of variables involved in a conflict constraint

constexpr Param< bool >	PREFERBINARY { "conflict/preferbinary" }
	should binary conflicts be preferred?

constexpr Param< bool >	PREFINFPROOF { "conflict/prefinfproof" }
	prefer infeasibility proof to boundexceeding proof

constexpr Param< double >	PROOFSCOREFAC { "conflict/proofscorefac" }
	score factor for impact on acticity in bound relaxation heuristic

constexpr Param< int >	RECONVLEVELS { "conflict/reconvlevels" }
	number of depth levels up to which UIP reconvergence constraints are generated (-1: generate reconvergence constraints in all depth levels)

constexpr Param< bool >	REMOVABLE { "conflict/removable" }
	should the conflict's relaxations be subject to LP aging and cleanup?

constexpr Param< bool >	REPROPAGATE { "conflict/repropagate" }
	should earlier nodes be repropagated in order to replace branching decisions by deductions?

constexpr Param< double >	RESTARTFAC { "conflict/restartfac" }
	factor to increase restartnum with after each restart

constexpr Param< int >	RESTARTNUM { "conflict/restartnum" }
	number of successful conflict analysis calls that trigger a restart (0: disable conflict restarts)

constexpr Param< double >	SCOREFAC { "conflict/scorefac" }
	factor to decrease importance of variables' earlier conflict scores

constexpr Param< bool >	SEPAALTPROOFS { "conflict/sepaaltproofs" }
	apply cut generating functions to construct alternative proofs

constexpr Param< bool >	SEPARATE { "conflict/separate" }
	should the conflict constraints be separated?

constexpr Param< bool >	SETTLELOCAL { "conflict/settlelocal" }
	should conflict constraints be attached only to the local subtree where they can be useful?

constexpr Param< double >	UPLOCKSCOREFAC { "conflict/uplockscorefac" }
	score factor for up locks in bound relaxation heuristic

constexpr Param< char >	USEBOUNDLP { "conflict/useboundlp" }
	should bound exceeding LP conflict analysis be used? ('o'ff, 'c'onflict graph, 'd'ual ray, 'b'oth conflict graph and dual ray)

constexpr Param< char >	USEINFLP { "conflict/useinflp" }
	should infeasible LP conflict analysis be used? ('o'ff, 'c'onflict graph, 'd'ual ray, 'b'oth conflict graph and dual ray)

constexpr Param< bool >	USELOCALROWS { "conflict/uselocalrows" }
	use local rows to construct infeasibility proofs

constexpr Param< bool >	USEPROP { "conflict/useprop" }
	should propagation conflict analysis be used?

constexpr Param< bool >	USEPSEUDO { "conflict/usepseudo" }
	should pseudo solution conflict analysis be used?

constexpr Param< bool >	USESB { "conflict/usesb" }
	should infeasible/bound exceeding strong branching conflict analysis be used?

constexpr Param< double >	WEIGHTREPROPDEPTH { "conflict/weightrepropdepth" }
	weight of the repropagation depth of a conflict used in score calculation

constexpr Param< double >	WEIGHTSIZE { "conflict/weightsize" }
	weight of the size of a conflict used in score calculation

constexpr Param< double >	WEIGHTVALIDDEPTH { "conflict/weightvaliddepth" }
	weight of the valid depth of a conflict used in score calculation

Detailed Description

Parameters with prefix conflict.

Variable Documentation

◆ ALLOWLOCAL

Param<bool> scippp::params::CONFLICT::ALLOWLOCAL { "conflict/allowlocal" }

constexpr

should conflict constraints be generated that are only valid locally?

Definition at line 726 of file parameters.hpp.

◆ CLEANBOUNDEXCEEDINGS

Param<bool> scippp::params::CONFLICT::CLEANBOUNDEXCEEDINGS { "conflict/cleanboundexceedings" }

constexpr

should conflicts based on an old cutoff bound be removed from the conflict pool after improving the primal bound?

Definition at line 685 of file parameters.hpp.

◆ CONFLICTGRAPHWEIGHT

Param<double> scippp::params::CONFLICT::CONFLICTGRAPHWEIGHT { "conflict/conflictgraphweight" }

constexpr

the weight the VSIDS score is weight by updating the VSIDS for a variable if it is part of a conflict graph

Definition at line 762 of file parameters.hpp.

◆ CONFLICTWEIGHT

Param<double> scippp::params::CONFLICT::CONFLICTWEIGHT { "conflict/conflictweight" }

constexpr

the weight the VSIDS score is weight by updating the VSIDS for a variable if it is part of a conflict

Definition at line 760 of file parameters.hpp.

◆ DOWNLOCKSCOREFAC

Param<double> scippp::params::CONFLICT::DOWNLOCKSCOREFAC { "conflict/downlockscorefac" }

constexpr

score factor for down locks in bound relaxation heuristic

Definition at line 744 of file parameters.hpp.

◆ DYNAMIC

Param<bool> scippp::params::CONFLICT::DYNAMIC { "conflict/dynamic" }

constexpr

should the conflict constraints be subject to aging?

Definition at line 736 of file parameters.hpp.

◆ ENABLE

Param<bool> scippp::params::CONFLICT::ENABLE { "conflict/enable" }

constexpr

should conflict analysis be enabled?

Definition at line 682 of file parameters.hpp.

◆ FUIPLEVELS

Param<int> scippp::params::CONFLICT::FUIPLEVELS { "conflict/fuiplevels" }

constexpr

number of depth levels up to which first UIP's are used in conflict analysis (-1: use All-FirstUIP rule)

Definition at line 709 of file parameters.hpp.

◆ FULLSHORTENCONFLICT

Param<bool> scippp::params::CONFLICT::FULLSHORTENCONFLICT { "conflict/fullshortenconflict" }

constexpr

try to shorten the whole conflict set or terminate early (depending on the 'maxvarsdetectimpliedbounds' parameter)

Definition at line 758 of file parameters.hpp.

◆ IGNORERELAXEDBD

Param<bool> scippp::params::CONFLICT::IGNORERELAXEDBD { "conflict/ignorerelaxedbd" }

constexpr

should relaxed bounds be ignored?

Definition at line 752 of file parameters.hpp.

◆ INTERCONSS

Param<int> scippp::params::CONFLICT::INTERCONSS { "conflict/interconss" }

constexpr

maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)

Definition at line 712 of file parameters.hpp.

◆ KEEPREPROP

Param<bool> scippp::params::CONFLICT::KEEPREPROP { "conflict/keepreprop" }

constexpr

should constraints be kept for repropagation even if they are too long?

Definition at line 732 of file parameters.hpp.

◆ LPITERATIONS

Param<int> scippp::params::CONFLICT::LPITERATIONS { "conflict/lpiterations" }

constexpr

maximal number of LP iterations in each LP resolving loop (-1: no limit)

Definition at line 707 of file parameters.hpp.

◆ MAXCONSS

Param<int> scippp::params::CONFLICT::MAXCONSS { "conflict/maxconss" }

constexpr

maximal number of conflict constraints accepted at an infeasible node (-1: use all generated conflict constraints)

Definition at line 718 of file parameters.hpp.

◆ MAXLPLOOPS

Param<int> scippp::params::CONFLICT::MAXLPLOOPS { "conflict/maxlploops" }

constexpr

maximal number of LP resolving loops during conflict analysis (-1: no limit)

Definition at line 705 of file parameters.hpp.

◆ MAXSTORESIZE

Param<int> scippp::params::CONFLICT::MAXSTORESIZE { "conflict/maxstoresize" }

constexpr

maximal size of conflict store (-1: auto, 0: disable storage)

Definition at line 720 of file parameters.hpp.

◆ MAXVARSDETECTIMPLIEDBOUNDS

Param<int> scippp::params::CONFLICT::MAXVARSDETECTIMPLIEDBOUNDS { "conflict/maxvarsdetectimpliedbounds" }

constexpr

maximal number of variables to try to detect global bound implications and shorten the whole conflict set (0: disabled)

Definition at line 755 of file parameters.hpp.

◆ MAXVARSFAC

Param<double> scippp::params::CONFLICT::MAXVARSFAC { "conflict/maxvarsfac" }

constexpr

maximal fraction of variables involved in a conflict constraint

Definition at line 701 of file parameters.hpp.

◆ MINIMPROVE

Param<double> scippp::params::CONFLICT::MINIMPROVE { "conflict/minimprove" }

constexpr

minimal improvement of primal bound to remove conflicts based on a previous incumbent

Definition at line 764 of file parameters.hpp.

◆ MINMAXVARS

Param<int> scippp::params::CONFLICT::MINMAXVARS { "conflict/minmaxvars" }

constexpr

minimal absolute maximum of variables involved in a conflict constraint

Definition at line 703 of file parameters.hpp.

◆ PREFERBINARY

Param<bool> scippp::params::CONFLICT::PREFERBINARY { "conflict/preferbinary" }

constexpr

should binary conflicts be preferred?

Definition at line 722 of file parameters.hpp.

◆ PREFINFPROOF

Param<bool> scippp::params::CONFLICT::PREFINFPROOF { "conflict/prefinfproof" }

constexpr

prefer infeasibility proof to boundexceeding proof

Definition at line 724 of file parameters.hpp.

◆ PROOFSCOREFAC

Param<double> scippp::params::CONFLICT::PROOFSCOREFAC { "conflict/proofscorefac" }

constexpr

score factor for impact on acticity in bound relaxation heuristic

Definition at line 740 of file parameters.hpp.

◆ RECONVLEVELS

Param<int> scippp::params::CONFLICT::RECONVLEVELS { "conflict/reconvlevels" }

constexpr

number of depth levels up to which UIP reconvergence constraints are generated (-1: generate reconvergence constraints in all depth levels)

Definition at line 715 of file parameters.hpp.

◆ REMOVABLE

Param<bool> scippp::params::CONFLICT::REMOVABLE { "conflict/removable" }

constexpr

should the conflict's relaxations be subject to LP aging and cleanup?

Definition at line 738 of file parameters.hpp.

◆ REPROPAGATE

Param<bool> scippp::params::CONFLICT::REPROPAGATE { "conflict/repropagate" }

constexpr

should earlier nodes be repropagated in order to replace branching decisions by deductions?

Definition at line 730 of file parameters.hpp.

◆ RESTARTFAC

Param<double> scippp::params::CONFLICT::RESTARTFAC { "conflict/restartfac" }

constexpr

factor to increase restartnum with after each restart

Definition at line 750 of file parameters.hpp.

◆ RESTARTNUM

Param<int> scippp::params::CONFLICT::RESTARTNUM { "conflict/restartnum" }

constexpr

number of successful conflict analysis calls that trigger a restart (0: disable conflict restarts)

Definition at line 748 of file parameters.hpp.

◆ SCOREFAC

Param<double> scippp::params::CONFLICT::SCOREFAC { "conflict/scorefac" }

constexpr

factor to decrease importance of variables' earlier conflict scores

Definition at line 746 of file parameters.hpp.

◆ SEPAALTPROOFS

Param<bool> scippp::params::CONFLICT::SEPAALTPROOFS { "conflict/sepaaltproofs" }

constexpr

apply cut generating functions to construct alternative proofs

Definition at line 772 of file parameters.hpp.

◆ SEPARATE

Param<bool> scippp::params::CONFLICT::SEPARATE { "conflict/separate" }

constexpr

should the conflict constraints be separated?

Definition at line 734 of file parameters.hpp.

◆ SETTLELOCAL

Param<bool> scippp::params::CONFLICT::SETTLELOCAL { "conflict/settlelocal" }

constexpr

should conflict constraints be attached only to the local subtree where they can be useful?

Definition at line 728 of file parameters.hpp.

◆ UPLOCKSCOREFAC

Param<double> scippp::params::CONFLICT::UPLOCKSCOREFAC { "conflict/uplockscorefac" }

constexpr

score factor for up locks in bound relaxation heuristic

Definition at line 742 of file parameters.hpp.

◆ USEBOUNDLP

Param<char> scippp::params::CONFLICT::USEBOUNDLP { "conflict/useboundlp" }

constexpr

should bound exceeding LP conflict analysis be used? ('o'ff, 'c'onflict graph, 'd'ual ray, 'b'oth conflict graph and dual ray)

Definition at line 695 of file parameters.hpp.

◆ USEINFLP

Param<char> scippp::params::CONFLICT::USEINFLP { "conflict/useinflp" }

constexpr

should infeasible LP conflict analysis be used? ('o'ff, 'c'onflict graph, 'd'ual ray, 'b'oth conflict graph and dual ray)

Definition at line 692 of file parameters.hpp.

◆ USELOCALROWS

Param<bool> scippp::params::CONFLICT::USELOCALROWS { "conflict/uselocalrows" }

constexpr

use local rows to construct infeasibility proofs

Definition at line 687 of file parameters.hpp.

◆ USEPROP

Param<bool> scippp::params::CONFLICT::USEPROP { "conflict/useprop" }

constexpr

should propagation conflict analysis be used?

Definition at line 689 of file parameters.hpp.

◆ USEPSEUDO

Param<bool> scippp::params::CONFLICT::USEPSEUDO { "conflict/usepseudo" }

constexpr

should pseudo solution conflict analysis be used?

Definition at line 699 of file parameters.hpp.

◆ USESB

Param<bool> scippp::params::CONFLICT::USESB { "conflict/usesb" }

constexpr

should infeasible/bound exceeding strong branching conflict analysis be used?

Definition at line 697 of file parameters.hpp.

◆ WEIGHTREPROPDEPTH

Param<double> scippp::params::CONFLICT::WEIGHTREPROPDEPTH { "conflict/weightrepropdepth" }

constexpr

weight of the repropagation depth of a conflict used in score calculation

Definition at line 768 of file parameters.hpp.

◆ WEIGHTSIZE

Param<double> scippp::params::CONFLICT::WEIGHTSIZE { "conflict/weightsize" }

constexpr

weight of the size of a conflict used in score calculation

Definition at line 766 of file parameters.hpp.

◆ WEIGHTVALIDDEPTH

Param<double> scippp::params::CONFLICT::WEIGHTVALIDDEPTH { "conflict/weightvaliddepth" }

constexpr

weight of the valid depth of a conflict used in score calculation

Definition at line 770 of file parameters.hpp.

SCIP++ refs/heads/main

Namespaces

Variables

Detailed Description

Variable Documentation

◆ ALLOWLOCAL

◆ CLEANBOUNDEXCEEDINGS

◆ CONFLICTGRAPHWEIGHT

◆ CONFLICTWEIGHT

◆ DOWNLOCKSCOREFAC

◆ DYNAMIC

◆ ENABLE

◆ FUIPLEVELS

◆ FULLSHORTENCONFLICT

◆ IGNORERELAXEDBD

◆ INTERCONSS

◆ KEEPREPROP

◆ LPITERATIONS

◆ MAXCONSS

◆ MAXLPLOOPS

◆ MAXSTORESIZE

◆ MAXVARSDETECTIMPLIEDBOUNDS

◆ MAXVARSFAC

◆ MINIMPROVE

◆ MINMAXVARS

◆ PREFERBINARY

◆ PREFINFPROOF

◆ PROOFSCOREFAC

◆ RECONVLEVELS

◆ REMOVABLE

◆ REPROPAGATE

◆ RESTARTFAC

◆ RESTARTNUM

◆ SCOREFAC

◆ SEPAALTPROOFS

◆ SEPARATE

◆ SETTLELOCAL

◆ UPLOCKSCOREFAC

◆ USEBOUNDLP

◆ USEINFLP

◆ USELOCALROWS

◆ USEPROP

◆ USEPSEUDO

◆ USESB

◆ WEIGHTREPROPDEPTH

◆ WEIGHTSIZE

◆ WEIGHTVALIDDEPTH