choco.kernel.solver.variables.real
Interface RealInterval

All Superinterfaces:
Domain, IPretty
All Known Subinterfaces:
RealConstant, RealDomain, RealExp, RealVar
All Known Implementing Classes:
AbstractRealBinTerm, AbstractRealCompoundTerm, AbstractRealUnTerm, RealCos, RealDomainImpl, RealIntegerPower, RealIntervalConstant, RealIntervalImpl, RealMinus, RealMult, RealPlus, RealSin, RealVarImpl

public interface RealInterval
extends Domain

An interface for real intervals.


Method Summary
 double getInf()
           
 double getSup()
           
 void intersect(RealInterval interval)
          Modifies the bounds for intersecting with the specified interval.
 
Methods inherited from interface choco.IPretty
pretty
 

Method Detail

getInf

double getInf()
Returns:
the lower bound.

getSup

double getSup()
Returns:
the upper bound.

intersect

void intersect(RealInterval interval)
               throws ContradictionException
Modifies the bounds for intersecting with the specified interval.

Parameters:
interval -
Throws:
ContradictionException


Copyright © 2012. All Rights Reserved.