|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
---|
RealVar makeRealVar(String name, double inf, double sup)
name
- name of the variableinf
- lower bound of the variablesup
- upper bound of the variableRealVar makeRealVar(double inf, double sup)
inf
- lower bound of the variablesup
- upper bound of the variableRealVar makeRealVar(String name)
SConstraint makeEquation(RealExp exp, RealConstant cst)
exp
- The expressioncst
- The interval this expression should be inSConstraint eq(RealExp exp1, RealExp exp2)
SConstraint eq(RealExp exp, double cst)
SConstraint eq(double cst, RealExp exp)
SConstraint leq(RealExp exp1, RealExp exp2)
SConstraint leq(RealExp exp, double cst)
SConstraint leq(double cst, RealExp exp)
SConstraint geq(RealExp exp1, RealExp exp2)
SConstraint geq(RealExp exp, double cst)
SConstraint geq(double cst, RealExp exp)
RealExp plus(RealExp exp1, RealExp exp2)
RealExp minus(RealExp exp1, RealExp exp2)
RealExp mult(RealExp exp1, RealExp exp2)
RealExp power(RealExp exp, int power)
RealExp cos(RealExp exp)
RealExp sin(RealExp exp)
RealConstant around(double d)
[d - epsilon, d + epilon]
.
RealConstant cst(double d)
RealConstant cst(double a, double b)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |