public class Nooverlap extends Constraint
atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope
queueIndex
Constructor and Description 

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

Nooverlap(IntVar[][] rectangle,
boolean strict)
It specifies a diff constraint.

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

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

Nooverlap(List<? extends IntVar> o1,
List<? extends IntVar> o2,
List<? extends IntVar> l1,
List<? extends IntVar> l2)
It constructs a diff constraint.

Nooverlap(List<? extends IntVar> o1,
List<? extends IntVar> o2,
List<? extends IntVar> l1,
List<? extends IntVar> l2,
boolean strict)
It constructs a diff constraint.

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

Nooverlap(List<? extends List<? extends IntVar>> rectangle,
boolean strict)
It specifies a diffn constraint.

Modifier and Type  Method and Description 

void 
consistency(Store store)
It is a (most probably incomplete) consistency function which removes the
values from variables domains.

int 
getDefaultConsistencyPruningEvent() 
void 
impose(Store store)
It imposes the constraint in a given store.

boolean 
notSatisfied() 
boolean 
satisfied() 
String 
toString()
It produces a string representation of a constraint state.

afc, arguments, cleanAfterFailure, decompose, getConsistencyPruningEvent, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, impose, imposeDecomposition, increaseWeight, intArrayToString, long2int, numberArgs, queueVariable, removeConstraint, requiresMonotonicity, setConsistencyPruningEvent, setConstraintScope, setScope, setScope, setScope, setScope, setScope, setWatchedVariableGrounded, supplyGuideFeedback, updateAFC, watchedVariableGrounded
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
public Nooverlap(IntVar[][] rectangle)
rectangle
 list of rectangles which can not overlap in at least one dimension.public Nooverlap(IntVar[][] rectangle, boolean strict)
rectangle
 list of rectangles which can not overlap in at least one dimension.strict
 true zero size rectangles need to be between other rectangles; false these rectangles can be anywherepublic Nooverlap(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 Nooverlap(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2, boolean strict)
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.strict
 true zero size rectangles need to be between other rectangles; false these rectangles can be anywherepublic Nooverlap(List<? extends List<? extends IntVar>> rectangle)
rectangle
 list of rectangles which can not overlap in at least one dimension.public Nooverlap(List<? extends List<? extends IntVar>> rectangle, boolean strict)
rectangle
 list of rectangles which can not overlap in at least one dimension.strict
 true zero size rectangles need to be between other rectangles; false these rectangles can be anywherepublic Nooverlap(List<? extends IntVar> o1, List<? extends IntVar> o2, List<? extends IntVar> l1, List<? extends IntVar> l2)
o1
 list of variables denoting origin of the rectangle in the first dimension.o2
 list of variables denoting origin of the rectangle in the second dimension.l1
 list of variables denoting length of the rectangle in the first dimension.l2
 list of variables denoting length of the rectangle in the second dimension.public Nooverlap(List<? extends IntVar> o1, List<? extends IntVar> o2, List<? extends IntVar> l1, List<? extends IntVar> l2, boolean strict)
o1
 list of variables denoting origin of the rectangle in the first dimension.o2
 list of variables denoting origin of the rectangle in the second dimension.l1
 list of variables denoting length of the rectangle in the first dimension.l2
 list of variables denoting length of the rectangle in the second dimension.strict
 true zero size rectangles need to be between other rectangles; false these rectangles can be anywherepublic void consistency(Store store)
Constraint
consistency
in class Constraint
store
 constraint store within which the constraint consistency is being checked.public int getDefaultConsistencyPruningEvent()
getDefaultConsistencyPruningEvent
in class Constraint
public void impose(Store store)
Constraint
impose
in class Constraint
store
 the constraint store to which the constraint is imposed to.public boolean satisfied()
public boolean notSatisfied()
public String toString()
Constraint
toString
in class Constraint
Copyright © 2022. All rights reserved.