choco.palm.real
Class PalmRealMath

java.lang.Object
  choco.real.RealMath
      choco.palm.real.PalmRealMath

public class PalmRealMath
extends RealMath

Explained interval arithmetic.

Field Summary

Fields inherited from class choco.real.RealMath

NEG_ZER0, ZERO

Constructor Summary

PalmRealMath()

Method Summary

static PalmRealInterval	add(PalmProblem pb, RealInterval x, RealInterval y)
static PalmRealInterval	mul(PalmProblem pb, RealInterval x, RealInterval y)
static PalmRealInterval	odiv_wrt(PalmProblem pb, RealInterval x, RealInterval y, RealInterval res)
static PalmRealInterval	odiv(PalmProblem pb, RealInterval x, RealInterval y) y should not contain 0 !
static PalmRealInterval	sub(PalmProblem pb, RealInterval x, RealInterval y)

Methods inherited from class choco.real.RealMath

acos_wrt, add, asin_wrt, cos, evenIRoot, firstHalf, iPower_lo, iPower_up, iPower, iRoot_lo, iRoot_up, iRoot, isCanonical, mul, nextFloat, oddIPower, oddIRoot, odiv_wrt, odiv, prevFloat, secondHalf, sin, sinRange, sub

Methods inherited from class java.lang.Object

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

Constructor Detail

PalmRealMath

public PalmRealMath()

Method Detail

add

public static PalmRealInterval add(PalmProblem pb,
                                   RealInterval x,
                                   RealInterval y)

sub

public static PalmRealInterval sub(PalmProblem pb,
                                   RealInterval x,
                                   RealInterval y)

mul

public static PalmRealInterval mul(PalmProblem pb,
                                   RealInterval x,
                                   RealInterval y)

odiv

public static PalmRealInterval odiv(PalmProblem pb,
                                    RealInterval x,
                                    RealInterval y)

y should not contain 0 !

Parameters:

x -

y -

Returns:

TODO

odiv_wrt

public static PalmRealInterval odiv_wrt(PalmProblem pb,
                                        RealInterval x,
                                        RealInterval y,
                                        RealInterval res)