Package org.jacop.constraints.diffn

Class Rectangle

java.lang.Object

org.jacop.constraints.diffn.Rectangle

public class Rectangle
extends java.lang.Object

Defines a rectangle used in the diffn constraint.

Version:

4.8

Field Summary

Fields

Modifier and Type	Field	Description
(package private) int	index
IntVar[]	length
IntVar[]	origin	It specifies the the rectangle.

Constructor Summary

Constructors

Constructor	Description
Rectangle(java.util.List<? extends IntVar> list)	It constructs a rectangle.
Rectangle(IntVar[] list)	It constructs a rectangle.
Rectangle(IntVar o1, IntVar o2, IntVar l1, IntVar l2)	It constructs a rectangle.

Method Summary

Modifier and Type	Method	Description
(package private) boolean	doOverlap(Rectangle r)
(package private) int	ect(int dim)
(package private) int	est(int dim)
(package private) boolean	exists()
static java.util.stream.Stream<Var>	getStream(Rectangle[] scope)
(package private) boolean	instantiated()
(package private) boolean	instantiatedBefore(Store store)
(package private) int	lct(int dim)
(package private) IntVar	length(int dim)
(package private) int	lst(int dim)
(package private) boolean	noOverlap(Rectangle r)
(package private) boolean	noOverlap(Rectangle r, int dim)
(package private) IntVar	origin(int dim)
(package private) boolean	overlap(Rectangle r, int dim)
(package private) boolean	possibleOverlap(Rectangle r)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

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)