java.lang.Object
org.maxicp.modeling.symbolic.BoolVarImpl
- All Implemented Interfaces:
Serializable,BoolExpression,SymbolicBoolExpression,Expression,IntExpression,SymbolicIntExpression,BoolVar,IntVar,SymbolicBoolVar,SymbolicIntVar,SymbolicVar,Var
- Direct Known Subclasses:
IntervalStatus,IsNodeRequired
- See Also:
-
Constructor Summary
ConstructorsConstructorDescriptionBoolVarImpl(ModelProxy modelProxy) BoolVarImpl(ModelProxy modelProxy, boolean containsFalse, boolean containsTrue) -
Method Summary
Modifier and TypeMethodDescriptionbooleandefaultContains(int v) booleanintdefaultFillArray(int[] array) intintintReturns the ModelDispatcher linked to this ExpressiontoString()Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitMethods inherited from interface org.maxicp.modeling.algebra.bool.BoolExpression
reifyMethods inherited from interface org.maxicp.modeling.algebra.Expression
subexpressionsMethods inherited from interface org.maxicp.modeling.algebra.integer.IntExpression
showMethods inherited from interface org.maxicp.modeling.IntVar
computeSubexpressions, isFixed, mapSubexpressionsMethods inherited from interface org.maxicp.modeling.algebra.bool.SymbolicBoolExpression
defaultEvaluate, evaluateBool
-
Constructor Details
-
BoolVarImpl
-
BoolVarImpl
-
-
Method Details
-
defaultMin
public int defaultMin()- Specified by:
defaultMinin interfaceSymbolicBoolExpression- Specified by:
defaultMinin interfaceSymbolicIntExpression
-
defaultMax
public int defaultMax()- Specified by:
defaultMaxin interfaceSymbolicBoolExpression- Specified by:
defaultMaxin interfaceSymbolicIntExpression
-
defaultSize
public int defaultSize()- Specified by:
defaultSizein interfaceSymbolicBoolExpression- Specified by:
defaultSizein interfaceSymbolicIntExpression
-
defaultContains
public boolean defaultContains(int v) - Specified by:
defaultContainsin interfaceSymbolicBoolExpression- Specified by:
defaultContainsin interfaceSymbolicIntExpression
-
defaultEvaluateBool
- Specified by:
defaultEvaluateBoolin interfaceSymbolicBoolExpression- Throws:
VariableNotFixedException
-
defaultFillArray
public int defaultFillArray(int[] array) - Specified by:
defaultFillArrayin interfaceSymbolicBoolExpression- Specified by:
defaultFillArrayin interfaceSymbolicIntExpression
-
toString
-
getModelProxy
Description copied from interface:ExpressionReturns the ModelDispatcher linked to this Expression- Specified by:
getModelProxyin interfaceExpression- Specified by:
getModelProxyin interfaceVar
-