Module org.maxicp

Package org.maxicp.modeling.symbolic

Class BoolVarImpl

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

public class BoolVarImpl
extends Object
implements SymbolicBoolVar

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
BoolVarImpl(ModelProxy modelProxy)
BoolVarImpl(ModelProxy modelProxy, boolean containsFalse, boolean containsTrue)

Method Summary

Modifier and Type	Method	Description
boolean	defaultContains(int v)
boolean	defaultEvaluateBool()
int	defaultFillArray(int[] array)
int	defaultMax()
int	defaultMin()
int	defaultSize()
ModelProxy	getModelProxy()	Returns the ModelDispatcher linked to this Expression
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

reify

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

subexpressions

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

show

Methods inherited from interface org.maxicp.modeling.IntVar

computeSubexpressions, isFixed, mapSubexpressions

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

defaultEvaluate, evaluateBool

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

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

Constructor Details

BoolVarImpl

public BoolVarImpl(ModelProxy modelProxy)

BoolVarImpl

public BoolVarImpl(ModelProxy modelProxy,
 boolean containsFalse,
 boolean containsTrue)

Method Details

defaultMin

public int defaultMin()

Specified by:

defaultMin in interface SymbolicBoolExpression

Specified by:

defaultMin in interface SymbolicIntExpression

defaultMax

public int defaultMax()

Specified by:

defaultMax in interface SymbolicBoolExpression

Specified by:

defaultMax in interface SymbolicIntExpression

defaultSize

public int defaultSize()

Specified by:

defaultSize in interface SymbolicBoolExpression

Specified by:

defaultSize in interface SymbolicIntExpression

defaultContains

public boolean defaultContains(int v)

Specified by:

defaultContains in interface SymbolicBoolExpression

Specified by:

defaultContains in interface SymbolicIntExpression

defaultEvaluateBool

public boolean defaultEvaluateBool()
                            throws VariableNotFixedException

Specified by:

defaultEvaluateBool in interface SymbolicBoolExpression

Throws:

VariableNotFixedException

defaultFillArray

public int defaultFillArray(int[] array)

Specified by:

defaultFillArray in interface SymbolicBoolExpression

Specified by:

defaultFillArray in interface SymbolicIntExpression

toString

public String toString()

Overrides:

toString in class Object

getModelProxy

public ModelProxy getModelProxy()

Description copied from interface: Expression

Returns the ModelDispatcher linked to this Expression

Specified by:

getModelProxy in interface Expression

Specified by:

getModelProxy in interface Var