org.jacop.constraints.Diff2Cloneable Class Reference

A cloneable version of the Diff2 constraint. More...

Inheritance diagram for org.jacop.constraints.Diff2Cloneable:

Public Member Functions
	Diff2Cloneable (ArrayList<? extends ArrayList<? extends IntVarCloneable > > rectangles)
	It creates a diff2 constraint.
	Diff2Cloneable (IntVarCloneable[][] rectangles)
	It creates a diff2 constraint.
	Diff2Cloneable (ArrayList<? extends ArrayList<? extends IntVarCloneable > > rectangles, boolean profile)
	It creates a diff2 constraint.
	Diff2Cloneable (IntVarCloneable[][] rectangles, boolean profile)
	It creates a diff2 constraint.
	Diff2Cloneable (List< List<? extends IntVar > > rect, List< List< Integer > > exclusiveList)
	Conditional Diff2.
	Diff2Cloneable (IntVarCloneable[][] rect, List< List< Integer > > exclusive)
	Conditional Diff2.
	Diff2Cloneable (Rectangle[] rectangles, int[] exclusiveList, boolean doProfile)
	Conditional Diff2.
	Diff2Cloneable (ArrayList<? extends IntVarCloneable > o1, ArrayList<? extends IntVarCloneable > o2, ArrayList<? extends IntVarCloneable > l1, ArrayList<? extends IntVarCloneable > l2)
	It creates a diff2 constraint.
	Diff2Cloneable (IntVarCloneable[] o1, IntVarCloneable[] o2, IntVarCloneable[] l1, IntVarCloneable[] l2)
	It creates a diff2 constraint.
	Diff2Cloneable (ArrayList< IntVarCloneable > o1, ArrayList< IntVarCloneable > o2, ArrayList< IntVarCloneable > l1, ArrayList< IntVarCloneable > l2, boolean profile)
	It creates a diff2 constraint.
	Diff2Cloneable (IntVarCloneable[] o1, IntVarCloneable[] o2, IntVarCloneable[] l1, IntVarCloneable[] l2, boolean profile)
	It creates a diff2 constraint.
Diff2Cloneable	cloneInto (StoreCloneable targetStore) throws FailException
Public Member Functions inherited from org.jacop.constraints.ConstraintCloneableInterface< Diff2Cloneable >
abstract C	cloneInto (StoreCloneable targetStore) throws CloneNotSupportedException, FailException
	Creates a new constraint that is a (state-less) clone of this one, but expressed on the variables with the same names found in the input store.

Detailed Description

A cloneable version of the Diff2 constraint.

Author

Thomas Leaute

Constructor & Destructor Documentation

Diff2Cloneable() [1/11]

org.jacop.constraints.Diff2Cloneable.Diff2Cloneable

(

ArrayList<? extends ArrayList<? extends IntVarCloneable > >

rectangles

)

It creates a diff2 constraint.

Parameters

rectangles

list of rectangles with origins and lengths in both dimensions.

Referenced by cloneInto().

Diff2Cloneable() [2/11]

org.jacop.constraints.Diff2Cloneable.Diff2Cloneable

(

IntVarCloneable

rectangles[][]

)

It creates a diff2 constraint.

Parameters

rectangles

list of rectangles with origins and lengths in both dimensions.

Diff2Cloneable() [3/11]

org.jacop.constraints.Diff2Cloneable.Diff2Cloneable	(	ArrayList<? extends ArrayList<? extends IntVarCloneable > >	rectangles,
		boolean	profile )

It creates a diff2 constraint.

Parameters

rectangles	list of rectangles with origins and lengths in both dimensions.
profile	specifies if the profile is computed and used.

Diff2Cloneable() [4/11]

org.jacop.constraints.Diff2Cloneable.Diff2Cloneable	(	IntVarCloneable	rectangles[][],
		boolean	profile )

It creates a diff2 constraint.

Parameters

rectangles	list of rectangles with origins and lengths in both dimensions.
profile	specifies if the profile is computed and used.

Diff2Cloneable() [5/11]

org.jacop.constraints.Diff2Cloneable.Diff2Cloneable	(	List< List<? extends IntVar > >	rect,
		List< List< Integer > >	exclusiveList )

Conditional Diff2.

The rectangles that are specified on the list Exclusive are excluded from checking that they must be non-overlapping. The rectangles are numbered from 1, for example list [[1,3], [3,4]] specifies that rectangles 1 and 3 as well as 3 and 4 can overlap each other.

