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
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods 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()
-
-
-
Constructor Detail
-
Rectangle
public Rectangle(IntVar o1, IntVar o2, IntVar l1, IntVar l2)
It constructs a rectangle.- Parameters:
o1
- origin in dimension 0o2
- origin in dimension 1l1
- length in dimension 0l2
- 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 classjava.lang.Object
-
-