Package org.projog.clp.math

Class Add

java.lang.Object

org.projog.clp.math.Add

All Implemented Interfaces:

Expression

public final class Add
extends java.lang.Object
implements Expression

The sum of two Expressions.

Field Summary

Fields

Modifier and Type	Field	Description
private Expression	left
private Expression	right

Constructor Summary

Constructors

Constructor	Description
Add(Expression left, Expression right)

Method Summary

Modifier and Type	Method	Description
long	getMax(ReadConstraintStore s)
long	getMin(ReadConstraintStore s)
Add	replace(java.util.function.Function<LeafExpression,LeafExpression> r)	Returns a Expression with LeafExpressions in this Expression replaced with values returned from the given function.
ExpressionResult	setMax(ConstraintStore s, long max)
ExpressionResult	setMin(ConstraintStore s, long min)
java.lang.String	toString()
void	walk(java.util.function.Consumer<Expression> r)	Traverse this expression.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.projog.clp.Expression

setNot

Field Detail

left

private final Expression left

right

private final Expression right

Constructor Detail

Add

public Add(Expression left,
           Expression right)

Method Detail

getMin

public long getMin(ReadConstraintStore s)

Specified by:

getMin in interface Expression

getMax

public long getMax(ReadConstraintStore s)

Specified by:

getMax in interface Expression

setMin

public ExpressionResult setMin(ConstraintStore s,
                               long min)

Specified by:

setMin in interface Expression

setMax

public ExpressionResult setMax(ConstraintStore s,
                               long max)

Specified by:

setMax in interface Expression

walk

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

Description copied from interface: Expression

Traverse this expression.

If this expression is a composite then all its sub-expressions will be traversed.

Specified by:

walk in interface Expression

Parameters:

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

replace

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

Description copied from interface: Expression

Returns a Expression with LeafExpressions in this Expression replaced with values returned from the given function.

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 Expression with LeafExpressions in this Expression replaced with versions returned from function.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object