public interface Constraint
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.
|
java.util.List<Variable> getScope()
boolean isSatisfiedWith(Assignment assignment)