choco.kernel.solver.variables.integer
Interface IntVar

All Superinterfaces:
IExtensionnable, IIndex, IntExp, IPretty, Var
All Known Subinterfaces:
IntDomainVar
All Known Implementing Classes:
AbstractBijectiveVar, BooleanVarImpl, BoolVarNot, IntDomainVarAddCste, IntDomainVarImpl, IntDomainVarTimePosCste, ViewIntDomainVarImpl

public interface IntVar
extends Var, IntExp


Field Summary
 
Fields inherited from interface choco.kernel.solver.variables.Var
LOGGER
 
Method Summary
 int getVal()
          Returns the value of the variable if instantiated.
 boolean isInstantiatedTo(int x)
          Public user API: Domains : testing whether the value of an instantiated variable is equal to a specific value.
 void setVal(int x)
          Public user API: Propagation events assigning a value to a variable (ie: removing all other values from its domain).
 
Methods inherited from interface choco.kernel.solver.variables.Var
addConstraint, getConstraint, getConstraintsIterator, getConstraintVector, getEvent, getIndexVector, getName, getNbConstraints, getPriority, getVarIndex, isInstantiated
 
Methods inherited from interface choco.IPretty
pretty
 
Methods inherited from interface choco.kernel.common.IIndex
getIndex
 
Methods inherited from interface choco.IExtensionnable
addExtension, getExtension
 

Method Detail

setVal

void setVal(int x)
            throws ContradictionException
Public user API: Propagation events assigning a value to a variable (ie: removing all other values from its domain).

Parameters:
x - the value that is assigned to the variable
Throws:
ContradictionException - contradiction exception

getVal

int getVal()
Returns the value of the variable if instantiated.

Returns:
the value of the variable

isInstantiatedTo

boolean isInstantiatedTo(int x)
Public user API: Domains : testing whether the value of an instantiated variable is equal to a specific value.

Parameters:
x - the tested value
Returns:
wether the value of an instantiated variables is equal to a x.


Copyright © 2012. All Rights Reserved.