choco.palm.real
Interface PalmRealDomain

All Superinterfaces:

Entity, PalmRealInterval, RealDomain, RealInterval

All Known Implementing Classes:

PalmRealDomainImpl

public interface PalmRealDomain
extends RealDomain, PalmRealInterval

Interface for a PaLM real domain.

Field Summary

Fields inherited from interface choco.palm.real.PalmRealInterval

DOM, INF, SUP

Method Summary

void	addDecisionConstraint(AbstractConstraint cst) Adds a new decision constraint involving this domain/variable.
ConstraintCollection	getDecisionConstraints() Returns current decisions constraints involving this domain/variable.
void	resetExplanationOnInf() Updates lower bound explanations: removes all explanation that are no up-to-date anymore.
void	resetExplanationOnSup() Updates upper bound explanations: removes all explanation that are no up-to-date anymore.
void	restoreInf(double newValue) Lower bound of the domain should be restored to the specified value.
void	restoreSup(double newValue) Upper bound of the domain should be restored to the specified value.
void	updateDecisionConstraints() Updates decision constraints: removes all removed decision constraints.

Methods inherited from interface choco.real.var.RealDomain

clearDeltaDomain, freezeDeltaDomain, getReleasedDeltaDomain, releaseDeltaDomain, silentlyAssign

Methods inherited from interface choco.Entity

getProblem, pretty

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.real.RealInterval

getInf, getSup, intersect, intersect

Method Detail

restoreInf

void restoreInf(double newValue)

Lower bound of the domain should be restored to the specified value.

restoreSup

void restoreSup(double newValue)

Upper bound of the domain should be restored to the specified value.

resetExplanationOnInf

void resetExplanationOnInf()

Updates lower bound explanations: removes all explanation that are no up-to-date anymore.

resetExplanationOnSup

void resetExplanationOnSup()

Updates upper bound explanations: removes all explanation that are no up-to-date anymore.

getDecisionConstraints

ConstraintCollection getDecisionConstraints()

Returns current decisions constraints involving this domain/variable.

addDecisionConstraint

void addDecisionConstraint(AbstractConstraint cst)

Adds a new decision constraint involving this domain/variable.

updateDecisionConstraints

void updateDecisionConstraints()

Updates decision constraints: removes all removed decision constraints.