public class DiffnDecomposed extends DecomposedConstraint<Constraint>
Modifier and Type | Field and Description |
---|---|
protected List<Var> |
auxVar |
protected List<Constraint> |
constraints |
queueIndex
Constructor and Description |
---|
DiffnDecomposed(IntVar[][] rectangle)
It specifies a diffn constraint.
|
DiffnDecomposed(IntVar[] origin1,
IntVar[] origin2,
IntVar[] length1,
IntVar[] length2)
It constructs a diffn constraint.
|
DiffnDecomposed(List<? extends IntVar> x,
List<? extends IntVar> y,
List<? extends IntVar> lx,
List<? extends IntVar> ly)
It constructs a diffn 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
protected List<Constraint> constraints
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 © 2022. All rights reserved.