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 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