public class DiffnDecomposed extends DecomposedConstraint<Constraint>
queueIndex
Constructor and Description 

DiffnDecomposed(IntVar[][] rectangle)
It specifies a diff constraint.

DiffnDecomposed(IntVar[] origin1,
IntVar[] origin2,
IntVar[] length1,
IntVar[] length2)
It constructs a diff constraint.

DiffnDecomposed(List<? extends IntVar> x,
List<? extends IntVar> y,
List<? extends IntVar> lx,
List<? extends IntVar> ly)
It constructs a diff constraint.

DiffnDecomposed(List<? extends List<? extends IntVar>> rectangle)
It specifies a diffn constraint.

Modifier and Type  Method and Description 

List<Var> 
auxiliaryVariables() 
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() 
checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
public DiffnDecomposed(IntVar[][] rectangle)
rectangle
 list of rectangles which can not overlap in at least one dimension.public DiffnDecomposed(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2)
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.public DiffnDecomposed(List<? extends List<? extends IntVar>> rectangle)
rectangle
 list of rectangles which can not overlap in at least one dimension.public DiffnDecomposed(List<? extends IntVar> x, List<? extends IntVar> y, List<? extends IntVar> lx, List<? extends IntVar> ly)
x
 list of variables denoting origin of the rectangle in the first dimension.y
 list of variables denoting origin of the rectangle in the second dimension.lx
 list of variables denoting length of the rectangle in the first dimension.ly
 list of variables denoting length of the rectangle in the second dimension.public void imposeDecomposition(Store store)
imposeDecomposition
in class DecomposedConstraint<Constraint>
store
 the constraint store to which the constraint is imposed to.public List<Constraint> decompose(Store store)
DecomposedConstraint
decompose
in class DecomposedConstraint<Constraint>
store
 the constraint store in which context the decomposition takes place.public List<Var> auxiliaryVariables()
auxiliaryVariables
in class DecomposedConstraint<Constraint>
Copyright © 2020. All rights reserved.