Methods in choco that return IntegerExpressionVariable |
static IntegerExpressionVariable |
Choco.abs(IntegerExpressionVariable n)
|
static IntegerExpressionVariable |
Choco.div(IntegerExpressionVariable n1,
int n2)
|
static IntegerExpressionVariable |
Choco.div(IntegerExpressionVariable n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.div(int n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.ifThenElse(Constraint n1,
IntegerExpressionVariable n2,
IntegerExpressionVariable n3)
|
static IntegerExpressionVariable |
Choco.max(IntegerExpressionVariable[] n1)
|
static IntegerExpressionVariable |
Choco.max(IntegerExpressionVariable n1,
int n2)
|
static IntegerExpressionVariable |
Choco.max(IntegerExpressionVariable n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.max(int n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.min(IntegerExpressionVariable[] n1)
|
static IntegerExpressionVariable |
Choco.min(IntegerExpressionVariable n1,
int n2)
|
static IntegerExpressionVariable |
Choco.min(IntegerExpressionVariable n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.min(int n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.minus(IntegerExpressionVariable t,
int c)
|
static IntegerExpressionVariable |
Choco.minus(IntegerExpressionVariable t1,
IntegerExpressionVariable t2)
Subtracting two terms one from another |
static IntegerExpressionVariable |
Choco.minus(int c,
IntegerExpressionVariable t)
|
static IntegerExpressionVariable |
Choco.mod(IntegerExpressionVariable n1,
int n2)
|
static IntegerExpressionVariable |
Choco.mod(IntegerExpressionVariable n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.mod(int n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.mult(IntegerExpressionVariable t1,
int a)
|
static IntegerExpressionVariable |
Choco.mult(IntegerExpressionVariable n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.mult(int a,
IntegerExpressionVariable t1)
|
static IntegerExpressionVariable |
Choco.neg(IntegerExpressionVariable n)
|
static IntegerExpressionVariable |
Choco.plus(IntegerExpressionVariable t,
int c)
|
static IntegerExpressionVariable |
Choco.plus(IntegerExpressionVariable t1,
IntegerExpressionVariable t2)
Adding two terms one to another |
static IntegerExpressionVariable |
Choco.plus(int c,
IntegerExpressionVariable t)
|
static IntegerExpressionVariable |
Choco.power(IntegerExpressionVariable n1,
int n2)
|
static IntegerExpressionVariable |
Choco.power(IntegerExpressionVariable n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.power(int n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.scalar(int[] lc,
IntegerVariable[] lv)
Building a term from a scalar product of coefficients and variables |
static IntegerExpressionVariable |
Choco.scalar(IntegerVariable[] lv,
int[] lc)
Building a term from a scalar product of coefficients and variables |
static IntegerExpressionVariable |
Choco.sum(IntegerExpressionVariable... lv)
Building a term from a sum of integer expressions |
Methods in choco with parameters of type IntegerExpressionVariable |
static IntegerExpressionVariable |
Choco.abs(IntegerExpressionVariable n)
|
static IntegerExpressionVariable |
Choco.div(IntegerExpressionVariable n1,
int n2)
|
static IntegerExpressionVariable |
Choco.div(IntegerExpressionVariable n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.div(int n1,
IntegerExpressionVariable n2)
|
static Constraint |
Choco.eq(IntegerExpressionVariable x,
int c)
Return a constraint that ensure x == c |
static Constraint |
Choco.eq(IntegerExpressionVariable x,
IntegerExpressionVariable y)
Return a constraint that ensure x == y |
static Constraint |
Choco.eq(int c,
IntegerExpressionVariable x)
Return a constraint that ensure x == c |
static Constraint |
Choco.geq(IntegerExpressionVariable x,
int c)
|
static Constraint |
Choco.geq(IntegerExpressionVariable x,
IntegerExpressionVariable y)
|
static Constraint |
Choco.geq(int c,
IntegerExpressionVariable x)
|
static Constraint |
Choco.gt(IntegerExpressionVariable x,
int c)
Return a constraint that ensures x > c |
static Constraint |
Choco.gt(IntegerExpressionVariable x,
IntegerExpressionVariable y)
Return a constraint that ensures x > y |
static Constraint |
Choco.gt(int c,
IntegerExpressionVariable x)
Return a constraint that ensures c > x |
static IntegerExpressionVariable |
Choco.ifThenElse(Constraint n1,
IntegerExpressionVariable n2,
IntegerExpressionVariable n3)
|
static Constraint |
Choco.leq(IntegerExpressionVariable x,
int c)
|
static Constraint |
Choco.leq(IntegerExpressionVariable x,
IntegerExpressionVariable y)
|
static Constraint |
Choco.leq(int c,
IntegerExpressionVariable x)
|
static Constraint |
Choco.lt(IntegerExpressionVariable x,
int c)
Return a constraint that ensures x < c |
static Constraint |
Choco.lt(IntegerExpressionVariable x,
IntegerExpressionVariable y)
Return a constraint that ensures x < y |
static Constraint |
Choco.lt(int c,
IntegerExpressionVariable x)
Return a constraint that ensures x < c |
static IntegerExpressionVariable |
Choco.max(IntegerExpressionVariable[] n1)
|
static IntegerExpressionVariable |
Choco.max(IntegerExpressionVariable n1,
int n2)
|
static IntegerExpressionVariable |
Choco.max(IntegerExpressionVariable n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.max(int n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.min(IntegerExpressionVariable[] n1)
|
static IntegerExpressionVariable |
Choco.min(IntegerExpressionVariable n1,
int n2)
|
static IntegerExpressionVariable |
Choco.min(IntegerExpressionVariable n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.min(int n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.minus(IntegerExpressionVariable t,
int c)
|
static IntegerExpressionVariable |
Choco.minus(IntegerExpressionVariable t1,
IntegerExpressionVariable t2)
Subtracting two terms one from another |
static IntegerExpressionVariable |
Choco.minus(int c,
IntegerExpressionVariable t)
|
static IntegerExpressionVariable |
Choco.mod(IntegerExpressionVariable n1,
int n2)
|
static IntegerExpressionVariable |
Choco.mod(IntegerExpressionVariable n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.mod(int n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.mult(IntegerExpressionVariable t1,
int a)
|
static IntegerExpressionVariable |
Choco.mult(IntegerExpressionVariable n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.mult(int a,
IntegerExpressionVariable t1)
|
static IntegerExpressionVariable |
Choco.neg(IntegerExpressionVariable n)
|
static Constraint |
Choco.neq(IntegerExpressionVariable x,
int c)
Creates a constraint by stating that a term is not equal than a constant |
static Constraint |
Choco.neq(IntegerExpressionVariable x,
IntegerExpressionVariable y)
|
static Constraint |
Choco.neq(int c,
IntegerExpressionVariable x)
|
static Constraint |
Choco.oppositeSign(IntegerExpressionVariable n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.plus(IntegerExpressionVariable t,
int c)
|
static IntegerExpressionVariable |
Choco.plus(IntegerExpressionVariable t1,
IntegerExpressionVariable t2)
Adding two terms one to another |
static IntegerExpressionVariable |
Choco.plus(int c,
IntegerExpressionVariable t)
|
static IntegerExpressionVariable |
Choco.power(IntegerExpressionVariable n1,
int n2)
|
static IntegerExpressionVariable |
Choco.power(IntegerExpressionVariable n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.power(int n1,
IntegerExpressionVariable n2)
|
static Constraint |
Choco.sameSign(IntegerExpressionVariable n1,
IntegerExpressionVariable n2)
|
static IntegerExpressionVariable |
Choco.sum(IntegerExpressionVariable... lv)
Building a term from a sum of integer expressions |