Class TableMill


  • public class TableMill
    extends java.lang.Object
    TableMill generates tables for different constraint to be used in Table constraint
    Version:
    4.7
    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) static int tableMaxSize  
    • Constructor Summary

      Constructors 
      Constructor Description
      TableMill()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static int[][] elementSupport​(IntVar index, int[] list, IntVar value, int offset)  
      static int[][] linear​(IntVar[] x, int[] w, int b)  
      (package private) static java.util.ArrayList<int[]> linearSupport​(IntVar[] x, int[] w, int b, int sum, int index, java.util.ArrayList<int[]> support, int[] assignment)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • TableMill

        public TableMill()
    • Method Detail

      • linear

        public static int[][] linear​(IntVar[] x,
                                     int[] w,
                                     int b)
      • linearSupport

        static java.util.ArrayList<int[]> linearSupport​(IntVar[] x,
                                                        int[] w,
                                                        int b,
                                                        int sum,
                                                        int index,
                                                        java.util.ArrayList<int[]> support,
                                                        int[] assignment)
      • elementSupport

        public static int[][] elementSupport​(IntVar index,
                                             int[] list,
                                             IntVar value,
                                             int offset)