Class Rectangle


  • public class Rectangle
    extends java.lang.Object
    Defines a rectangle used in the diffn constraint.
    Version:
    4.8
    • Field Detail

      • index

        int index
      • origin

        public final IntVar[] origin
        It specifies the the rectangle.
      • length

        public final IntVar[] length
    • Constructor Detail

      • Rectangle

        public Rectangle​(IntVar o1,
                         IntVar o2,
                         IntVar l1,
                         IntVar l2)
        It constructs a rectangle.
        Parameters:
        o1 - origin in dimension 0
        o2 - origin in dimension 1
        l1 - length in dimension 0
        l2 - length in dimension 1
      • Rectangle

        public Rectangle​(IntVar[] list)
        It constructs a rectangle.
        Parameters:
        list - it specifies for each dimension (one after the other) its origin and length.
      • Rectangle

        public Rectangle​(java.util.List<? extends IntVar> list)
        It constructs a rectangle.
        Parameters:
        list - it specifies for each dimension (one after the other) its origin and length.
    • Method Detail

      • origin

        IntVar origin​(int dim)
      • length

        IntVar length​(int dim)
      • est

        int est​(int dim)
      • lst

        int lst​(int dim)
      • ect

        int ect​(int dim)
      • lct

        int lct​(int dim)
      • overlap

        boolean overlap​(Rectangle r,
                        int dim)
      • doOverlap

        boolean doOverlap​(Rectangle r)
      • noOverlap

        boolean noOverlap​(Rectangle r,
                          int dim)
      • noOverlap

        boolean noOverlap​(Rectangle r)
      • possibleOverlap

        boolean possibleOverlap​(Rectangle r)
      • instantiated

        boolean instantiated()
      • instantiatedBefore

        boolean instantiatedBefore​(Store store)
      • exists

        boolean exists()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • getStream

        public static java.util.stream.Stream<Var> getStream​(Rectangle[] scope)