public class Disjoint extends Diff
Modifier and Type | Field and Description |
---|---|
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 |
---|
Disjoint(ArrayList<? extends ArrayList<? extends IntVar>> rectangles)
It creates a diff2 constraint.
|
Disjoint(ArrayList<? extends ArrayList<? extends IntVar>> rectangles,
boolean profile)
It creates a diff2 constraint.
|
Disjoint(ArrayList<? extends IntVar> o1,
ArrayList<? extends IntVar> o2,
ArrayList<? extends IntVar> l1,
ArrayList<? extends IntVar> l2)
It creates a diff2 constraint.
|
Disjoint(ArrayList<IntVar> o1,
ArrayList<IntVar> o2,
ArrayList<IntVar> l1,
ArrayList<IntVar> l2,
boolean profile)
It creates a diff2 constraint.
|
Disjoint(IntVar[][] rectangles,
boolean profile)
It creates a diff2 constraint.
|
Disjoint(IntVar[] o1,
IntVar[] o2,
IntVar[] l1,
IntVar[] l2)
It creates a diff2 constraint.
|
Disjoint(IntVar[] o1,
IntVar[] o2,
IntVar[] l1,
IntVar[] l2,
boolean profile)
It creates a diff2 constraint.
|
Disjoint(Rectangle[] rectangles,
boolean doProfile) |
Disjoint(Store store,
IntVar[][] rectangles)
It creates a diff2 constraint.
|
Modifier and Type | Method and Description |
---|---|
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, id, increaseWeight, queueVariable, removeConstraint, removeLevel
cleanAfterFailure, decompose, getGuideConstraint, getGuideValue, getGuideVariable, impose, imposeDecomposition, numberArgs, removeLevelLate, requiresMonotonicity, setConsistencyPruningEvent, supplyGuideFeedback
auxiliaryVariables, derivative, imposeDecomposition
public static String[] xmlAttributes
public Disjoint(Rectangle[] rectangles, boolean doProfile)
rectangles
- a list of rectangles.doProfile
- should profile be computed and used.public Disjoint(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 Disjoint(ArrayList<? extends ArrayList<? extends IntVar>> rectangles)
rectangles
- list of rectangles with origins and lengths in both dimensions.public Disjoint(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 Disjoint(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 Disjoint(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 Disjoint(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 Disjoint(Store store, IntVar[][] rectangles)
store
- constraint store in which the constraint is created.rectangles
- list of rectangles with origins and lengths in both dimensions.public Disjoint(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 void impose(Store store)
Constraint
public boolean satisfied()
Constraint
public String toString()
Constraint
Copyright © 2015. All rights reserved.