choco.kernel.solver.variables.real
Interface RealVar

All Superinterfaces:
Domain, IExtensionnable, IIndex, IPretty, RealExp, RealInterval, Var
All Known Subinterfaces:
RealConstant
All Known Implementing Classes:
RealIntervalConstant, RealVarImpl

public interface RealVar
extends Var, RealExp

An interface for a real variable : an expression and a variable with a domain.


Field Summary
static int BOUNDS
          Public user API: static constants associated to the encoding of the variable domain these constants are passed as parameters to the constructor of RealVars
 
Fields inherited from interface choco.kernel.solver.variables.Var
LOGGER
 
Method Summary
 RealDomain getDomain()
           
 RealInterval getValue()
           
 void silentlyAssign(RealInterval i)
          Modifies bounds silently (does not propagate modifications).
 
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.kernel.common.IIndex
getIndex
 
Methods inherited from interface choco.IExtensionnable
addExtension, getExtension
 
Methods inherited from interface choco.kernel.solver.constraints.real.RealExp
collectVars, isolate, project, subExps, tighten
 
Methods inherited from interface choco.kernel.solver.variables.real.RealInterval
getInf, getSup, intersect
 
Methods inherited from interface choco.IPretty
pretty
 

Field Detail

BOUNDS

static final int BOUNDS
Public user API: static constants associated to the encoding of the variable domain these constants are passed as parameters to the constructor of RealVars

See Also:
Constant Field Values
Method Detail

getDomain

RealDomain getDomain()

silentlyAssign

void silentlyAssign(RealInterval i)
Modifies bounds silently (does not propagate modifications). This is usefull for box cosistency.

Parameters:
i -

getValue

RealInterval getValue()


Copyright © 2012. All Rights Reserved.