Package org.jacop.constraints.table

Class TableMill

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

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