Interface SetValueSelector
-
- All Known Implementing Classes:
SetDomainMin
public interface SetValueSelector
Heuristic for branching on a given SetVar- Since:
- 6/10/13
- Author:
- Jean-Guillaume Fages
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description int
selectValue(SetVar v)
Value selection heuristic
-
-
-
Method Detail
-
selectValue
int selectValue(SetVar v)
Value selection heuristic- Parameters:
v
- 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
-
-