Package org.projog.clp.math

Class Minus

java.lang.Object

org.projog.clp.math.Minus

All Implemented Interfaces:

Expression

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

Field Summary

Fields

Modifier and Type	Field	Description
private Expression	e

Constructor Summary

Constructors

Constructor	Description
Minus(Expression e)

Method Summary

Modifier and Type	Method	Description
long	getMax(ReadConstraintStore s)
long	getMin(ReadConstraintStore s)
Minus	replace(java.util.function.Function<LeafExpression,LeafExpression> function)	Returns a Expression with LeafExpressions in this Expression replaced with values returned from the given function.
ExpressionResult	setMax(ConstraintStore s, long value)
ExpressionResult	setMin(ConstraintStore s, long value)
java.lang.String	toString()
void	walk(java.util.function.Consumer<Expression> consumer)	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

e

private final Expression e

Constructor Detail

Minus

public Minus(Expression e)

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 value)

Specified by:

setMin in interface Expression

setMax

public ExpressionResult setMax(ConstraintStore s,
                               long value)

Specified by:

setMax in interface Expression

walk

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

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:

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

replace

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

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:

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