org.jacop.constraints.diffn

Class Diffn

java.lang.Object

org.jacop.constraints.DecomposedConstraint<Constraint>

org.jacop.constraints.Constraint

org.jacop.constraints.diffn.Nooverlap

org.jacop.constraints.diffn.Diffn

public class Diffn
extends Nooverlap

Diffn constraint assures that any two rectangles from a vector of rectangles does not overlap in at least one direction. It is a simple implementation which does not use sophisticated techniques for efficient backtracking.

Version:

4.9

Author:

Krzysztof Kuchcinski

Field Summary

Fields

Modifier and Type	Field and Description
protected List<Var>	auxVar
protected List<Constraint>	constraints

Fields inherited from class org.jacop.constraints.Constraint

atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope

Fields inherited from class org.jacop.constraints.DecomposedConstraint

queueIndex

Constructor Summary

Constructors

Constructor and Description
Diffn(IntVar[][] rectangles) It specifies a diff constraint.
Diffn(IntVar[][] rectangles, boolean strict) It specifies a diff constraint.
Diffn(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2) It constructs a diff constraint.
Diffn(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2, boolean strict) It constructs a diff constraint.
Diffn(List<? extends IntVar> o1, List<? extends IntVar> o2, List<? extends IntVar> l1, List<? extends IntVar> l2) It constructs a diff constraint.
Diffn(List<? extends IntVar> o1, List<? extends IntVar> o2, List<? extends IntVar> l1, List<? extends IntVar> l2, boolean strict) It constructs a diff constraint.
Diffn(List<? extends List<? extends IntVar>> rectangles) It specifies a diffn constraint.
Diffn(List<? extends List<? extends IntVar>> rectangles, boolean strict) It specifies a diffn constraint.

Method Summary

Modifier and Type	Method and Description
List<Var>	auxiliaryVariables()
void	consistency(Store store) It is a (most probably incomplete) consistency function which removes the values from variables domains.
List<Constraint>	decompose(Store store) It returns an array list of constraint which are used to decompose this constraint.
void	imposeDecomposition(Store store) It imposes DiffnDecomposed in a given store.
String	toString() It produces a string representation of a constraint state.

Methods inherited from class org.jacop.constraints.diffn.Nooverlap

getDefaultConsistencyPruningEvent, impose, notSatisfied, satisfied

Methods inherited from class org.jacop.constraints.Constraint

afc, arguments, cleanAfterFailure, getConsistencyPruningEvent, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, impose, increaseWeight, intArrayToString, long2int, numberArgs, queueVariable, removeConstraint, requiresMonotonicity, setConsistencyPruningEvent, setConstraintScope, setScope, setScope, setScope, setScope, setScope, setWatchedVariableGrounded, supplyGuideFeedback, updateAFC, watchedVariableGrounded

Methods inherited from class org.jacop.constraints.DecomposedConstraint

checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition

Methods inherited from class java.lang.Object

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

Field Detail

constraints

protected List<Constraint> constraints

auxVar

protected List<Var> auxVar

Constructor Detail

Diffn

public Diffn(IntVar[][] rectangles)

It specifies a diff constraint.

Parameters:

rectangles - list of rectangles which can not overlap in at least one dimension.

Diffn

public Diffn(IntVar[][] rectangles,
             boolean strict)

It specifies a diff constraint.

Parameters:

rectangles - list of rectangles which can not overlap in at least one dimension.

strict - true- zero size rectangles need to be between other rectangles; false- these rectangles can be anywhere

Diffn

public Diffn(IntVar[] origin1,
             IntVar[] origin2,
             IntVar[] length1,
             IntVar[] length2)

It constructs a diff constraint.

Parameters:

origin1 - list of variables denoting origin of the rectangle in the first dimension.

origin2 - list of variables denoting origin of the rectangle in the second dimension.

length1 - list of variables denoting length of the rectangle in the first dimension.

length2 - list of variables denoting length of the rectangle in the second dimension.

Diffn

public Diffn(IntVar[] origin1,
             IntVar[] origin2,
             IntVar[] length1,
             IntVar[] length2,
             boolean strict)

It constructs a diff constraint.

Parameters:

origin1 - list of variables denoting origin of the rectangle in the first dimension.

origin2 - list of variables denoting origin of the rectangle in the second dimension.

length1 - list of variables denoting length of the rectangle in the first dimension.

length2 - list of variables denoting length of the rectangle in the second dimension.

strict - true- zero size rectangles need to be between other rectangles; false- these rectangles can be anywhere

Diffn

public Diffn(List<? extends List<? extends IntVar>> rectangles)

It specifies a diffn constraint.

Parameters:

rectangles - list of rectangles which can not overlap in at least one dimension.

Diffn

public Diffn(List<? extends List<? extends IntVar>> rectangles,
             boolean strict)

It specifies a diffn constraint.

Parameters:

rectangles - list of rectangles which can not overlap in at least one dimension.

strict - true- zero size rectangles need to be between other rectangles; false- these rectangles can be anywhere

Diffn

public Diffn(List<? extends IntVar> o1,
             List<? extends IntVar> o2,
             List<? extends IntVar> l1,
             List<? extends IntVar> l2)

It constructs a diff constraint.

Parameters:

o1 - list of variables denoting origin of the rectangle in the first dimension.

o2 - list of variables denoting origin of the rectangle in the second dimension.

l1 - list of variables denoting length of the rectangle in the first dimension.

l2 - list of variables denoting length of the rectangle in the second dimension.

Diffn

public Diffn(List<? extends IntVar> o1,
             List<? extends IntVar> o2,
             List<? extends IntVar> l1,
             List<? extends IntVar> l2,
             boolean strict)

It constructs a diff constraint.

Parameters:

o1 - list of variables denoting origin of the rectangle in the first dimension.

o2 - list of variables denoting origin of the rectangle in the second dimension.

l1 - list of variables denoting length of the rectangle in the first dimension.

l2 - list of variables denoting length of the rectangle in the second dimension.

strict - true- zero size rectangles need to be between other rectangles; false- these rectangles can be anywhere

Method Detail

consistency

public void consistency(Store store)

Description copied from class: Constraint

It is a (most probably incomplete) consistency function which removes the values from variables domains. Only values which do not have any support in a solution space are removed.

Overrides:

consistency in class Nooverlap

Parameters:

store - constraint store within which the constraint consistency is being checked.

imposeDecomposition

public void imposeDecomposition(Store store)

It imposes DiffnDecomposed in a given store.

Overrides:

imposeDecomposition in class Constraint

Parameters:

store - the constraint store to which the constraint is imposed to.

decompose

public List<Constraint> decompose(Store store)

Description copied from class: Constraint

It returns an array list of constraint which are used to decompose this constraint. It actually creates a decomposition (possibly also creating variables), but it does not impose the constraint.

Overrides:

decompose in class Constraint

Parameters:

store - the constraint store in which context the decomposition takes place.

Returns:

an array list of constraints used to decompose this constraint.

auxiliaryVariables

public List<Var> auxiliaryVariables()

Overrides:

auxiliaryVariables in class DecomposedConstraint<Constraint>

Returns:

null if no auxiliary variables were created, otherwise a list with variables.

toString

public String toString()

Description copied from class: Constraint

It produces a string representation of a constraint state.

Overrides:

toString in class Nooverlap