Module org.chocosolver
Class SetDomainMin
- java.lang.Object
-
- org.chocosolver.solver.search.strategy.selectors.values.SetDomainMin
-
- All Implemented Interfaces:
SetValueSelector
public class SetDomainMin extends Object implements SetValueSelector
Selects the first integer in the envelope and not in the kernel- Since:
- 17/03/2014
- Author:
- Jean-Guillaum Fages, Charles Prud'homme
-
-
Constructor Summary
Constructors Constructor Description SetDomainMin()
-
-
-
Method Detail
-
selectValue
public int selectValue(SetVar s)
Description copied from interface:SetValueSelector
Value selection heuristic- Specified by:
selectValue
in interfaceSetValueSelector
- Parameters:
s
- a non-instantiated SetVar- Returns:
- an integer i of v's envelope, which is not included in v's kernel so that a decision (forcing/removing i) can be applied on v
-
-