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 |
Methods inherited from interface choco.kernel.solver.variables.Var |
addConstraint, getConstraint, getConstraintsIterator, getConstraintVector, getEvent, getIndexVector, getName, getNbConstraints, getPriority, getVarIndex, isInstantiated |
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
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.