choco.cp.solver.constraints.real.exp
Classes 
RealCos
RealIntegerPower
RealIntervalImpl
RealMinus
RealMult
RealPlus
RealSin