Package org.projog.clp.compare

Class LessThan

java.lang.Object

org.projog.clp.compare.LessThan

All Implemented Interfaces:

Constraint, Expression

public final class LessThan
extends java.lang.Object
implements Constraint

Enforces that the value of one Expression is less than another.

Field Summary

Fields

Modifier and Type	Field	Description
private Expression	left
private Expression	right

Constructor Summary

Constructors

Constructor	Description
LessThan(Expression left, Expression right)	Enforces that the value of left is less than the value of right.

Method Summary

Modifier and Type	Method	Description
ConstraintResult	enforce(ConstraintStore m)	Attempts to enforce this constraint using the given ConstraintStore.
(package private) static ConstraintResult	enforce(Expression left, Expression right, ConstraintStore m)
ConstraintResult	prevent(ConstraintStore constraintStore)	Attempts to prevent this constraint using the given ConstraintStore.
ConstraintResult	reify(ReadConstraintStore constraintStore)
LessThan	replace(java.util.function.Function<LeafExpression,LeafExpression> r)	Returns new Constraint with LeafExpressions in this Constraint replaced with values returned from the given function.
java.lang.String	toString()
void	walk(java.util.function.Consumer<Expression> r)	Traverse this constraint.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.projog.clp.Constraint

getMax, getMin, setMax, setMin

Methods inherited from interface org.projog.clp.Expression

setNot

Field Detail

left

private final Expression left

right

private final Expression right

Constructor Detail

LessThan

public LessThan(Expression left,
                Expression right)

Enforces that the value of left is less than the value of right.

Parameters:

left - the expression whose value must be less than right

right - the expression whose value must be greater than left

Method Detail

enforce

public ConstraintResult enforce(ConstraintStore m)

Description copied from interface: Constraint

Attempts to enforce this constraint using the given ConstraintStore.

Specified by:

enforce in interface Constraint

enforce

static ConstraintResult enforce(Expression left,
                                Expression right,
                                ConstraintStore m)

reify

public ConstraintResult reify(ReadConstraintStore constraintStore)

Specified by:

reify in interface Constraint

prevent

public ConstraintResult prevent(ConstraintStore constraintStore)

Description copied from interface: Constraint

Attempts to prevent this constraint using the given ConstraintStore.

Specified by:

prevent in interface Constraint

walk

public void walk(java.util.function.Consumer<Expression> r)

Description copied from interface: Constraint

Traverse this constraint.

Specified by:

walk in interface Constraint

Specified by:

walk in interface Expression

Parameters:

r - will be called for each Expression contained within this Constraint.

replace

public LessThan replace(java.util.function.Function<LeafExpression,LeafExpression> r)

Description copied from interface: Constraint

Returns new Constraint with LeafExpressions in this Constraint replaced with values returned from the given function.

Specified by:

replace in interface Constraint

Specified by:

replace in interface Expression

Parameters:

r - 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.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object