Constraint

All Known Subinterfaces:

LeafExpression

All Known Implementing Classes:

And, Between, EqualTo, Equivalent, FixedValue, Implication, LessThan, LessThanOrEqualTo, Not, NotEqualTo, Or, Variable, Xor
```
public interface Constraint
```
A rule that restricts the numeric values that can be used to solve a problem.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`ConstraintResult`	`enforce(ConstraintStore constraintStore)`	Attempts to enforce this constraint using the given `ConstraintStore`.
`ConstraintResult`	`prevent(ConstraintStore constraintStore)`	Attempts to prevent this constraint using the given `ConstraintStore`.
`ConstraintResult`	`reify(ReadConstraintStore constraintStore)`
`Constraint`	`replace(java.util.function.Function<LeafExpression,LeafExpression> function)`	Returns new `Constraint` with `LeafExpression`s in this `Constraint` replaced with values returned from the given function.
`void`	`walk(java.util.function.Consumer<Expression> consumer)`	Traverse this constraint.

- Method Detail
  - enforce
```
ConstraintResult enforce(ConstraintStore constraintStore)
```
    Attempts to enforce this constraint using the given ConstraintStore.
  - prevent
```
ConstraintResult prevent(ConstraintStore constraintStore)
```
    Attempts to prevent this constraint using the given ConstraintStore.
  - reify
```
ConstraintResult reify(ReadConstraintStore constraintStore)
```
  - walk
```
void walk(java.util.function.Consumer<Expression> consumer)
```
    Traverse this constraint.
    
    Parameters:
    
    consumer - will be called for each Expression contained within this Constraint.
  - replace
```
Constraint replace(java.util.function.Function<LeafExpression,LeafExpression> function)
```
    Returns new Constraint with LeafExpressions in this Constraint replaced with values returned from the given function.
    
    Parameters:
    
    function - returns the LeafExpression to use as a replacement for the LeafExpression it is called with, or null if the original LeafExpression should continue to be used.
    
    Returns:
    
    a new Constraint with LeafExpressions in this Constraint replaced with versions returned from function.