|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IntTerm | |
---|---|
choco.cp.solver.constraints.integer.intlincomb | |
choco.cp.solver.variables.integer |
Uses of IntTerm in choco.cp.solver.constraints.integer.intlincomb |
---|
Methods in choco.cp.solver.constraints.integer.intlincomb with parameters of type IntTerm | |
---|---|
static SConstraint |
IntLinCombFactory.makeIntLinComb(IntTerm t,
int c,
int linOperator,
CPSolver solver)
does not consider IntTerm.getConstant() anymore. |
Uses of IntTerm in choco.cp.solver.variables.integer |
---|
Fields in choco.cp.solver.variables.integer declared as IntTerm | |
---|---|
static IntTerm |
IntTerm.ZERO
A constant denoting a null integer term. |
Methods in choco.cp.solver.variables.integer that return IntTerm | |
---|---|
static IntTerm |
IntTerm.minus(int coeff,
IntVar var,
IntTerm t1)
|
static IntTerm |
IntTerm.minus(IntTerm t1,
IntTerm t2)
|
static IntTerm |
IntTerm.opposite(IntTerm t1)
|
static IntTerm |
IntTerm.plus(IntTerm t1,
int coeff,
IntVar var,
boolean varFirst)
|
static IntTerm |
IntTerm.plus(IntTerm t1,
IntTerm t2)
|
Methods in choco.cp.solver.variables.integer with parameters of type IntTerm | |
---|---|
static IntTerm |
IntTerm.minus(int coeff,
IntVar var,
IntTerm t1)
|
static IntTerm |
IntTerm.minus(IntTerm t1,
IntTerm t2)
|
static IntTerm |
IntTerm.opposite(IntTerm t1)
|
static IntTerm |
IntTerm.plus(IntTerm t1,
int coeff,
IntVar var,
boolean varFirst)
|
static IntTerm |
IntTerm.plus(IntTerm t1,
IntTerm t2)
|
Constructors in choco.cp.solver.variables.integer with parameters of type IntTerm | |
---|---|
IntTerm(IntTerm t1)
Constructor by copy |
|
IntTerm(IntTerm t1,
int nbMore,
boolean moreFirst)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |