Module org.maxicp

Package org.maxicp.modeling.symbolic

Class IntVarSetImpl

java.lang.Object

org.maxicp.modeling.symbolic.IntVarSetImpl

All Implemented Interfaces:

Serializable, Expression, IntExpression, SymbolicIntExpression, IntVar, SymbolicIntVar, SymbolicVar, Var

public class IntVarSetImpl
extends Object
implements SymbolicIntVar

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final TreeSet<Integer>	dom

Constructor Summary

Constructors

Constructor	Description
IntVarSetImpl(ModelProxy modelProxy, String id, Set<Integer> domain)
IntVarSetImpl(ModelProxy modelProxy, Set<Integer> domain)

Method Summary

Modifier and Type	Method	Description
boolean	defaultContains(int v)
int	defaultEvaluate()
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.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.integer.SymbolicIntExpression

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

Field Details

dom

public final TreeSet<Integer> dom

Constructor Details

IntVarSetImpl

public IntVarSetImpl(ModelProxy modelProxy,
 String id,
 Set<Integer> domain)

IntVarSetImpl

public IntVarSetImpl(ModelProxy modelProxy,
 Set<Integer> domain)

Method Details

defaultEvaluate

public int defaultEvaluate()
                    throws VariableNotFixedException

Specified by:

defaultEvaluate in interface SymbolicIntExpression

Throws:

VariableNotFixedException

defaultMin

public int defaultMin()

Specified by:

defaultMin in interface SymbolicIntExpression

defaultMax

public int defaultMax()

Specified by:

defaultMax in interface SymbolicIntExpression

defaultSize

public int defaultSize()

Specified by:

defaultSize in interface SymbolicIntExpression

defaultContains

public boolean defaultContains(int v)

Specified by:

defaultContains in interface SymbolicIntExpression

defaultFillArray

public int defaultFillArray(int[] array)

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