|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of Var in choco.cp.model.managers.variables |
---|
Methods in choco.cp.model.managers.variables that return Var | |
---|---|
Var |
IntegerVariableManager.makeVariable(Solver solver,
IntegerVariable var)
Build a integer variable for the given solver |
Var |
RealVariableManager.makeVariable(Solver solver,
RealVariable var)
Build a real variable for the given solver |
Var |
SetVariableManager.makeVariable(Solver solver,
SetVariable var)
Build a set variable for the given solver |
Var |
TaskVariableManager.makeVariable(Solver solver,
TaskVariable var)
Build a set variable for the given solver |
Uses of Var in choco.cp.solver |
---|
Fields in choco.cp.solver with type parameters of type Var | |
---|---|
protected gnu.trove.TLongObjectHashMap<Var> |
CPSolver.mapvariables
|
Methods in choco.cp.solver with type parameters of type Var | ||
---|---|---|
|
CPSolver._to(MV[] mv,
SV[] sv)
|
|
|
CPSolver._to(MV mv,
SV sv)
|
|
|
CPSolver.getVar(Class<SV> clazz,
MV[] mv)
|
|
|
CPSolver.getVar(MV v)
|
Methods in choco.cp.solver that return Var | ||
---|---|---|
|
CPSolver._to(MV[] mv,
SV[] sv)
|
|
Var |
CPSolver.getIntConstant(int i)
|
|
Var |
CPSolver.getObjective()
|
|
Var |
CPSolver.getRealConstant(double i)
|
|
|
CPSolver.getVar(Class<SV> clazz,
MV[] mv)
|
|
Var |
CPModelToCPSolver.readModelVariable(Variable v)
|
Methods in choco.cp.solver with parameters of type Var | ||
---|---|---|
|
CPSolver._to(MV[] mv,
SV[] sv)
|
|
Boolean |
CPSolver.maximize(Var obj,
boolean restart)
resolution: Searches for the solution maximizing the objective criterion. |
|
Boolean |
CPSolver.minimize(Var obj,
boolean restart)
Resolution: Searches for the solution minimizing the objective criterion. |
|
protected Boolean |
CPSolver.optimize(boolean maximize,
Var obj,
boolean restart)
|
|
protected void |
CPSolver.setMakespan(Var makespan)
|
|
void |
CPSolver.setObjective(Var anObjective)
Set the variable to optimize |
Uses of Var in choco.cp.solver.constraints.reified |
---|
Methods in choco.cp.solver.constraints.reified that return Var | ||
---|---|---|
Var |
ExpressionSConstraint.getVar(int i)
|
|
Var |
ExpressionSConstraint.getVarQuick(int i)
|
|
static
|
ReifiedAllSConstraint.makeTableVar(IntDomainVar bool,
C cons,
C oppcons)
|
Methods in choco.cp.solver.constraints.reified with parameters of type Var | |
---|---|
void |
ExpressionSConstraint.setVar(int i,
Var v)
|
Uses of Var in choco.cp.solver.constraints.set |
---|
Methods in choco.cp.solver.constraints.set that return types with arguments of type Var | |
---|---|
AbstractSConstraint<Var> |
NotMemberXY.opposite(Solver solver)
|
AbstractSConstraint<Var> |
MemberXY.opposite(Solver solver)
|
Constructors in choco.cp.solver.constraints.set with parameters of type Var | |
---|---|
AmongSet(Var[] vars,
IEnvironment environment)
Constructs a constraint with the specified priority. |
Uses of Var in choco.cp.solver.preprocessor |
---|
Methods in choco.cp.solver.preprocessor with type parameters of type Var | ||
---|---|---|
|
PreProcessCPSolver.setVar(MV v,
SV sv)
|
Uses of Var in choco.cp.solver.propagation |
---|
Methods in choco.cp.solver.propagation with parameters of type Var | |
---|---|
void |
ChocoEngine.postEvent(Var v,
int basicEvt,
SConstraint constraint,
boolean forceAwake)
Generic method to post events. |
void |
AbstractPropagationEngine.raiseContradiction(int cidx,
Var variable,
SConstraint cause)
Deprecated. |
Uses of Var in choco.cp.solver.search.integer.branching |
---|
Methods in choco.cp.solver.search.integer.branching with parameters of type Var | |
---|---|
protected static void |
DomOverWDegBranching.appendVariable(StringBuilder b,
Var v)
Deprecated. |
Uses of Var in choco.cp.solver.search.integer.branching.domwdeg |
---|
Methods in choco.cp.solver.search.integer.branching.domwdeg with parameters of type Var | |
---|---|
static void |
DomWDegUtils.addVariableExtension(Var v)
|
static int |
DomWDegUtils.computeWeightedDegreeFromScratch(Var var)
|
protected void |
AbstractDomOverWDegBranching.decreaseVarWeights(Var currentVar)
|
static int |
DomWDegUtils.getFineDegree(Var v,
SConstraint<?> c,
int cIdx)
|
static Extension |
DomWDegUtils.getVarExtension(Var v)
|
protected void |
AbstractDomOverWDegBranching.increaseVarWeights(Var currentVar)
|
Uses of Var in choco.cp.solver.search.integer.objective |
---|
Methods in choco.cp.solver.search.integer.objective that return Var | |
---|---|
Var |
IntObjectiveManager.getObjective()
|
Uses of Var in choco.cp.solver.search.real.objective |
---|
Methods in choco.cp.solver.search.real.objective that return Var | |
---|---|
Var |
RealObjectiveManager.getObjective()
|
Uses of Var in choco.cp.solver.variables.integer |
---|
Classes in choco.cp.solver.variables.integer that implement Var | |
---|---|
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
|
Methods in choco.cp.solver.variables.integer that return types with arguments of type Var | |
---|---|
VarEvent<? extends Var> |
AbstractBijectiveVar.getEvent()
|
Uses of Var in choco.cp.solver.variables.real |
---|
Classes in choco.cp.solver.variables.real that implement Var | |
---|---|
class |
RealVarImpl<C extends AbstractSConstraint & RealPropagator>
An implementation of real variables using RealDomain domains. |
Uses of Var in choco.cp.solver.variables.set |
---|
Classes in choco.cp.solver.variables.set that implement Var | |
---|---|
class |
SetVarImpl<C extends AbstractSConstraint & SetPropagator>
History: 2007-12-07 : FR_1873619 CPRU: DomOverDeg+DomOverWDeg |
Uses of Var in choco.kernel.common.util.tools |
---|
Methods in choco.kernel.common.util.tools that return Var | |
---|---|
static Var[] |
VariableUtils.getVar(Solver solver,
Variable[] variables,
int begin,
int end)
|
Uses of Var in choco.kernel.memory.structure |
---|
Classes in choco.kernel.memory.structure with type parameters of type Var | |
---|---|
class |
StoredBipartiteVarSet<E extends Var>
|
Methods in choco.kernel.memory.structure that return Var | |
---|---|
E[] |
StoredBipartiteVarSet.toArray()
|
Uses of Var in choco.kernel.memory.structure.iterators |
---|
Classes in choco.kernel.memory.structure.iterators with type parameters of type Var | |
---|---|
class |
SBVSIterator1<E extends Var>
User : cprudhom Mail : cprudhom(a)emn.fr Date : 26 mars 2010 Since : Choco 2.1.1 |
class |
SBVSIterator2<E extends Var>
User : cprudhom Mail : cprudhom(a)emn.fr Date : 26 mars 2010 Since : Choco 2.1.1 |
Methods in choco.kernel.memory.structure.iterators with parameters of type Var | |
---|---|
void |
SBVSIterator2.init(E[] someElements,
int aSize)
Freeze the iterator, cannot be reused. |
void |
SBVSIterator1.init(StoredBipartiteVarSet aStoredBipartiteVarSet,
E[] someElements,
IStateInt aLast)
Freeze the iterator, cannot be reused. |
Uses of Var in choco.kernel.model.variables |
---|
Methods in choco.kernel.model.variables that return Var | |
---|---|
Var |
VariableManager.makeVariable(Solver solver,
V variable)
Build a variable for the given solver |
Uses of Var in choco.kernel.solver |
---|
Methods in choco.kernel.solver with type parameters of type Var | ||
---|---|---|
|
Solver._to(MV[] mv,
SV[] sv)
|
|
|
Solver._to(MV mv,
SV sv)
|
|
|
Solver.getVar(Class<SV> clazz,
MV[] mv)
|
|
|
Solver.getVar(MV v)
|
Methods in choco.kernel.solver that return Var | ||
---|---|---|
|
Solver._to(MV[] mv,
SV[] sv)
|
|
Var |
Solver.getIntConstant(int i)
Returns the constant corresponding to the int i. |
|
Var |
Solver.getObjective()
|
|
Var |
Solver.getRealConstant(double i)
Returns the constant corresponding to the real i. |
|
|
Solver.getVar(Class<SV> clazz,
MV[] mv)
|
Methods in choco.kernel.solver with parameters of type Var | ||
---|---|---|
|
Solver._to(MV[] mv,
SV[] sv)
|
|
Boolean |
Solver.maximize(Var obj,
boolean restart)
|
|
Boolean |
Solver.minimize(Var obj,
boolean restart)
|
|
void |
Solver.setObjective(Var objective)
Set the variable to optimize |
Uses of Var in choco.kernel.solver.branch |
---|
Classes in choco.kernel.solver.branch with type parameters of type Var | |
---|---|
interface |
VarSelector<V extends Var>
an interface for objects controlling the selection of a variable (for heuristic purposes) |
Uses of Var in choco.kernel.solver.constraints |
---|
Classes in choco.kernel.solver.constraints with type parameters of type Var | |
---|---|
class |
AbstractSConstraint<V extends Var>
An abstract class for all implementations of listeners |
interface |
SConstraint<V extends Var>
|
Fields in choco.kernel.solver.constraints declared as Var | |
---|---|
Var[] |
Formula.variables
storing the variables (IntVar, SetVar, ...) involved in the constraint |
protected V[] |
AbstractSConstraint.vars
The list of variables of the constraint. |
Methods in choco.kernel.solver.constraints that return Var | |
---|---|
Var |
Formula.getVar(int i)
|
Var |
Formula.getVarQuick(int i)
|
Methods in choco.kernel.solver.constraints with parameters of type Var | |
---|---|
void |
Formula.setVar(int i,
Var v)
|
Constructors in choco.kernel.solver.constraints with parameters of type Var | |
---|---|
AbstractSConstraint(int priority,
V[] vars)
Constructs a constraint with the specified priority. |
|
AbstractSConstraint(V[] vars)
Constructs a constraint with the priority 0. |
|
Formula(Var[] vars,
int[] coeffs,
int c1,
int c2,
int cop)
|
|
Formula(Var[] vars,
int[] coeffs,
int c1,
int c2,
int c3,
int cop)
|
|
Formula(Var v0,
int c,
int cop)
|
|
Formula(Var v0,
Var v1,
int c,
int cop)
|
|
Formula(Var v0,
Var v1,
Var v2,
int cop)
|
Uses of Var in choco.kernel.solver.constraints.global |
---|
Methods in choco.kernel.solver.constraints.global that return Var | |
---|---|
Var |
MetaSConstraint.getVar(int i)
|
Var |
MetaSConstraint.getVarQuick(int i)
|
Methods in choco.kernel.solver.constraints.global with parameters of type Var | |
---|---|
void |
MetaSConstraint.setVar(int i,
Var v)
|
Uses of Var in choco.kernel.solver.constraints.real |
---|
Constructors in choco.kernel.solver.constraints.real with parameters of type Var | |
---|---|
AbstractMixedSRealIntSConstraint(Var[] vars)
Constraucts a constraint with the priority 0. |
Uses of Var in choco.kernel.solver.constraints.set |
---|
Constructors in choco.kernel.solver.constraints.set with parameters of type Var | |
---|---|
AbstractMixedSetIntSConstraint(Var[] vars)
Constructs a mixed set-int constraint |
Uses of Var in choco.kernel.solver.propagation |
---|
Methods in choco.kernel.solver.propagation with parameters of type Var | |
---|---|
void |
PropagationEngine.postEvent(Var v,
int basicEvt,
SConstraint constraint,
boolean forceAwake)
Generic method to post events. |
void |
PropagationEngine.raiseContradiction(int cidx,
Var variable,
SConstraint cause)
Deprecated. |
Uses of Var in choco.kernel.solver.propagation.event |
---|
Classes in choco.kernel.solver.propagation.event with type parameters of type Var | |
---|---|
class |
VarEvent<E extends Var>
Implements an PropagationEvent for the variable events. |
Fields in choco.kernel.solver.propagation.event declared as Var | |
---|---|
protected E |
VarEvent.modifiedVar
The touched variable. |
Uses of Var in choco.kernel.solver.search |
---|
Classes in choco.kernel.solver.search with type parameters of type Var | |
---|---|
interface |
TiedIntVarSelector<V extends Var>
|
interface |
ValIterator<V extends Var>
An interface for control objects that model the iteration of (search) values associated to an Var |
interface |
ValSelector<V extends Var>
An interface for control objects that model a binary choice to an search value |
Fields in choco.kernel.solver.search declared as Var | |
---|---|
Var |
AbstractOptimize.objective
the objective variable |
Methods in choco.kernel.solver.search that return Var | |
---|---|
Var |
IObjectiveManager.getObjective()
|
Uses of Var in choco.kernel.solver.search.checker |
---|
Methods in choco.kernel.solver.search.checker with parameters of type Var | |
---|---|
void |
SolutionCheckerEngine.checkVariable(Var var)
Check the instantiation of var . |
void |
ISolutionCheckerEngine.checkVariable(Var var)
Check the instantiation of var . |
boolean |
SolutionCheckerEngine.inspectVariable(Var var)
Inspect the instantiation of var . |
boolean |
ISolutionCheckerEngine.inspectVariable(Var var)
Inspect the instantiation of var . |
Uses of Var in choco.kernel.solver.variables |
---|
Classes in choco.kernel.solver.variables that implement Var | |
---|---|
class |
AbstractVar
An abstract class for all implementations of domain variables. |
Fields in choco.kernel.solver.variables with type parameters of type Var | |
---|---|
protected VarEvent<? extends Var> |
AbstractVar.event
The variable var associated to this variable. |
Methods in choco.kernel.solver.variables that return types with arguments of type Var | |
---|---|
VarEvent<? extends Var> |
Var.getEvent()
returns the object used by the propagation engine to model a propagation event associated to the variable (an update to its domain) |
VarEvent<? extends Var> |
AbstractVar.getEvent()
Returns the variable event. |
Uses of Var in choco.kernel.solver.variables.integer |
---|
Subinterfaces of Var in choco.kernel.solver.variables.integer | |
---|---|
interface |
IntDomainVar
An interface for all implementations of search valued domain variables |
interface |
IntVar
|
Uses of Var in choco.kernel.solver.variables.real |
---|
Subinterfaces of Var in choco.kernel.solver.variables.real | |
---|---|
interface |
RealConstant
|
interface |
RealVar
An interface for a real variable : an expression and a variable with a domain. |
Classes in choco.kernel.solver.variables.real that implement Var | |
---|---|
class |
RealIntervalConstant
A constant real interval. |
Uses of Var in choco.kernel.solver.variables.scheduling |
---|
Classes in choco.kernel.solver.variables.scheduling that implement Var | |
---|---|
class |
TaskVar<C extends AbstractSConstraint & TaskPropagator>
|
Fields in choco.kernel.solver.variables.scheduling with type parameters of type Var | |
---|---|
protected VarEvent<? extends Var> |
TaskVar.event
|
Methods in choco.kernel.solver.variables.scheduling that return types with arguments of type Var | |
---|---|
VarEvent<? extends Var> |
TaskVar.getEvent()
Returns the variable event. |
Method parameters in choco.kernel.solver.variables.scheduling with type arguments of type Var | |
---|---|
void |
TaskVar.eraseConstraint(SConstraint<? extends Var> c)
Removes (permanently) a constraint from the list of constraints connected to the variable. |
Uses of Var in choco.kernel.solver.variables.set |
---|
Subinterfaces of Var in choco.kernel.solver.variables.set | |
---|---|
interface |
SetVar
|
Uses of Var in choco.kernel.visu.components |
---|
Methods in choco.kernel.visu.components that return Var | |
---|---|
Var |
IVisuVariable.getSolverVar()
|
Uses of Var in choco.kernel.visu.components.bricks |
---|
Methods in choco.kernel.visu.components.bricks that return Var | |
---|---|
Var |
IChocoBrick.getVar()
Returns the associated Var object |
Uses of Var in choco.visu |
---|
Fields in choco.visu with type parameters of type Var | |
---|---|
protected HashMap<Var,VisuVariable> |
Tracer.mapvars
|
Uses of Var in choco.visu.components.bricks |
---|
Fields in choco.visu.components.bricks declared as Var | |
---|---|
protected Var |
AChocoBrick.var
The Var represented by the brick |
Methods in choco.visu.components.bricks that return Var | |
---|---|
Var |
AChocoBrick.getVar()
Return the var of the brick |
Constructors in choco.visu.components.bricks with parameters of type Var | |
---|---|
AChocoBrick(AChocoPApplet chopapplet,
Var var)
|
|
ColorValueBrick(AChocoPApplet chopapplet,
Var var)
Constructor of ColorValueBrick |
|
DotBrick(AChocoPApplet chopapplet,
Var var)
|
|
FullDomainBrick(AChocoPApplet chopapplet,
Var var,
int size)
|
|
HazardOrValueBrick(AChocoPApplet chopapplet,
Var var,
int policy)
|
|
NameOrValueBrick(AChocoPApplet chopapplet,
Var var,
int namelength,
int policy)
|
|
NodeBrick(AChocoPApplet chopapplet,
Var var)
|
|
QuestionMarkOrValueBrick(AChocoPApplet chopapplet,
Var var,
int policy)
|
Uses of Var in choco.visu.variables |
---|
Fields in choco.visu.variables declared as Var | |
---|---|
protected Var |
VisuVariable.var
|
Methods in choco.visu.variables that return Var | |
---|---|
Var |
VisuVariable.getSolverVar()
Return the solver variable |
Constructors in choco.visu.variables with parameters of type Var | |
---|---|
VisuVariable(Var var)
|
Uses of Var in samples.tutorials.lns.lns |
---|
Methods in samples.tutorials.lns.lns with type parameters of type Var | ||
---|---|---|
|
AbstractLNSSolver._to(MV[] mv,
SV[] sv)
Deprecated. |
|
|
AbstractLNSSolver._to(MV mv,
SV sv)
Deprecated. |
|
|
AbstractLNSSolver.getVar(Class<SV> clazz,
MV[] mv)
Deprecated. |
|
|
AbstractLNSSolver.getVar(MV v)
Deprecated. |
Methods in samples.tutorials.lns.lns that return Var | ||
---|---|---|
|
AbstractLNSSolver._to(MV[] mv,
SV[] sv)
Deprecated. |
|
Var |
AbstractLNSSolver.getIntConstant(int i)
Deprecated. |
|
Var |
AbstractLNSSolver.getObjective()
Deprecated. |
|
Var |
AbstractLNSSolver.getRealConstant(double i)
Deprecated. |
|
|
AbstractLNSSolver.getVar(Class<SV> clazz,
MV[] mv)
Deprecated. |
Methods in samples.tutorials.lns.lns with parameters of type Var | ||
---|---|---|
|
AbstractLNSSolver._to(MV[] mv,
SV[] sv)
Deprecated. |
|
Boolean |
AbstractLNSSolver.maximize(Var obj,
boolean restart)
Deprecated. |
|
Boolean |
AbstractLNSSolver.minimize(Var obj,
boolean restart)
Deprecated. |
|
protected Boolean |
LNSCPSolver.optimize(boolean maximize,
Var obj,
boolean restart)
launch the large neighborhood search |
|
protected abstract Boolean |
AbstractLNSSolver.optimize(boolean maximize,
Var obj,
boolean restart)
Deprecated. |
|
void |
AbstractLNSSolver.setObjective(Var objective)
Deprecated. |
Uses of Var in trace.visualizers |
---|
Methods in trace.visualizers with parameters of type Var | |
---|---|
protected Writer |
Writer.arrayDvar(Var[] vars,
int pf)
|
protected Writer |
Writer.var(Var var,
String idx,
int pf)
|
Constructors in trace.visualizers with parameters of type Var | |
---|---|
DomainMatrix(Var[][] vars,
String display,
int width,
int height)
Build a visualizer for a matrix of domain variables |
|
DomainMatrix(Var[][] vars,
String display,
int x,
int y,
int width,
int height,
String group,
int min,
int max)
Build a visualizer for a matrix of domain variables |
|
DomainMatrix(Var[][] vars,
String type,
String display,
int width,
int height)
|
|
DomainMatrix(Var[][] vars,
String type,
String display,
int x,
int y,
int width,
int height,
String group,
int min,
int max)
|
|
Vector(Var[] vars,
String display,
int width,
int height)
Build a visualizer for a vector of domain variables |
|
Vector(Var[] vars,
String display,
int x,
int y,
int width,
int height,
String group,
int min,
int max)
Build a visualizer for a vector of domain variables |
|
Vector(Var[] vars,
String type,
String display,
int width,
int height)
|
|
Vector(Var[] vars,
String type,
String display,
int x,
int y,
int width,
int height,
String group,
int min,
int max)
|
|
VectorSize(Var[] vars,
String display,
int width,
int height)
Build a visualizer for the cardinality sum of domain variables. |
|
VectorSize(Var[] vars,
String display,
int x,
int y,
int width,
int height,
String group,
int min,
int max)
Build a visualizer for the cardinality sum of domain variables. |
|
VectorWaterfall(Var[] vars,
String display,
int width,
int height)
Build a visualizer for a waterfall vector of domain variables |
|
VectorWaterfall(Var[] vars,
String display,
int x,
int y,
int width,
int height,
String group,
int min,
int max)
Build a visualizer for a waterfall vector of domain variables |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |