org.jacop.constraints.DisjointConditionalCloneable Class Reference

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

Inheritance diagram for org.jacop.constraints.DisjointConditionalCloneable:

Public Member Functions
	DisjointConditionalCloneable (Rectangle[] rectangles, ExclusiveList exclusionList, boolean doProfile)
	It specifies a diff constraint.
	DisjointConditionalCloneable (List< List<? extends IntVar > > rectangles, List< List< Integer > > exceptionIndices, ArrayList<? extends IntVarCloneable > exceptionCondition)
	It creates Disjoint conditional constraint.
	DisjointConditionalCloneable (IntVarCloneable[][] rectangles, List< List< Integer > > exceptionIndices, ArrayList<? extends IntVarCloneable > exceptionCondition)
	It creates Disjoint conditional constraint.
	DisjointConditionalCloneable (List< List<? extends IntVar > > rectangles, List< List< Integer > > exceptionIndices, ArrayList<? extends IntVarCloneable > exceptionCondition, boolean profile)
	It creates Disjoint conditional constraint.
	DisjointConditionalCloneable (IntVarCloneable[][] rectangles, List< List< Integer > > exceptionIndices, List<? extends IntVarCloneable > exceptionCondition, boolean profile)
	It creates Disjoint conditional constraint.
	DisjointConditionalCloneable (ArrayList<? extends IntVarCloneable > o1, ArrayList<? extends IntVarCloneable > o2, ArrayList<? extends IntVarCloneable > l1, ArrayList<? extends IntVarCloneable > l2, List< List< Integer > > exceptionIndices, ArrayList<? extends IntVarCloneable > exceptionCondition)
	It constructs a disjoint conditional constraint.
	DisjointConditionalCloneable (IntVarCloneable[] o1, IntVarCloneable[] o2, IntVarCloneable[] l1, IntVarCloneable[] l2, List< List< Integer > > exceptionIndices, ArrayList<? extends IntVarCloneable > exceptionCondition)
	It constructs a disjoint conditional constraint.
	DisjointConditionalCloneable (ArrayList<? extends IntVarCloneable > o1, ArrayList<? extends IntVarCloneable > o2, ArrayList<? extends IntVarCloneable > l1, ArrayList<? extends IntVarCloneable > l2, List< List< Integer > > exceptionIndices, ArrayList<? extends IntVarCloneable > exceptionCondition, boolean profile)
	It constructs a disjoint conditional constraint.
	DisjointConditionalCloneable (IntVarCloneable[] o1, IntVarCloneable[] o2, IntVarCloneable[] l1, IntVarCloneable[] l2, List< List< Integer > > exceptionIndices, ArrayList<? extends IntVarCloneable > exceptionCondition, boolean profile)
	It constructs a disjoint conditional constraint.
DisjointConditionalCloneable	cloneInto (StoreCloneable targetStore) throws FailException
Public Member Functions inherited from org.jacop.constraints.ConstraintCloneableInterface< DisjointConditionalCloneable >
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 DisjointConditional constraint.

Author

Thomas Leaute

Constructor & Destructor Documentation

DisjointConditionalCloneable() [1/9]

org.jacop.constraints.DisjointConditionalCloneable.DisjointConditionalCloneable	(	Rectangle[]	rectangles,
		ExclusiveList	exclusionList,
		boolean	doProfile )

It specifies a diff constraint.

Parameters

rectangles	list of rectangles which can not overlap in at least one dimension.
exclusionList	it is a list of exclusive items. Each item consists of two ints and a variable.
doProfile	should the constraint compute and use the profile functionality.

Referenced by cloneInto().

DisjointConditionalCloneable() [2/9]

org.jacop.constraints.DisjointConditionalCloneable.DisjointConditionalCloneable	(	List< List<? extends IntVar > >	rectangles,
		List< List< Integer > >	exceptionIndices,
		ArrayList<? extends IntVarCloneable >	exceptionCondition )

It creates Disjoint conditional constraint.

Parameters

rectangles	the rectangles within a constraint.
exceptionIndices	a list of pairs of conditionally overlaping rectangles.
exceptionCondition	a variable specifying if a corresponding pair is nonoverlapping.

Warning

The variables must be of type IntVarCloneable

DisjointConditionalCloneable() [3/9]

org.jacop.constraints.DisjointConditionalCloneable.DisjointConditionalCloneable	(	IntVarCloneable	rectangles[][],
		List< List< Integer > >	exceptionIndices,
		ArrayList<? extends IntVarCloneable >	exceptionCondition )

It creates Disjoint conditional constraint.

Parameters

rectangles	the rectangles within a constraint.
exceptionIndices	list of rectangles that may not be considered
exceptionCondition	conditions for rectangles that may not be considered

DisjointConditionalCloneable() [4/9]

org.jacop.constraints.DisjointConditionalCloneable.DisjointConditionalCloneable	(	List< List<? extends IntVar > >	rectangles,
		List< List< Integer > >	exceptionIndices,
		ArrayList<? extends IntVarCloneable >	exceptionCondition,
		boolean	profile )

