|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.cp.solver.variables.real.RealDomainImpl
public class RealDomainImpl
An implmentation of real variable domains using two stored floats for storing bounds.
Field Summary | |
---|---|
protected double |
currentInfPropagated
for the delta domain: current value of the inf (domain lower bound) when the bound started beeing propagated (just to check that it does not change during the propagation phase) |
protected double |
currentSupPropagated
for the delta domain: current value of the sup (domain upper bound) when the bound started beeing propagated (just to check that it does not change during the propagation phase) |
protected IStateDouble |
inf
|
protected IStateDouble |
sup
|
protected RealVar |
variable
|
Constructor Summary | |
---|---|
RealDomainImpl(RealVar v,
double a,
double b,
Solver solver)
|
Method Summary | |
---|---|
void |
clearDeltaDomain()
|
void |
freezeDeltaDomain()
|
double |
getInf()
|
boolean |
getReleasedDeltaDomain()
|
double |
getSup()
|
void |
intersect(RealInterval interval)
Modifies the bounds for intersecting with the specified interval. |
String |
pretty()
pretty printing of the object. |
boolean |
releaseDeltaDomain()
|
void |
silentlyAssign(RealInterval i)
|
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected double currentInfPropagated
protected double currentSupPropagated
protected IStateDouble inf
protected IStateDouble sup
protected RealVar variable
Constructor Detail |
---|
public RealDomainImpl(RealVar v, double a, double b, Solver solver)
Method Detail |
---|
public String toString()
toString
in class Object
public String pretty()
IPretty
pretty
in interface IPretty
public double getInf()
getInf
in interface RealInterval
public double getSup()
getSup
in interface RealInterval
public void intersect(RealInterval interval) throws ContradictionException
RealInterval
intersect
in interface RealInterval
ContradictionException
public void clearDeltaDomain()
clearDeltaDomain
in interface RealDomain
public boolean releaseDeltaDomain()
releaseDeltaDomain
in interface RealDomain
public void freezeDeltaDomain()
freezeDeltaDomain
in interface RealDomain
public boolean getReleasedDeltaDomain()
getReleasedDeltaDomain
in interface RealDomain
public void silentlyAssign(RealInterval i)
silentlyAssign
in interface RealDomain
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |