Class ElementFactory

  • public class ElementFactory
    extends Object
    A factory that selects the most adapted element propagator. Created by cprudhom on 29/09/15. Project: choco.
    • Method Detail

      • detect

        public static Constraint detect​(IntVar VALUE,
                                        int[] TABLE,
                                        IntVar INDEX,
                                        int OFFSET)
        Detect and return the most adapted Element propagator wrt to the values in TABLE
        VALUE - the result variable
        TABLE - the array of values
        INDEX - the index variable
        OFFSET - the offset
        an Element constraint