choco.palm.real
Interface PalmRealVar

All Superinterfaces:

Entity, ExplainedVar, PalmRealInterval, PalmVar, RealExp, RealInterval, RealVar, Var

All Known Implementing Classes:

PalmRealVarImpl

public interface PalmRealVar
extends RealVar, PalmRealInterval, PalmVar

Interface of a real variable in PaLM.

Field Summary

Fields inherited from interface choco.palm.real.PalmRealInterval

DOM, INF, SUP

Method Summary

void	resetExplanationOnInf() Updates lower bound explanations: it removes not up-to-date explanations.
void	resetExplanationOnSup() Updates upper bound explanations: it removes not up-to-date explanations.
void	restoreInf(double newValue) Restores a previous value of the lower bound.
void	restoreSup(double newValue) Restores a previous value of the upper bound.
void	updateDecisionConstraints() Updates decision constraints on this variable: it removes all erased constraints.

Methods inherited from interface choco.real.RealVar

getDomain, getValue, silentlyAssign

Methods inherited from interface choco.real.RealExp

collectVars, isolate, project, subExps, tighten

Methods inherited from interface choco.real.RealInterval

getInf, getSup, intersect, intersect

Methods inherited from interface choco.palm.real.PalmRealInterval

self_explain

Methods inherited from interface choco.palm.dbt.PalmVar

getDecisionConstraint

Methods inherited from interface choco.palm.ExplainedVar

self_explain

Method Detail

restoreInf

void restoreInf(double newValue)

Restores a previous value of the lower bound.

restoreSup

void restoreSup(double newValue)

Restores a previous value of the upper bound.

resetExplanationOnInf

void resetExplanationOnInf()

Updates lower bound explanations: it removes not up-to-date explanations.

resetExplanationOnSup

void resetExplanationOnSup()

Updates upper bound explanations: it removes not up-to-date explanations.

updateDecisionConstraints

void updateDecisionConstraints()

Updates decision constraints on this variable: it removes all erased constraints.