public class Diff2 extends Diff
Modifier and Type | Field and Description |
---|---|
int[] |
exclusiveList
It specifies a list of pairs of rectangles which can overlap.
|
static String[] |
xmlAttributes
It specifies the arguments required to be saved by an XML format as well as
the constructor being called to recreate an object from an XML format.
|
doProfile, rectangles
atomicExecution, consistencyPruningEvents, earlyTerminationOK, id, increaseWeight, numberArgs, numberId
queueIndex
Constructor and Description |
---|
Diff2(ArrayList<? extends ArrayList<? extends IntVar>> rectangles)
It creates a diff2 constraint.
|
Diff2(ArrayList<? extends ArrayList<? extends IntVar>> rectangles,
boolean profile)
It creates a diff2 constraint.
|
Diff2(ArrayList<? extends IntVar> o1,
ArrayList<? extends IntVar> o2,
ArrayList<? extends IntVar> l1,
ArrayList<? extends IntVar> l2)
It creates a diff2 constraint.
|
Diff2(ArrayList<ArrayList<IntVar>> rect,
ArrayList<ArrayList<Integer>> exclusiveList)
Conditional Diff2.
|
Diff2(ArrayList<IntVar> o1,
ArrayList<IntVar> o2,
ArrayList<IntVar> l1,
ArrayList<IntVar> l2,
boolean profile)
It creates a diff2 constraint.
|
Diff2(IntVar[][] rectangles)
It creates a diff2 constraint.
|
Diff2(IntVar[][] rect,
ArrayList<ArrayList<Integer>> exclusive)
Conditional Diff2.
|
Diff2(IntVar[][] rectangles,
boolean profile)
It creates a diff2 constraint.
|
Diff2(IntVar[] o1,
IntVar[] o2,
IntVar[] l1,
IntVar[] l2)
It creates a diff2 constraint.
|
Diff2(IntVar[] o1,
IntVar[] o2,
IntVar[] l1,
IntVar[] l2,
boolean profile)
It creates a diff2 constraint.
|
Diff2(Rectangle[] rectangles,
int[] exclusiveList,
boolean doProfile)
Conditional Diff2.
|
Modifier and Type | Method and Description |
---|---|
String |
id()
It gives the id string of a constraint.
|
void |
impose(Store store)
It imposes the constraint in a given store.
|
boolean |
satisfied()
It checks if the constraint is satisfied.
|
String |
toString()
It produces a string representation of a constraint state.
|
arguments, consistency, getConsistencyPruningEvent, increaseWeight, queueVariable, removeConstraint, removeLevel
cleanAfterFailure, decompose, getGuideConstraint, getGuideValue, getGuideVariable, impose, imposeDecomposition, numberArgs, removeLevelLate, requiresMonotonicity, setConsistencyPruningEvent, supplyGuideFeedback
auxiliaryVariables, derivative, imposeDecomposition
public int[] exclusiveList
public static String[] xmlAttributes
public Diff2(Rectangle[] rectangles, int[] exclusiveList, boolean doProfile)
rectangles
- a list of rectangles.exclusiveList
- a list denoting the pair of rectangles, which can overlapdoProfile
- should profile be computed and used.public Diff2(ArrayList<IntVar> o1, ArrayList<IntVar> o2, ArrayList<IntVar> l1, ArrayList<IntVar> l2, boolean profile)
o1
- list of variables denoting the origin in the first dimension.o2
- list of variables denoting the origin in the second dimension.l1
- list of variables denoting the length in the first dimension.l2
- list of variables denoting the length in the second dimension.profile
- specifies if the profile should be computed.public Diff2(ArrayList<? extends ArrayList<? extends IntVar>> rectangles)
rectangles
- list of rectangles with origins and lengths in both dimensions.public Diff2(ArrayList<? extends ArrayList<? extends IntVar>> rectangles, boolean profile)
rectangles
- list of rectangles with origins and lengths in both dimensions.profile
- specifies if the profile is computed and used.public Diff2(ArrayList<? extends IntVar> o1, ArrayList<? extends IntVar> o2, ArrayList<? extends IntVar> l1, ArrayList<? extends IntVar> l2)
o1
- list of variables denoting the origin in the first dimension.o2
- list of variables denoting the origin in the second dimension.l1
- list of variables denoting the length in the first dimension.l2
- list of variables denoting the length in the second dimension.public Diff2(IntVar[] o1, IntVar[] o2, IntVar[] l1, IntVar[] l2)
o1
- list of variables denoting the origin in the first dimension.o2
- list of variables denoting the origin in the second dimension.l1
- list of variables denoting the length in the first dimension.l2
- list of variables denoting the length in the second dimension.public Diff2(IntVar[] o1, IntVar[] o2, IntVar[] l1, IntVar[] l2, boolean profile)
o1
- list of variables denoting the origin in the first dimension.o2
- list of variables denoting the origin in the second dimension.l1
- list of variables denoting the length in the first dimension.l2
- list of variables denoting the length in the second dimension.profile
- specifies if the profile should be computed.public Diff2(IntVar[][] rectangles)
rectangles
- list of rectangles with origins and lengths in both dimensions.public Diff2(IntVar[][] rectangles, boolean profile)
rectangles
- list of rectangles with origins and lengths in both dimensions.profile
- specifies if the profile is computed and used.public Diff2(ArrayList<ArrayList<IntVar>> rect, ArrayList<ArrayList<Integer>> exclusiveList)
rect
- - list of rectangles, each rectangle represented by a list of variables.exclusiveList
- - list of rectangles pairs which can overlap.public Diff2(IntVar[][] rect, ArrayList<ArrayList<Integer>> exclusive)
rect
- - list of rectangles, each rectangle represented by a list of variables.exclusive
- - list of rectangles pairs which can overlap.public void impose(Store store)
Constraint
public boolean satisfied()
Constraint
public String id()
Constraint
public String toString()
Constraint
Copyright © 2015. All rights reserved.