It creates Disjoint conditional constraint.

Parameters

rectangles	the rectangles within a constraint.
exceptionIndices	it specifies a list of pairs, where each pair specifies two rectangles which conditionally overlap.
exceptionCondition	a variable specifying if a corresponding pair is nonoverlapping.
profile	it specifies if the profiles are used and computed within the constraint.

Warning

The variables must be of type IntVarCloneable

DisjointConditionalCloneable() [5/9]

org.jacop.constraints.DisjointConditionalCloneable.DisjointConditionalCloneable	(	IntVarCloneable	rectangles[][],
		List< List< Integer > >	exceptionIndices,
		List<? extends IntVarCloneable >	exceptionCondition,
		boolean	profile )

It creates Disjoint conditional constraint.

Parameters

rectangles	the rectangles within a constraint.
exceptionIndices	list of rectangles that may not be considered
exceptionCondition	conditions for rectangles that may not be considered
profile	it specifies if the profiles are being computed and used within that constraint.

DisjointConditionalCloneable() [6/9]

org.jacop.constraints.DisjointConditionalCloneable.DisjointConditionalCloneable	(	ArrayList<? extends IntVarCloneable >	o1,
		ArrayList<? extends IntVarCloneable >	o2,
		ArrayList<? extends IntVarCloneable >	l1,
		ArrayList<? extends IntVarCloneable >	l2,
		List< List< Integer > >	exceptionIndices,
		ArrayList<? extends IntVarCloneable >	exceptionCondition )

It constructs a disjoint conditional constraint.

Parameters

o1	variables specifying the origin in the first dimension.
o2	variables specifying the origin in the second dimension.
l1	variables specifying the length in the first dimension.
l2	variables specifying the length in the second dimension.
exceptionIndices	it specifies a list of pairs, where each pair specifies two rectangles which conditionally overlap.
exceptionCondition	a variable specifying if a corresponding pair is nonoverlapping.

DisjointConditionalCloneable() [7/9]

org.jacop.constraints.DisjointConditionalCloneable.DisjointConditionalCloneable	(	IntVarCloneable[]	o1,
		IntVarCloneable[]	o2,
		IntVarCloneable[]	l1,
		IntVarCloneable[]	l2,
		List< List< Integer > >	exceptionIndices,
		ArrayList<? extends IntVarCloneable >	exceptionCondition )

It constructs a disjoint conditional constraint.

Parameters

o1	variables specifying the origin in the first dimension.
o2	variables specifying the origin in the second dimension.
l1	variables specifying the length in the first dimension.
l2	variables specifying the length in the second dimension.
exceptionIndices	it specifies a list of pairs, where each pair specifies two rectangles which conditionally overlap.
exceptionCondition	a variable specifying if a corresponding pair is nonoverlapping.

DisjointConditionalCloneable() [8/9]

org.jacop.constraints.DisjointConditionalCloneable.DisjointConditionalCloneable	(	ArrayList<? extends IntVarCloneable >	o1,
		ArrayList<? extends IntVarCloneable >	o2,
		ArrayList<? extends IntVarCloneable >	l1,
		ArrayList<? extends IntVarCloneable >	l2,
		List< List< Integer > >	exceptionIndices,
		ArrayList<? extends IntVarCloneable >	exceptionCondition,
		boolean	profile )

It constructs a disjoint conditional constraint.

Parameters

o1	variables specifying the origin in the first dimension.
o2	variables specifying the origin in the second dimension.
l1	variables specifying the length in the first dimension.
l2	variables specifying the length in the second dimension.
exceptionIndices	it specifies a list of pairs, where each pair specifies two rectangles which conditionally overlap.
exceptionCondition	a variable specifying if a corresponding pair is nonoverlapping.
profile	it specifies if the profiles are being computed and used within a constraint.

DisjointConditionalCloneable() [9/9]

org.jacop.constraints.DisjointConditionalCloneable.DisjointConditionalCloneable	(	IntVarCloneable[]	o1,
		IntVarCloneable[]	o2,
		IntVarCloneable[]	l1,
		IntVarCloneable[]	l2,
		List< List< Integer > >	exceptionIndices,
		ArrayList<? extends IntVarCloneable >	exceptionCondition,
		boolean	profile )

It constructs a disjoint conditional constraint.

Parameters

o1	variables specifying the origin in the first dimension.
o2	variables specifying the origin in the second dimension.
l1	variables specifying the length in the first dimension.
l2	variables specifying the length in the second dimension.
exceptionIndices	list of rectangles that may not be considered
exceptionCondition	conditions for rectangles that may not be considered
profile	it specifies if the profiles are being used and computed within that constraint.

Member Function Documentation

cloneInto()

DisjointConditionalCloneable org.jacop.constraints.DisjointConditionalCloneable.cloneInto

(

StoreCloneable

targetStore

)

throws FailException

See also

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

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

Here is the call graph for this function:

---

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

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