Module org.maxicp

Package org.maxicp.modeling.algebra.bool

Interface SymbolicBoolExpression

All Superinterfaces:

BoolExpression, Expression, IntExpression, Serializable, SymbolicIntExpression

All Known Subinterfaces:

SymbolicBoolVar

All Known Implementing Classes:

And, BoolVarImpl, EndAfter, EndBefore, EndBeforeStart, Eq, GreaterOrEq, InSet, IntervalStatus, IsNodeRequired, LessOrEq, Not, NotEq, Or, Present, StartAfter, StartBefore

public interface SymbolicBoolExpression
extends BoolExpression, SymbolicIntExpression

Method Summary

Modifier and Type	Method	Description
default boolean	defaultContains(int v)
default int	defaultEvaluate()
boolean	defaultEvaluateBool()
default int	defaultFillArray(int[] array)
default int	defaultMax()
default int	defaultMin()
default int	defaultSize()
default boolean	evaluateBool()

Methods inherited from interface org.maxicp.modeling.algebra.bool.BoolExpression

reify

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

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

abs, contains, evaluate, fillArray, max, min, minus, minus, plus, plus, size

Method Details

defaultMin

default int defaultMin()

Specified by:

defaultMin in interface SymbolicIntExpression

defaultMax

default int defaultMax()

Specified by:

defaultMax in interface SymbolicIntExpression

defaultFillArray

default int defaultFillArray(int[] array)

Specified by:

defaultFillArray in interface SymbolicIntExpression

defaultSize

default int defaultSize()

Specified by:

defaultSize in interface SymbolicIntExpression

defaultContains

default boolean defaultContains(int v)

Specified by:

defaultContains in interface SymbolicIntExpression

defaultEvaluate

default int defaultEvaluate()
                     throws VariableNotFixedException

Specified by:

defaultEvaluate in interface SymbolicIntExpression

Throws:

VariableNotFixedException

defaultEvaluateBool

boolean defaultEvaluateBool()
                     throws VariableNotFixedException

Throws:

VariableNotFixedException

evaluateBool

default boolean evaluateBool()
                      throws VariableNotFixedException

Specified by:

evaluateBool in interface BoolExpression

Throws:

VariableNotFixedException