Methods in choco that return RealExpressionVariable |
static RealExpressionVariable |
Choco.cos(RealExpressionVariable exp)
Cosinus of an expression. |
static RealExpressionVariable |
Choco.minus(double c,
RealExpressionVariable t)
|
static RealExpressionVariable |
Choco.minus(RealExpressionVariable t,
double c)
|
static RealExpressionVariable |
Choco.minus(RealExpressionVariable t1,
RealExpressionVariable t2)
|
static RealExpressionVariable |
Choco.mult(double a,
RealExpressionVariable x)
|
static RealExpressionVariable |
Choco.mult(RealExpressionVariable x,
double a)
|
static RealExpressionVariable |
Choco.mult(RealExpressionVariable x,
RealExpressionVariable y)
|
static RealExpressionVariable |
Choco.plus(double c,
RealExpressionVariable t)
|
static RealExpressionVariable |
Choco.plus(RealExpressionVariable t,
double c)
|
static RealExpressionVariable |
Choco.plus(RealExpressionVariable t1,
RealExpressionVariable t2)
|
static RealExpressionVariable |
Choco.power(RealExpressionVariable exp,
int power)
Power of an expression. |
static RealExpressionVariable |
Choco.sin(RealExpressionVariable exp)
Sinus of an expression. |
Methods in choco with parameters of type RealExpressionVariable |
static RealExpressionVariable |
Choco.cos(RealExpressionVariable exp)
Cosinus of an expression. |
static Constraint |
Choco.eq(double c,
RealExpressionVariable x)
Return a constraint that ensures x == c |
static Constraint |
Choco.eq(RealExpressionVariable x,
double c)
Return a constraint that ensures x == c |
static Constraint |
Choco.eq(RealExpressionVariable x,
RealExpressionVariable y)
Return a constraint that ensures x == y |
static Constraint |
Choco.geq(double c,
RealExpressionVariable x)
|
static Constraint |
Choco.geq(RealExpressionVariable x,
double c)
|
static Constraint |
Choco.geq(RealExpressionVariable x,
RealExpressionVariable y)
|
static Constraint |
Choco.leq(double c,
RealExpressionVariable x)
|
static Constraint |
Choco.leq(RealExpressionVariable x,
double c)
|
static Constraint |
Choco.leq(RealExpressionVariable x,
RealExpressionVariable y)
|
static RealExpressionVariable |
Choco.minus(double c,
RealExpressionVariable t)
|
static RealExpressionVariable |
Choco.minus(RealExpressionVariable t,
double c)
|
static RealExpressionVariable |
Choco.minus(RealExpressionVariable t1,
RealExpressionVariable t2)
|
static RealExpressionVariable |
Choco.mult(double a,
RealExpressionVariable x)
|
static RealExpressionVariable |
Choco.mult(RealExpressionVariable x,
double a)
|
static RealExpressionVariable |
Choco.mult(RealExpressionVariable x,
RealExpressionVariable y)
|
static RealExpressionVariable |
Choco.plus(double c,
RealExpressionVariable t)
|
static RealExpressionVariable |
Choco.plus(RealExpressionVariable t,
double c)
|
static RealExpressionVariable |
Choco.plus(RealExpressionVariable t1,
RealExpressionVariable t2)
|
static RealExpressionVariable |
Choco.power(RealExpressionVariable exp,
int power)
Power of an expression. |
static RealExpressionVariable |
Choco.sin(RealExpressionVariable exp)
Sinus of an expression. |