Package org.projog.clp.math

Class Subtract

java.lang.Object

org.projog.clp.math.Subtract

All Implemented Interfaces:

Expression

public final class Subtract
extends Object
implements Expression

The difference of two Expressions.

Field Summary

Fields

Modifier and Type	Field	Description
private final Expression	left
private final Expression	right

Constructor Summary

Constructors

Constructor	Description
Subtract(Expression left, Expression right)

Method Summary

Modifier and Type	Method	Description
long	getMax(ReadConstraintStore s)
long	getMin(ReadConstraintStore s)
Subtract	replace(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)
String	toString()
void	walk(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 Details

left

private final Expression left

right

private final Expression right

Constructor Details

Subtract

public Subtract(Expression left,
 Expression right)

Parameters:

left - the expression to subtract right from

right - the expression to subtract from left

Method Details

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(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 Subtract replace(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 String toString()

Overrides:

toString in class Object