Package org.projog.clp.math

Class Maximum

java.lang.Object

org.projog.clp.math.Maximum

All Implemented Interfaces:

Expression

public class Maximum
extends Object
implements Expression

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
Maximum(Expression left, Expression right)

Method Summary

Modifier and Type	Method	Description
long	getMax(ReadConstraintStore constraintStore)
long	getMin(ReadConstraintStore constraintStore)
Maximum	replace(Function<LeafExpression,LeafExpression> r)	Returns a Expression with LeafExpressions in this Expression replaced with values returned from the given function.
ExpressionResult	setMax(ConstraintStore constraintStore, long max)
ExpressionResult	setMin(ConstraintStore constraintStore, 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

Maximum

public Maximum(Expression left,
 Expression right)

Method Details

getMin

public long getMin(ReadConstraintStore constraintStore)

Specified by:

getMin in interface Expression

getMax

public long getMax(ReadConstraintStore constraintStore)

Specified by:

getMax in interface Expression

setMin

public ExpressionResult setMin(ConstraintStore constraintStore,
 long min)

Specified by:

setMin in interface Expression

setMax

public ExpressionResult setMax(ConstraintStore constraintStore,
 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 Maximum 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