Module org.maxicp

Package org.maxicp.modeling.algebra.integer

Interface SymbolicIntExpression

All Superinterfaces:

Expression, IntExpression, Serializable

All Known Subinterfaces:

SymbolicBoolExpression, SymbolicBoolVar, SymbolicIntVar

All Known Implementing Classes:

Abs, And, BoolVarImpl, Constant, CstMul, CstOffset, Element1D, Element1DVar, Element2D, Element2DVar, EndAfter, EndBefore, EndBeforeStart, Eq, GreaterOrEq, InSet, IntervalEnd, IntervalEndOrValue, IntervalLength, IntervalLengthOrValue, IntervalStart, IntervalStartOrValue, IntervalStatus, IntVarRangeImpl, IntVarSetImpl, IsNodeRequired, LessOrEq, Max, Min, Mul, MulBinary, Not, NotEq, Or, Present, StartAfter, StartBefore, Sum, UnaryMinus, WeightedSum

public interface SymbolicIntExpression
extends IntExpression

Method Summary

Modifier and Type	Method	Description
default IntExpression	abs()
default boolean	contains(int v)	Returns whether this expression *can* contain v.
default boolean	defaultContains(int v)
int	defaultEvaluate()
default int	defaultFillArray(int[] array)
int	defaultMax()
int	defaultMin()
default int	defaultSize()
default int	evaluate()	Evaluate this expression.
default int	fillArray(int[] array)	Fill an array of minimum size size() with a *superset* of the domain of this expression.
default int	max()	Return an *upper bound* for this expression
default int	min()	Return a *lower bound* for this expression
default IntExpression	minus(int v)
default IntExpression	minus(IntExpression v)
default IntExpression	plus(int v)
default IntExpression	plus(IntExpression v)
default int	size()	*Upper bound* on the size of the domain of this expression.

Methods inherited from interface org.maxicp.modeling.algebra.Expression

computeSubexpressions, getModelProxy, isFixed, subexpressions

Methods inherited from interface org.maxicp.modeling.algebra.integer.IntExpression

mapSubexpressions, show

Method Details

evaluate

default int evaluate()
              throws VariableNotFixedException

Evaluate this expression. All variables referenced have to be fixed.

Specified by:

evaluate in interface IntExpression

Returns:

the value of this expression

Throws:

VariableNotFixedException - when a variable is not fixed

defaultEvaluate

int defaultEvaluate()
             throws VariableNotFixedException

Throws:

VariableNotFixedException

min

default int min()

Return a *lower bound* for this expression

Specified by:

min in interface IntExpression

defaultMin

int defaultMin()

max

default int max()

Return an *upper bound* for this expression

Specified by:

max in interface IntExpression

defaultMax

int defaultMax()

contains

default boolean contains(int v)

Returns whether this expression *can* contain v.

Specified by:

contains in interface IntExpression

defaultContains

default boolean defaultContains(int v)

fillArray

default int fillArray(int[] array)

Fill an array of minimum size size() with a *superset* of the domain of this expression. Returns `v`, the size of the domain after it has been computed, with v <= size().

Specified by:

fillArray in interface IntExpression

defaultFillArray

default int defaultFillArray(int[] array)

size

default int size()

*Upper bound* on the size of the domain of this expression.

Specified by:

size in interface IntExpression

defaultSize

default int defaultSize()

plus

default IntExpression plus(int v)

Specified by:

plus in interface IntExpression

minus

default IntExpression minus(int v)

Specified by:

minus in interface IntExpression

plus

default IntExpression plus(IntExpression v)

Specified by:

plus in interface IntExpression

minus

default IntExpression minus(IntExpression v)

Specified by:

minus in interface IntExpression

abs

default IntExpression abs()

Specified by:

abs in interface IntExpression