choco.kernel.model
Interface RealModeler


public interface RealModeler

Modeler for real expressions.


Method Summary
 RealConstant around(double d)
          Arounds a double d to [d - epsilon, d + epilon].
 RealExp cos(RealExp exp)
          Cosinus of an expression.
 RealConstant cst(double d)
          Makes a constant interval from a double d ([d,d]).
 RealConstant cst(double a, double b)
          Makes a constant interval between two doubles [a,b].
 SConstraint eq(double cst, RealExp exp)
           
 SConstraint eq(RealExp exp, double cst)
           
 SConstraint eq(RealExp exp1, RealExp exp2)
          Eqality constraint.
 SConstraint geq(double cst, RealExp exp)
           
 SConstraint geq(RealExp exp, double cst)
           
 SConstraint geq(RealExp exp1, RealExp exp2)
          Superiority constraint.
 SConstraint leq(double cst, RealExp exp)
           
 SConstraint leq(RealExp exp, double cst)
           
 SConstraint leq(RealExp exp1, RealExp exp2)
          Inferority constraint.
 SConstraint makeEquation(RealExp exp, RealConstant cst)
          Makes an equation from an expression and a constantt interval.
 RealVar makeRealVar(double inf, double sup)
          Builds an anonnymous interval variable
 RealVar makeRealVar(String name)
          Builds an interval variable without any information about bounds
 RealVar makeRealVar(String name, double inf, double sup)
          Builds an interval variable.
 RealExp minus(RealExp exp1, RealExp exp2)
          Substraction of two expressions.
 RealExp mult(RealExp exp1, RealExp exp2)
          Multiplication of two expressions.
 RealExp plus(RealExp exp1, RealExp exp2)
          Addition of two expressions.
 RealExp power(RealExp exp, int power)
          Power of an expression.
 RealExp sin(RealExp exp)
          Sinus of an expression.
 

Method Detail

makeRealVar

RealVar makeRealVar(String name,
                    double inf,
                    double sup)
Builds an interval variable.

Parameters:
name - name of the variable
inf - lower bound of the variable
sup - upper bound of the variable

makeRealVar

RealVar makeRealVar(double inf,
                    double sup)
Builds an anonnymous interval variable

Parameters:
inf - lower bound of the variable
sup - upper bound of the variable

makeRealVar

RealVar makeRealVar(String name)
Builds an interval variable without any information about bounds


makeEquation

SConstraint makeEquation(RealExp exp,
                         RealConstant cst)
Makes an equation from an expression and a constantt interval. It is used by all methods building constraints. This is useful for subclassing this modeller for another kind of model (like PaLM).

Parameters:
exp - The expression
cst - The interval this expression should be in

eq

SConstraint eq(RealExp exp1,
               RealExp exp2)
Eqality constraint.


eq

SConstraint eq(RealExp exp,
               double cst)

eq

SConstraint eq(double cst,
               RealExp exp)

leq

SConstraint leq(RealExp exp1,
                RealExp exp2)
Inferority constraint.


leq

SConstraint leq(RealExp exp,
                double cst)

leq

SConstraint leq(double cst,
                RealExp exp)

geq

SConstraint geq(RealExp exp1,
                RealExp exp2)
Superiority constraint.


geq

SConstraint geq(RealExp exp,
                double cst)

geq

SConstraint geq(double cst,
                RealExp exp)

plus

RealExp plus(RealExp exp1,
             RealExp exp2)
Addition of two expressions.


minus

RealExp minus(RealExp exp1,
              RealExp exp2)
Substraction of two expressions.


mult

RealExp mult(RealExp exp1,
             RealExp exp2)
Multiplication of two expressions.


power

RealExp power(RealExp exp,
              int power)
Power of an expression.


cos

RealExp cos(RealExp exp)
Cosinus of an expression.


sin

RealExp sin(RealExp exp)
Sinus of an expression.


around

RealConstant around(double d)
Arounds a double d to [d - epsilon, d + epilon].


cst

RealConstant cst(double d)
Makes a constant interval from a double d ([d,d]).


cst

RealConstant cst(double a,
                 double b)
Makes a constant interval between two doubles [a,b].



Copyright © 2012. All Rights Reserved.