Parameters

rect	- list of rectangles, each rectangle represented by a list of variables.
exclusiveList	- list of rectangles pairs which can overlap.

Warning

The input variables should be of type IntVarCloneable

Diff2Cloneable() [6/11]

org.jacop.constraints.Diff2Cloneable.Diff2Cloneable	(	IntVarCloneable	rect[][],
		List< List< Integer > >	exclusive )

Conditional Diff2.

The rectangles that are specified on the list Exclusive are excluded from checking that they must be non-overlapping. The rectangles are numbered from 1, for example list [[1,3], [3,4]] specifies that rectangles 1 and 3 as well as 3 and 4 can overlap each other.

Parameters

rect	- list of rectangles, each rectangle represented by a list of variables.
exclusive	- list of rectangles pairs which can overlap.

Diff2Cloneable() [7/11]

org.jacop.constraints.Diff2Cloneable.Diff2Cloneable	(	Rectangle[]	rectangles,
		int[]	exclusiveList,
		boolean	doProfile )

Conditional Diff2.

The rectangles that are specified on the list Exclusive list is specified contains pairs of rectangles that are excluded from checking that they must be non-overlapping. The rectangles are numbered from 1, for example list [1, 3, 3, 4] specifies that rectangles 1 and 3 as well as 3 and 4 can overlap each other.

Parameters

rectangles	a list of rectangles.
exclusiveList	a list denoting the pair of rectangles, which can overlap
doProfile	should profile be computed and used.

Diff2Cloneable() [8/11]

org.jacop.constraints.Diff2Cloneable.Diff2Cloneable	(	ArrayList<? extends IntVarCloneable >	o1,
		ArrayList<? extends IntVarCloneable >	o2,
		ArrayList<? extends IntVarCloneable >	l1,
		ArrayList<? extends IntVarCloneable >	l2 )

It creates a diff2 constraint.

Parameters

o1	list of variables denoting the origin in the first dimension.
o2	list of variables denoting the origin in the second dimension.
l1	list of variables denoting the length in the first dimension.
l2	list of variables denoting the length in the second dimension.

Diff2Cloneable() [9/11]

org.jacop.constraints.Diff2Cloneable.Diff2Cloneable	(	IntVarCloneable[]	o1,
		IntVarCloneable[]	o2,
		IntVarCloneable[]	l1,
		IntVarCloneable[]	l2 )

It creates a diff2 constraint.

Parameters

o1	list of variables denoting the origin in the first dimension.
o2	list of variables denoting the origin in the second dimension.
l1	list of variables denoting the length in the first dimension.
l2	list of variables denoting the length in the second dimension.

Diff2Cloneable() [10/11]

org.jacop.constraints.Diff2Cloneable.Diff2Cloneable	(	ArrayList< IntVarCloneable >	o1,
		ArrayList< IntVarCloneable >	o2,
		ArrayList< IntVarCloneable >	l1,
		ArrayList< IntVarCloneable >	l2,
		boolean	profile )

It creates a diff2 constraint.

Parameters

o1	list of variables denoting the origin in the first dimension.
o2	list of variables denoting the origin in the second dimension.
l1	list of variables denoting the length in the first dimension.
l2	list of variables denoting the length in the second dimension.
profile	specifies if the profile should be computed.

Diff2Cloneable() [11/11]

org.jacop.constraints.Diff2Cloneable.Diff2Cloneable	(	IntVarCloneable[]	o1,
		IntVarCloneable[]	o2,
		IntVarCloneable[]	l1,
		IntVarCloneable[]	l2,
		boolean	profile )

It creates a diff2 constraint.

Parameters

o1	list of variables denoting the origin in the first dimension.
o2	list of variables denoting the origin in the second dimension.
l1	list of variables denoting the length in the first dimension.
l2	list of variables denoting the length in the second dimension.
profile	specifies if the profile should be computed.

Member Function Documentation

cloneInto()

Diff2Cloneable org.jacop.constraints.Diff2Cloneable.cloneInto

(

StoreCloneable

targetStore

)

throws FailException

See also

org.jacop.constraints.ConstraintCloneableInterface.cloneInto(org.jacop.core.StoreCloneable)

References org.jacop.constraints.DiffCloneable.cloneRectangles(), and Diff2Cloneable().

Here is the call graph for this function:

---

The documentation for this class was generated from the following file:

• src/org/jacop/constraints/Diff2Cloneable.java