org.jacop.constraints.AssignmentCloneable Class Reference

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

Inheritance diagram for org.jacop.constraints.AssignmentCloneable:

Public Member Functions
	AssignmentCloneable (ArrayList<? extends IntVarCloneable > xs, ArrayList<? extends IntVarCloneable > ds)
	It constructs an Assignment constraint with shift equal 0.
	AssignmentCloneable (IntVarCloneable[] xs, IntVarCloneable[] ds)
	It constructs an Assignment constraint with shift equal 0.
	AssignmentCloneable (ArrayList<? extends IntVarCloneable > xs, ArrayList<? extends IntVarCloneable > ds, int min)
	It enforces the relationship x[d[i]-min]=i+min and d[x[i]-min]=i+min.
	AssignmentCloneable (IntVarCloneable[] xs, IntVarCloneable[] ds, int min)
	It enforces the relationship x[d[i]-min]=i+min and d[x[i]-min]=i+min.
	AssignmentCloneable (IntVarCloneable[] xs, IntVarCloneable[] ds, int shiftX, int shiftD)
	It enforces the relationship x[d[i]-shiftX]=i+shiftD and d[x[i]-shiftD]=i+shiftX.
	AssignmentCloneable (ArrayList<? extends IntVarCloneable > xs, ArrayList<? extends IntVarCloneable > ds, int shiftX, int shiftD)
	It enforces the relationship x[d[i]-shiftX]=i+shiftD and d[x[i]-shiftD]=i+shiftX.
AssignmentCloneable	cloneInto (StoreCloneable targetStore) throws FailException
HashSet< Var >	arguments ()
Public Member Functions inherited from org.jacop.constraints.ConstraintCloneableInterface< AssignmentCloneable >
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 Assignment constraint.

Author

Thomas Leaute

Constructor & Destructor Documentation

AssignmentCloneable() [1/6]

org.jacop.constraints.AssignmentCloneable.AssignmentCloneable	(	ArrayList<? extends IntVarCloneable >	xs,
		ArrayList<? extends IntVarCloneable >	ds )

It constructs an Assignment constraint with shift equal 0.

It enforces relation - d[x[j]] = i and x[d[i]] = j.

Parameters

xs	arraylist of x variables
ds	arraylist of d variables

Referenced by cloneInto().

AssignmentCloneable() [2/6]

org.jacop.constraints.AssignmentCloneable.AssignmentCloneable	(	IntVarCloneable[]	xs,
		IntVarCloneable[]	ds )

It constructs an Assignment constraint with shift equal 0.

It enforces relation - d[x[i]] = i and x[d[i]] = i.

Parameters

xs	array of x variables
ds	array of d variables

AssignmentCloneable() [3/6]

org.jacop.constraints.AssignmentCloneable.AssignmentCloneable	(	ArrayList<? extends IntVarCloneable >	xs,
		ArrayList<? extends IntVarCloneable >	ds,
		int	min )

It enforces the relationship x[d[i]-min]=i+min and d[x[i]-min]=i+min.

Parameters

xs	arraylist of variables x
ds	arraylist of variables d
min	shift

AssignmentCloneable() [4/6]

org.jacop.constraints.AssignmentCloneable.AssignmentCloneable	(	IntVarCloneable[]	xs,
		IntVarCloneable[]	ds,
		int	min )

It enforces the relationship x[d[i]-min]=i+min and d[x[i]-min]=i+min.

Parameters

xs	array of variables x
ds	array of variables d
min	shift

AssignmentCloneable() [5/6]

org.jacop.constraints.AssignmentCloneable.AssignmentCloneable	(	IntVarCloneable[]	xs,
		IntVarCloneable[]	ds,
		int	shiftX,
		int	shiftD )

It enforces the relationship x[d[i]-shiftX]=i+shiftD and d[x[i]-shiftD]=i+shiftX.

Parameters

xs	array of variables x
ds	array of variables d
shiftX	a shift of indexes in X array.
shiftD	a shift of indexes in D array.

Note

Original code copied from JaCoP 4.4 and patched for bugs

AssignmentCloneable() [6/6]

org.jacop.constraints.AssignmentCloneable.AssignmentCloneable	(	ArrayList<? extends IntVarCloneable >	xs,
		ArrayList<? extends IntVarCloneable >	ds,
		int	shiftX,
		int	shiftD )

It enforces the relationship x[d[i]-shiftX]=i+shiftD and d[x[i]-shiftD]=i+shiftX.

Parameters

xs	arraylist of variables x
ds	arraylist of variables d
shiftX	shift for parameter xs
shiftD	shift for parameter ds

Member Function Documentation

arguments()

HashSet< Var > org.jacop.constraints.AssignmentCloneable.arguments

(

)

See also

Assignment#arguments()

Note

Original code copied from JaCoP 4.4 and patched for bugs

cloneInto()

AssignmentCloneable org.jacop.constraints.AssignmentCloneable.cloneInto

(

StoreCloneable

targetStore

)

throws FailException

See also

ConstraintCloneableInterface.cloneInto(StoreCloneable)

References AssignmentCloneable().

Here is the call graph for this function:

---

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

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