choco.real
Interface RealVar

All Superinterfaces:

Entity, RealExp, RealInterval, Var

All Known Subinterfaces:

PalmRealVar

All Known Implementing Classes:

PalmRealVarImpl, RealVarImpl

public interface RealVar
extends Var, RealExp

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

Method Summary

RealDomain	getDomain()
RealInterval	getValue()
void	silentlyAssign(RealInterval i) Modifies bounds silently (does not propagate modifications).

Methods inherited from interface choco.Var

addConstraint, fail, getConstraint, getConstraintsIterator, getConstraintVector, getEvent, getIndexVector, getNbConstraints, getVarIndex, isInstantiated

Methods inherited from interface choco.Entity

getProblem, pretty

Methods inherited from interface choco.real.RealExp

collectVars, isolate, project, subExps, tighten

Methods inherited from interface choco.real.RealInterval

getInf, getSup, intersect, intersect

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()