org.jacop.constraints

Class Rectangle

java.lang.Object

org.jacop.constraints.Rectangle

public class Rectangle
extends Object

Defines a rectangle used in the diffn constraint.

Version:

4.9

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Field Summary

Fields

Modifier and Type	Field and Description
IntVar[]	length It specifies the length of the rectangle in each dimension.
IntVar[]	origin It specifies the origin of the rectangle in each dimension.

Constructor Summary

Constructors

Constructor and Description
Rectangle(IntVar[] list) It constructs a rectangle.
Rectangle(IntVar[] origin, IntVar[] length) It constructs a rectangle.
Rectangle(List<? extends IntVar> list) It constructs a rectangle.
Rectangle(Rectangle rect) It constructs a rectangle.

Method Summary

Modifier and Type	Method and Description
boolean	domOverlap(Rectangle r) It returns true if this rectangle overlaps with a given rectangle.
static Stream<Var>	getStream(Rectangle[] scope)
int	maxLevel() It computes the maximum level of any variable constituting the rectangle.
boolean	minLengthEq0() It checks if a minimum length in any dimension of the rectangle can be equal 0.
boolean	minUse(int selDimension, org.jacop.constraints.IntRectangle u)
boolean	minUse(org.jacop.constraints.IntRectangle u)
boolean	settled() It checks whether the rectangle is completely fixed.
static Rectangle[]	toArrayOf2DRectangles(IntVar[][] rectangles)
static Rectangle[]	toArrayOf2DRectangles(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2)
static Rectangle[]	toArrayOf2DRectangles(List<? extends List<? extends IntVar>> rectangles)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

length

public final IntVar[] length

It specifies the length of the rectangle in each dimension.

origin

public final IntVar[] origin

It specifies the origin of the rectangle in each dimension.

Constructor Detail

Rectangle

public Rectangle(IntVar[] origin,
                 IntVar[] length)

It constructs a rectangle.

Parameters:

length - the length of the rectangle in each dimension.

origin - the origin of the rectangle in each dimension.

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(List<? extends IntVar> list)

It constructs a rectangle.

Parameters:

list - it specifies for each dimension (one after the other) its origin and length.

Rectangle

public Rectangle(Rectangle rect)

It constructs a rectangle.

Parameters:

rect - the rectangle based on which a new rectangle is created.

Method Detail

domOverlap

public boolean domOverlap(Rectangle r)

It returns true if this rectangle overlaps with a given rectangle.

Parameters:

r - the rectangle for which the overlapping is being checked.

Returns:

true if rectangles overlap, false otherwise.

maxLevel

public int maxLevel()

It computes the maximum level of any variable constituting the rectangle.

Returns:

the maximum level.

minLengthEq0

public boolean minLengthEq0()

It checks if a minimum length in any dimension of the rectangle can be equal 0.

Returns:

true if in any dimension the rectangle has minimum possible length equal 0, false otherwise.

minUse

public boolean minUse(int selDimension,
                      org.jacop.constraints.IntRectangle u)

minUse

public boolean minUse(org.jacop.constraints.IntRectangle u)

settled

public boolean settled()

It checks whether the rectangle is completely fixed.

Returns:

true if all variables constituting rectangle are grounded, false otherwise.

toString

public String toString()

Overrides:

toString in class Object

toArrayOf2DRectangles

public static Rectangle[] toArrayOf2DRectangles(List<? extends List<? extends IntVar>> rectangles)

toArrayOf2DRectangles

public static Rectangle[] toArrayOf2DRectangles(IntVar[] origin1,
                                                IntVar[] origin2,
                                                IntVar[] length1,
                                                IntVar[] length2)

toArrayOf2DRectangles

public static Rectangle[] toArrayOf2DRectangles(IntVar[][] rectangles)

getStream

public static Stream<Var> getStream(Rectangle[] scope)