choco.kernel.model.variables.integer
Class IntegerVariable

java.lang.Object
  extended by choco.kernel.model.VariableArray
      extended by choco.kernel.model.ModelObject
          extended by choco.kernel.model.variables.AbstractVariable
              extended by choco.kernel.model.variables.ComponentVariable
                  extended by choco.kernel.model.variables.integer.IntegerExpressionVariable
                      extended by choco.kernel.model.variables.integer.IntegerVariable
All Implemented Interfaces:
IPretty, IIndex, IConstraintList, IFindManager, IOptions, IVariableArray, IHook, IntBoundedVariable, Variable, Serializable, Comparable
Direct Known Subclasses:
IntegerConstantVariable

public class IntegerVariable
extends IntegerExpressionVariable

See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class choco.kernel.model.variables.ComponentVariable
ComponentVariable.ConstraintsDataStructure
 
Nested classes/interfaces inherited from class choco.kernel.model.VariableArray
VariableArray.VConstraintsDataStructure
 
Field Summary
protected  IVIterator _iterator
           
protected  int[] values
           
 
Fields inherited from class choco.kernel.model.variables.integer.IntegerExpressionVariable
lowB, uppB
 
Fields inherited from class choco.kernel.model.variables.ComponentVariable
expressionManager, NO_CONSTRAINTS_DS, operator, parameters, variableManager
 
Fields inherited from class choco.kernel.model.variables.AbstractVariable
name, type
 
Fields inherited from class choco.kernel.model.VariableArray
NO_CONSTRAINTS
 
Fields inherited from interface choco.kernel.model.variables.Variable
LOGGER
 
Fields inherited from interface choco.kernel.model.variables.IHook
NO_HOOK
 
Constructor Summary
  IntegerVariable(String name, int[] theValues)
           
  IntegerVariable(String name, int binf, int bsup)
           
protected IntegerVariable(VariableType variableType, int[] parameters, boolean enableOption, IConstraintList constraints)
           
 
Method Summary
 boolean canBeEqualTo(int v)
           
 Variable[] doExtractVariables()
          Extract first level sub-variables of a variable and return an array of non redundant sub-variable.
 int[] enumVal()
          Return the enumerated values of a domain
 DisposableIntIterator getDomainIterator()
           
 int getDomainSize()
           
 int[] getValues()
           
 boolean isBoolean()
           
 boolean isConstant()
           
 String pretty()
          pretty printing of the object.
 void removeVal(int remvalue)
           
 
Methods inherited from class choco.kernel.model.variables.integer.IntegerExpressionVariable
getExpressionVariable, getLowB, getUppB, setLowB, setUppB
 
Methods inherited from class choco.kernel.model.variables.ComponentVariable
findManager, getComponentClass, getConstraintManager, getExpressionManager, getOperator, getOperatorClass, getParameters, getVariableManager
 
Methods inherited from class choco.kernel.model.variables.AbstractVariable
_addConstraint, _contains, _removeConstraint, compareTo, getConstraint, getConstraintIterator, getConstraintIterator, getConstraints, getHook, getName, getNbConstraint, getNbConstraint, getVariableType, removeConstraints, resetHook, setHook, setName, throwConstantException, toString
 
Methods inherited from class choco.kernel.model.ModelObject
addOption, addOptions, addOptions, addOptions, addOptions, containsOption, getIndex, getOptions, hashCode
 
Methods inherited from class choco.kernel.model.VariableArray
cancelExtractVariables, extractVariables, forceExtractVariables, getNbVars, getVariable, getVariableIterator, getVariables, replaceBy, replaceByConstantAt, setVariables, setVariables
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface choco.kernel.model.IVariableArray
extractVariables, getNbVars, getVariable, getVariableIterator, getVariables, replaceBy
 
Methods inherited from interface choco.kernel.common.IIndex
getIndex
 
Methods inherited from interface choco.kernel.model.IOptions
addOption, addOptions, addOptions, addOptions, addOptions, containsOption, getOptions
 

Field Detail

values

protected int[] values

_iterator

protected IVIterator _iterator
Constructor Detail

IntegerVariable

protected IntegerVariable(VariableType variableType,
                          int[] parameters,
                          boolean enableOption,
                          IConstraintList constraints)

IntegerVariable

public IntegerVariable(String name,
                       int binf,
                       int bsup)

IntegerVariable

public IntegerVariable(String name,
                       int[] theValues)
Method Detail

getValues

public final int[] getValues()

getDomainSize

public final int getDomainSize()

canBeEqualTo

public final boolean canBeEqualTo(int v)

isBoolean

public final boolean isBoolean()

isConstant

public final boolean isConstant()

pretty

public String pretty()
pretty printing of the object. This String is not constant and may depend on the context.

Specified by:
pretty in interface IPretty
Overrides:
pretty in class AbstractVariable
Returns:
a readable string representation of the object

getDomainIterator

public final DisposableIntIterator getDomainIterator()

doExtractVariables

public Variable[] doExtractVariables()
Extract first level sub-variables of a variable and return an array of non redundant sub-variable. In simple variable case, return a an array with just one element. Really usefull when expression variables.

Overrides:
doExtractVariables in class VariableArray
Returns:
a hashset of every sub variables contained in the Variable.

removeVal

public final void removeVal(int remvalue)

enumVal

public final int[] enumVal()
Return the enumerated values of a domain

Returns:
the enumerated values of a domain


Copyright © 2012. All Rights Reserved.