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

      • SetDomainMin

        public SetDomainMin()
    • Method Detail

      • selectValue

        public int selectValue​(SetVar s)
        Description copied from interface: SetValueSelector
        Value selection heuristic
        Specified by:
        selectValue in interface SetValueSelector
        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