public class DiffNotEqualConstraint extends java.lang.Object implements Constraint
Constructor and Description |
---|
DiffNotEqualConstraint(Variable var1,
Variable var2,
int diff) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Variable> |
getScope()
Returns a tuple of variables that participate in the constraint.
|
boolean |
isSatisfiedWith(Assignment assignment)
Constrains the values that the variables can take on.
|
public java.util.List<Variable> getScope()
Constraint
getScope
in interface Constraint
public boolean isSatisfiedWith(Assignment assignment)
Constraint
isSatisfiedWith
in interface Constraint