public class DisjointConditional extends Diff
Modifier and Type | Field and Description |
---|---|
org.jacop.constraints.ExclusiveList |
exclusionList
It specifies what rectangles can conditionally 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 |
---|
DisjointConditional(ArrayList<? extends IntVar> o1,
ArrayList<? extends IntVar> o2,
ArrayList<? extends IntVar> l1,
ArrayList<? extends IntVar> l2,
ArrayList<ArrayList<Integer>> exceptionIndices,
ArrayList<? extends IntVar> exceptionCondition)
It constructs a disjoint conditional constraint.
|
DisjointConditional(ArrayList<? extends IntVar> o1,
ArrayList<? extends IntVar> o2,
ArrayList<? extends IntVar> l1,
ArrayList<? extends IntVar> l2,
ArrayList<ArrayList<Integer>> exceptionIndices,
ArrayList<? extends IntVar> exceptionCondition,
boolean profile)
It constructs a disjoint conditional constraint.
|
DisjointConditional(ArrayList<ArrayList<? extends IntVar>> rectangles,
ArrayList<ArrayList<Integer>> exceptionIndices,
ArrayList<? extends IntVar> exceptionCondition)
It creates Disjoint conditional constraint.
|
DisjointConditional(ArrayList<ArrayList<? extends IntVar>> rectangles,
ArrayList<ArrayList<Integer>> exceptionIndices,
ArrayList<? extends IntVar> exceptionCondition,
boolean profile)
It creates Disjoint conditional constraint.
|
DisjointConditional(IntVar[][] rectangles,
ArrayList<ArrayList<Integer>> exceptionIndices,
ArrayList<? extends IntVar> exceptionCondition)
It creates Disjoint conditional constraint.
|
DisjointConditional(IntVar[][] rectangles,
ArrayList<ArrayList<Integer>> exceptionIndices,
ArrayList<? extends IntVar> exceptionCondition,
boolean profile)
It creates Disjoint conditional constraint.
|
DisjointConditional(IntVar[] o1,
IntVar[] o2,
IntVar[] l1,
IntVar[] l2,
ArrayList<ArrayList<Integer>> exceptionIndices,
ArrayList<? extends IntVar> exceptionCondition)
It constructs a disjoint conditional constraint.
|
DisjointConditional(IntVar[] o1,
IntVar[] o2,
IntVar[] l1,
IntVar[] l2,
ArrayList<ArrayList<Integer>> exceptionIndices,
ArrayList<? extends IntVar> exceptionCondition,
boolean profile)
It constructs a disjoint conditional constraint.
|
DisjointConditional(Rectangle[] rectangles,
org.jacop.constraints.ExclusiveList exclusionList,
boolean doProfile)
It specifies a diff 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 org.jacop.constraints.ExclusiveList exclusionList
public static String[] xmlAttributes
public DisjointConditional(Rectangle[] rectangles, org.jacop.constraints.ExclusiveList exclusionList, boolean doProfile)
rectangles
- list of rectangles which can not overlap in at least one dimension.exclusionList
- it is a list of exclusive items. Each item consists of two ints and a variable.doProfile
- should the constraint compute and use the profile functionality.public DisjointConditional(ArrayList<ArrayList<? extends IntVar>> rectangles, ArrayList<ArrayList<Integer>> exceptionIndices, ArrayList<? extends IntVar> exceptionCondition)
rectangles
- the rectangles within a constraint.exceptionIndices
- a list of pairs of conditionally overlaping rectangles.exceptionCondition
- a variable specifying if a corresponding pair is nonoverlapping.public DisjointConditional(ArrayList<ArrayList<? extends IntVar>> rectangles, ArrayList<ArrayList<Integer>> exceptionIndices, ArrayList<? extends IntVar> exceptionCondition, boolean profile)
rectangles
- the rectangles within a constraint.exceptionIndices
- it specifies a list of pairs, where each pair specifies two rectangles which conditionally overlap.exceptionCondition
- a variable specifying if a corresponding pair is nonoverlapping.profile
- it specifies if the profiles are used and computed within the constraint.public DisjointConditional(ArrayList<? extends IntVar> o1, ArrayList<? extends IntVar> o2, ArrayList<? extends IntVar> l1, ArrayList<? extends IntVar> l2, ArrayList<ArrayList<Integer>> exceptionIndices, ArrayList<? extends IntVar> exceptionCondition)
o1
- variables specifying the origin in the first dimension.o2
- variables specifying the origin in the second dimension.l1
- variables specifying the length in the first dimension.l2
- variables specifying the length in the second dimension.exceptionIndices
- it specifies a list of pairs, where each pair specifies two rectangles which conditionally overlap.exceptionCondition
- a variable specifying if a corresponding pair is nonoverlapping.public DisjointConditional(ArrayList<? extends IntVar> o1, ArrayList<? extends IntVar> o2, ArrayList<? extends IntVar> l1, ArrayList<? extends IntVar> l2, ArrayList<ArrayList<Integer>> exceptionIndices, ArrayList<? extends IntVar> exceptionCondition, boolean profile)
o1
- variables specifying the origin in the first dimension.o2
- variables specifying the origin in the second dimension.l1
- variables specifying the length in the first dimension.l2
- variables specifying the length in the second dimension.exceptionIndices
- it specifies a list of pairs, where each pair specifies two rectangles which conditionally overlap.exceptionCondition
- a variable specifying if a corresponding pair is nonoverlapping.profile
- it specifies if the profiles are being computed and used within a constraint.public DisjointConditional(IntVar[] o1, IntVar[] o2, IntVar[] l1, IntVar[] l2, ArrayList<ArrayList<Integer>> exceptionIndices, ArrayList<? extends IntVar> exceptionCondition)
o1
- variables specifying the origin in the first dimension.o2
- variables specifying the origin in the second dimension.l1
- variables specifying the length in the first dimension.l2
- variables specifying the length in the second dimension.exceptionIndices
- it specifies a list of pairs, where each pair specifies two rectangles which conditionally overlap.exceptionCondition
- a variable specifying if a corresponding pair is nonoverlapping.public DisjointConditional(IntVar[] o1, IntVar[] o2, IntVar[] l1, IntVar[] l2, ArrayList<ArrayList<Integer>> exceptionIndices, ArrayList<? extends IntVar> exceptionCondition, boolean profile)
o1
- variables specifying the origin in the first dimension.o2
- variables specifying the origin in the second dimension.l1
- variables specifying the length in the first dimension.l2
- variables specifying the length in the second dimension.exceptionIndices
- exceptionCondition
- profile
- it specifies if the profiles are being used and computed within that constraint.public DisjointConditional(IntVar[][] rectangles, ArrayList<ArrayList<Integer>> exceptionIndices, ArrayList<? extends IntVar> exceptionCondition)
rectangles
- the rectangles within a constraint.exceptionIndices
- exceptionCondition
- public DisjointConditional(IntVar[][] rectangles, ArrayList<ArrayList<Integer>> exceptionIndices, ArrayList<? extends IntVar> exceptionCondition, boolean profile)
rectangles
- the rectangles within a constraint.exceptionIndices
- exceptionCondition
- profile
- it specifies if the profiles are being computed and used within that constraint.public void impose(Store store)
Constraint
public boolean satisfied()
Constraint
public String toString()
Constraint
Copyright © 2015. All rights reserved.