choco.palm.real.exp
Class PalmRealIntervalConstant

java.lang.Object
  choco.real.exp.RealIntervalConstant
      choco.palm.real.exp.PalmRealIntervalConstant

All Implemented Interfaces:

PalmRealInterval, RealExp, RealInterval

public class PalmRealIntervalConstant
extends RealIntervalConstant
implements PalmRealInterval

Implementation of a constant interval.

Field Summary

Fields inherited from class choco.real.exp.RealIntervalConstant

inf, sup

Fields inherited from interface choco.palm.real.PalmRealInterval

DOM, INF, SUP

Constructor Summary

PalmRealIntervalConstant(double inf, double sup)
Creates a constant without explanations.

PalmRealIntervalConstant(double inf, double sup, Explanation expOnInf, Explanation expOnSup)
Creates a constant with the specified values.

PalmRealIntervalConstant(PalmRealInterval interval)
Creates a constant without explanations from the current state of the interval.

PalmRealIntervalConstant(PalmRealInterval interval, PalmProblem pb)
Creates a constant from the current state of an interval.

Method Summary

void	self_explain(int select, Explanation e) Explains the values of the constant.

Methods inherited from class choco.real.exp.RealIntervalConstant

collectVars, getInf, getSup, intersect, intersect, isolate, pretty, project, subExps, tighten, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface choco.real.RealInterval

getInf, getSup, intersect, intersect

Constructor Detail

PalmRealIntervalConstant

public PalmRealIntervalConstant(PalmRealInterval interval,
                                PalmProblem pb)

Creates a constant from the current state of an interval.

Parameters:

pb - The current problem (needed for creating explanations).

PalmRealIntervalConstant

public PalmRealIntervalConstant(double inf,
                                double sup,
                                Explanation expOnInf,
                                Explanation expOnSup)

Creates a constant with the specified values.

PalmRealIntervalConstant

public PalmRealIntervalConstant(PalmRealInterval interval)

Creates a constant without explanations from the current state of the interval.

PalmRealIntervalConstant

public PalmRealIntervalConstant(double inf,
                                double sup)

Creates a constant without explanations.

Method Detail

self_explain

public void self_explain(int select,
                         Explanation e)

Explains the values of the constant.

Specified by:

self_explain in interface PalmRealInterval

Parameters:

select - The part if the domain that should be explained.

e - The constraint collection in which this explanation should be added.