Package org.projog.clp

Interface Constraint

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

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(Function<LeafExpression,LeafExpression> function)	Returns new Constraint with LeafExpressions 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(Consumer<Expression> consumer)	Traverse this constraint.

Methods inherited from interface org.projog.clp.Expression

setNot

Method Details

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(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(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