|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IntVar | |
---|---|
choco.cp.model | |
choco.cp.solver | |
choco.cp.solver.constraints.global | |
choco.cp.solver.constraints.integer.intlincomb | |
choco.cp.solver.search.integer.branching | |
choco.cp.solver.variables.integer | |
choco.kernel.common.util.tools | |
choco.kernel.model | The root package for the Constraint Programming Kernel. |
choco.kernel.solver | |
choco.kernel.solver.variables.integer | A package devoted to the management of variables and domains for integers |
samples.tutorials.lns.lns |
Uses of IntVar in choco.cp.model |
---|
Methods in choco.cp.model with parameters of type IntVar | |
---|---|
int |
CPModel.getIntVarIndex(IntVar c)
Deprecated. |
Uses of IntVar in choco.cp.solver |
---|
Methods in choco.cp.solver with parameters of type IntVar | |
---|---|
int |
CPSolver.getIntVarIndex(IntVar c)
|
LargeRelation |
CPSolver.makeRelation(IntVar[] vs,
List<int[]> tuples,
boolean feas)
Deprecated. use makeLargeRelation instead |
protected static IntExp |
CPSolver.plus(int[] coeffs1,
IntVar[] vars1,
int cste1,
int[] coeffs2,
IntVar[] vars2,
int cste2)
Utility method for constructing a term from two lists of variables, list of coeffcicients and constants |
protected static IntExp |
CPSolver.plus(int[] coeffs1,
IntVar[] vars1,
int cste1,
int[] coeffs2,
IntVar[] vars2,
int cste2)
Utility method for constructing a term from two lists of variables, list of coeffcicients and constants |
void |
CPSolver.setMaximizationObjective(IntVar obj)
Deprecated. |
void |
CPSolver.setMinimizationObjective(IntVar obj)
Deprecated. |
static IntExp |
CPSolver.sum(IntVar... lv)
Building a term from a sum of integer variables |
Uses of IntVar in choco.cp.solver.constraints.global |
---|
Constructors in choco.cp.solver.constraints.global with parameters of type IntVar | |
---|---|
LeximinSConstraint(IntVar[] x,
IntVar[] y,
IEnvironment environment)
Creates a new LeximinConstraint instance. |
|
LeximinSConstraint(IntVar[] x,
IntVar[] y,
IEnvironment environment)
Creates a new LeximinConstraint instance. |
Uses of IntVar in choco.cp.solver.constraints.integer.intlincomb |
---|
Methods in choco.cp.solver.constraints.integer.intlincomb with parameters of type IntVar | |
---|---|
static SConstraint |
IntLinCombFactory.createBoolLinComb(IntVar[] vars,
int[] lcoeffs,
int c,
int linOperator,
CPSolver solver)
|
Uses of IntVar in choco.cp.solver.search.integer.branching |
---|
Methods in choco.cp.solver.search.integer.branching with parameters of type IntVar | |
---|---|
void |
DomOverWDegBranching.setBranchingVars(IntVar[] vs)
Deprecated. |
Constructors in choco.cp.solver.search.integer.branching with parameters of type IntVar | |
---|---|
DomOverWDegBranching(Solver s,
ValIterator valHeuri,
IntVar[] vars)
Deprecated. |
|
DomOverWDegBranching(Solver s,
ValSelector valHeuri,
IntVar[] vars)
Deprecated. |
Uses of IntVar in choco.cp.solver.variables.integer |
---|
Classes in choco.cp.solver.variables.integer that implement IntVar | |
---|---|
class |
AbstractBijectiveVar
|
class |
BooleanVarImpl<C extends AbstractSConstraint & IntPropagator>
A variable implementation dedicated to boolean domains |
class |
BoolVarNot
A bijective boolean variable B : B = not(A) |
class |
IntDomainVarAddCste
Declare a variable Y, based on a variable X and a constante c, such as Y = X + c |
class |
IntDomainVarImpl<C extends AbstractSConstraint & IntPropagator>
Implements search valued domain variables. |
class |
IntDomainVarTimePosCste
Declare a variable Y, based on a variable X and a constante c, such as Y = X * c |
class |
ViewIntDomainVarImpl
|
Fields in choco.cp.solver.variables.integer declared as IntVar | |
---|---|
protected IntVar[] |
IntTerm.variables
The variables |
Methods in choco.cp.solver.variables.integer that return IntVar | |
---|---|
IntVar |
IntTerm.getVariable(int index)
retrieve the i-th variable |
IntVar[] |
IntTerm.getVariables()
retrieve the array of variables |
Methods in choco.cp.solver.variables.integer with parameters of type IntVar | |
---|---|
static IntTerm |
IntTerm.minus(int coeff,
IntVar var,
IntTerm t1)
|
static IntTerm |
IntTerm.plus(IntTerm t1,
int coeff,
IntVar var,
boolean varFirst)
|
void |
IntTerm.setVariable(int index,
IntVar var)
sets the i-th variable |
Constructors in choco.cp.solver.variables.integer with parameters of type IntVar | |
---|---|
IntTerm(int[] lc,
IntVar[] lv)
|
|
IntTerm(IntVar[] lv)
|
Uses of IntVar in choco.kernel.common.util.tools |
---|
Methods in choco.kernel.common.util.tools with parameters of type IntVar | |
---|---|
static int[] |
VariableUtils.getConstantValues(IntVar... vars)
|
Uses of IntVar in choco.kernel.model |
---|
Methods in choco.kernel.model with parameters of type IntVar | |
---|---|
int |
Model.getIntVarIndex(IntVar c)
Deprecated. |
Uses of IntVar in choco.kernel.solver |
---|
Methods in choco.kernel.solver with parameters of type IntVar | |
---|---|
int |
Solver.getIntVarIndex(IntVar c)
|
Uses of IntVar in choco.kernel.solver.variables.integer |
---|
Subinterfaces of IntVar in choco.kernel.solver.variables.integer | |
---|---|
interface |
IntDomainVar
An interface for all implementations of search valued domain variables |
Uses of IntVar in samples.tutorials.lns.lns |
---|
Methods in samples.tutorials.lns.lns with parameters of type IntVar | |
---|---|
int |
AbstractLNSSolver.getIntVarIndex(IntVar c)
Deprecated. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |