All Superinterfaces:

Expression

All Known Subinterfaces:

LeafExpression

All Known Implementing Classes:

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

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`ConstraintResult`	`enforce(ConstraintStore constraintStore)`	Attempts to enforce this constraint using the given `ConstraintStore`.
`default long`	`getMax(ReadConstraintStore constraintStore)`
`default long`	`getMin(ReadConstraintStore 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.
`default ExpressionResult`	`setMax(ConstraintStore constraintStore, long max)`
`default ExpressionResult`	`setMin(ConstraintStore constraintStore, long min)`
`void`	`walk(java.util.function.Consumer<Expression> consumer)`	Traverse this constraint.

Methods inherited from interface org.projog.clp.Expression
setNot

- 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.
    
    Specified by:
    
    walk in interface Expression
    
    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.
    
    Specified by:
    
    replace in interface Expression
    
    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.
  - getMin
```
default long getMin(ReadConstraintStore constraintStore)
```
    Specified by:
    
    getMin in interface Expression
  - getMax
```
default long getMax(ReadConstraintStore constraintStore)
```
    Specified by:
    
    getMax in interface Expression
  - setMin
```
default ExpressionResult setMin(ConstraintStore constraintStore,
                                long min)
```
    Specified by:
    
    setMin in interface Expression
  - setMax
```
default ExpressionResult setMax(ConstraintStore constraintStore,
                                long max)
```
    Specified by:
    
    setMax in interface Expression

Interface Constraint

Method Summary

Methods inherited from interface org.projog.clp.Expression

Method Detail

enforce

prevent

reify

walk

replace

getMin

getMax

setMin

setMax