|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of TaskVariable in choco |
---|
Methods in choco that return TaskVariable | |
---|---|
static TaskVariable |
Choco.makeTaskVar(String name,
IntegerVariable start,
IntegerVariable end,
IntegerVariable duration,
String... options)
create a task variable. |
static TaskVariable |
Choco.makeTaskVar(String name,
IntegerVariable start,
IntegerVariable duration,
String... options)
create a task variable. |
static TaskVariable |
Choco.makeTaskVar(String name,
int bsup,
IntegerVariable duration,
String... options)
|
static TaskVariable |
Choco.makeTaskVar(String name,
int binf,
int bsup,
IntegerVariable duration,
String... options)
Make a task variable. |
static TaskVariable |
Choco.makeTaskVar(String name,
int binf,
int bsup,
int duration,
String... options)
|
static TaskVariable |
Choco.makeTaskVar(String name,
int bsup,
int duration,
String... options)
|
static TaskVariable[] |
Choco.makeTaskVarArray(String name,
int[] binf,
int[] bsup,
IntegerVariable[] durations,
String... options)
Create an array of task variables. |
static TaskVariable[] |
Choco.makeTaskVarArray(String prefix,
IntegerVariable[] starts,
IntegerVariable[] ends,
IntegerVariable[] durations,
String... options)
Create an array of task variables. |
static TaskVariable[][] |
Choco.makeTaskVarArray(String name,
int binf,
int bsup,
int[][] durations,
String... options)
|
static TaskVariable[] |
Choco.makeTaskVarArray(String name,
int binf,
int bsup,
int[] durations,
String... options)
|
static TaskVariable[][] |
Choco.makeTaskVarArray(String name,
int binf,
int bsup,
IntegerVariable[][] durations,
String... options)
|
static TaskVariable[] |
Choco.makeTaskVarArray(String name,
int binf,
int bsup,
IntegerVariable[] durations,
String... options)
Create an array of task variables. |
Methods in choco with parameters of type TaskVariable | |
---|---|
static Constraint |
Choco.cumulative(String name,
TaskVariable[] tasks,
IntegerVariable[] heights,
IntegerVariable[] usages,
IntegerVariable consumption,
IntegerVariable capacity,
IntegerVariable uppBound,
String... options)
Builds Alternative cumulative Min-Max. |
static Constraint |
Choco.cumulative(String name,
TaskVariable[] tasks,
IntegerVariable[] heights,
IntegerVariable[] usages,
IntegerVariable consumption,
IntegerVariable capacity,
String... options)
Alternative Cumulative Min-Max : uppBound = null . |
static Constraint |
Choco.cumulative(String name,
TaskVariable[] tasks,
IntegerVariable[] heights,
IntegerVariable consumption,
IntegerVariable capacity,
String... options)
Cumulative Min-Max : usages = null , uppBound = null . |
static Constraint |
DeprecatedChoco.cumulative(String name,
TaskVariable[] tasks,
IntegerVariable[] heights,
IntegerVariable capa,
String... options)
Deprecated. |
static Constraint |
DeprecatedChoco.cumulative(TaskVariable[] tasks,
int[] heights,
int capa,
String... options)
Deprecated. |
static Constraint |
Choco.cumulativeMax(String name,
TaskVariable[] tasks,
IntegerVariable[] heights,
IntegerVariable[] usages,
IntegerVariable capacity,
String... options)
Alternative Cumulative Max : consumption=0, uppBound = null . |
static Constraint |
Choco.cumulativeMax(String name,
TaskVariable[] tasks,
IntegerVariable[] heights,
IntegerVariable capacity,
String... options)
Cumulative Max : consumption=0, usages = null , uppBound = null . |
static Constraint |
Choco.cumulativeMax(TaskVariable[] tasks,
int[] heights,
int capacity,
String... options)
Cumulative Max : consumption=0, usages = null , uppBound = null . |
static Constraint |
Choco.cumulativeMin(String name,
TaskVariable[] tasks,
IntegerVariable[] heights,
IntegerVariable[] usages,
IntegerVariable consumption,
String... options)
Alternative Cumulative Min : capacity=infinity, uppBound = null . |
static Constraint |
Choco.cumulativeMin(String name,
TaskVariable[] tasks,
IntegerVariable[] heights,
IntegerVariable consumption,
String... options)
Cumulative Min : capacity=infinity, usages = null , uppBound = null . |
static Constraint |
Choco.cumulativeMin(TaskVariable[] tasks,
int[] heights,
int consumption,
String... options)
Cumulative Min : capacity=infinity, usages = null , uppBound = null . |
static Constraint[] |
Choco.disjoint(TaskVariable[] tasks1,
TaskVariable[] tasks2)
Each task of the collection tasks1 should not overlap any task of the collection tasks2. |
static Constraint[] |
Choco.disjoint(TaskVariable[] tasks1,
TaskVariable[] tasks2)
Each task of the collection tasks1 should not overlap any task of the collection tasks2. |
static Constraint |
Choco.disjunctive(String name,
TaskVariable[] tasks,
IntegerVariable[] usages,
IntegerVariable uppBound,
String... options)
Builds Alternative disjunctive. |
static Constraint |
Choco.disjunctive(String name,
TaskVariable[] tasks,
IntegerVariable[] usages,
String... options)
Alternative Disjunctive : uppBound = null . |
static Constraint |
Choco.disjunctive(String name,
TaskVariable[] tasks,
String... options)
Disjunctive : usages = null , uppBound = null . |
static Constraint |
Choco.disjunctive(TaskVariable[] tasks,
IntegerVariable[] usages,
String... options)
Alternative Disjunctive : name = null , uppBound = null . |
static Constraint[] |
Reformulation.disjunctive(TaskVariable[] clique,
String... boolvarOptions)
AMONG constraint reformulated like: introducing BOOL variable for each VARIABLE, adding following constraints: for each VARIABLE : REIFIED(BOOL_i, AMONG(VARIABLE_i, VALUES)), EQ(SUM(BOOL), N), |
static Constraint |
Choco.disjunctive(TaskVariable[] tasks,
String... options)
Disjunctive : name = null , usages = null , uppBound = null . |
static Constraint |
Choco.endsAfter(TaskVariable t,
int min)
This task ends after min |
static Constraint |
Choco.endsAfterBegin(TaskVariable t1,
TaskVariable t2)
This task ends after the start of the task 2 |
static Constraint |
Choco.endsAfterBegin(TaskVariable t1,
TaskVariable t2,
int delta)
Temporal constraint: end(t1) >= start(t2) + delta |
static Constraint |
Choco.endsAfterEnd(TaskVariable t1,
TaskVariable t2)
Temporal constraint: end(t1) >= end(t2) |
static Constraint |
Choco.endsAfterEnd(TaskVariable t1,
TaskVariable t2,
int delta)
Temporal constraint: end(t1) >= end(t2) + delta |
static Constraint |
Choco.endsAt(TaskVariable t,
int time)
This task ends at time. |
static Constraint |
Choco.endsBefore(TaskVariable t,
int max)
This task ends before max |
static Constraint |
Choco.endsBeforeBegin(TaskVariable t1,
TaskVariable t2)
Temporal constraint: end(t1)<= start(t2) |
static Constraint |
Choco.endsBeforeBegin(TaskVariable t1,
TaskVariable t2,
int delta)
Temporal constraint: end(t1) + delta <= start(t2) |
static Constraint |
Choco.endsBeforeEnd(TaskVariable t1,
TaskVariable t2)
Temporal constraint: end(t1) <= end(t2) |
static Constraint |
Choco.endsBeforeEnd(TaskVariable t1,
TaskVariable t2,
int delta)
Temporal constraint: end(t1) + delta <= end(t2) |
static Constraint |
Choco.endsBetween(TaskVariable t,
int min,
int max)
This task ends between min and max |
static Constraint |
Choco.forbiddenIntervals(String name,
TaskVariable[] tasks)
This redundant constraints applies additional search tree reduction based on Time intervals are in which no operation can start or end in an optimal solution. |
static Constraint |
Choco.precedence(TaskVariable t1,
TaskVariable t2)
T1 ends before t2 starts or t1 precedes t2. |
static Constraint |
Choco.precedence(TaskVariable t1,
TaskVariable t2,
int delta)
T1 ends before t2 starts or t1 precedes t2. |
static Constraint |
Choco.precedenceDisjoint(TaskVariable t1,
TaskVariable t2,
IntegerVariable direction)
represents a disjunction without setup times |
static Constraint |
Choco.precedenceDisjoint(TaskVariable t1,
TaskVariable t2,
IntegerVariable direction,
int forwardSetup,
int backwardSetup)
precedence disjoint with setup times: direction = 1 => t1.end() + forwardSetup <= t2.start() (T1 << T2); direction = 0 => t2.end() + backwardSetup <= t1.start() (T2 << T1); |
static Constraint |
Choco.precedenceImplied(TaskVariable t1,
int delta,
TaskVariable t2,
IntegerVariable b)
represents a reidied precedence with setup times between a pair of tasks: b = 1 => e1 + delta <= s2 b = 0 => TRUE; |
static Constraint |
Choco.precedenceReified(TaskVariable t1,
int delta,
TaskVariable t2,
IntegerVariable b)
represents a reidied precedence with setup times between a pair of tasks: b = 1 => e1 + delta <= s2 b = 0 => e1 + delta > s2 |
static Constraint |
DeprecatedChoco.preceding(TaskVariable t1,
TaskVariable t2)
Deprecated. |
static Constraint |
DeprecatedChoco.preceding(TaskVariable t1,
TaskVariable t2,
IntegerVariable direction)
Deprecated. |
static Constraint |
Choco.startsAfter(TaskVariable t,
int min)
This task begins before max |
static Constraint |
Choco.startsAfterBegin(TaskVariable t1,
TaskVariable t2)
Temporal constraint : start(t1) >= start(t2) |
static Constraint |
Choco.startsAfterBegin(TaskVariable t1,
TaskVariable t2,
int delta)
Temporal constraint : start(t1) >= start(t2) +delta |
static Constraint |
Choco.startsAfterEnd(TaskVariable t1,
TaskVariable t2)
Temporal constraint: start(t1) >= end(t2) |
static Constraint |
Choco.startsAfterEnd(TaskVariable t1,
TaskVariable t2,
int delta)
Temporal constraint: start(t1) >= end(t2) + delta |
static Constraint |
Choco.startsAt(TaskVariable t,
int time)
This task starts at time. |
static Constraint |
Choco.startsBefore(TaskVariable t,
int max)
This task starts before max |
static Constraint |
Choco.startsBeforeBegin(TaskVariable t1,
TaskVariable t2)
Temporal constraint : start(t1) <= start(s2) |
static Constraint |
Choco.startsBeforeBegin(TaskVariable t1,
TaskVariable t2,
int delta)
Temporal constraint : start(t1) +delta <= start(s2) |
static Constraint |
Choco.startsBeforeEnd(TaskVariable t1,
TaskVariable t2)
Temporal constraint : start(t1) + delta <= end(t2) |
static Constraint |
Choco.startsBeforeEnd(TaskVariable t1,
TaskVariable t2,
int delta)
Temporal constraint : start(t1) + delta <= end(t2) |
static Constraint |
Choco.startsBetween(TaskVariable t,
int min,
int max)
This task ends between min and max |
static Constraint |
ChocoContrib.useResource(TaskVariable task,
Constraint... resources)
|
static Constraint |
ChocoContrib.useResourceGeq(TaskVariable task,
Constraint... resources)
|
static Constraint |
ChocoContrib.useResources(TaskVariable task,
int k,
Constraint... resources)
|
static Constraint |
ChocoContrib.useResourcesGeq(TaskVariable task,
int k,
Constraint... resources)
|
Uses of TaskVariable in choco.cp.common.util.preprocessor.detector.scheduling |
---|
Methods in choco.cp.common.util.preprocessor.detector.scheduling with parameters of type TaskVariable | |
---|---|
boolean |
DisjunctiveModel.containsArc(TaskVariable i,
TaskVariable j)
|
boolean |
DisjunctiveModel.containsEdge(TaskVariable i,
TaskVariable j)
|
boolean |
DisjunctiveModel.containsRelation(TaskVariable i,
TaskVariable j)
|
void |
DisjunctiveModel.safeAddArc(TaskVariable i,
TaskVariable j)
|
int |
DisjunctiveModel.setupTime(TaskVariable i,
TaskVariable j)
|
Uses of TaskVariable in choco.cp.common.util.preprocessor.merger |
---|
Methods in choco.cp.common.util.preprocessor.merger that return TaskVariable | |
---|---|
TaskVariable |
TaskVariableMerger.create()
|
Methods in choco.cp.common.util.preprocessor.merger with parameters of type TaskVariable | |
---|---|
boolean |
TaskVariableMerger.intersection(TaskVariable d)
|
Constructors in choco.cp.common.util.preprocessor.merger with parameters of type TaskVariable | |
---|---|
TaskVariableMerger(TaskVariable v)
|
Uses of TaskVariable in choco.cp.model.managers.variables |
---|
Methods in choco.cp.model.managers.variables with parameters of type TaskVariable | |
---|---|
Var |
TaskVariableManager.makeVariable(Solver solver,
TaskVariable var)
Build a set variable for the given solver |
Uses of TaskVariable in choco.cp.solver |
---|
Methods in choco.cp.solver with parameters of type TaskVariable | |
---|---|
TaskVar[] |
CPSolver.getVar(TaskVariable... v)
|
TaskVar |
CPSolver.getVar(TaskVariable v)
|
Uses of TaskVariable in choco.kernel.common.util.tools |
---|
Methods in choco.kernel.common.util.tools with parameters of type TaskVariable | |
---|---|
static IntegerVariable |
VariableUtils.createDirVariable(TaskVariable t1,
TaskVariable t2,
String... boolOptions)
|
static IntegerVariable[] |
VariableUtils.getDurationVariables(TaskVariable... tasks)
|
static IntegerVariable[] |
VariableUtils.getEndVariables(TaskVariable... tasks)
|
static IntegerVariable[] |
VariableUtils.getStartVariables(TaskVariable... tasks)
|
static TaskVar[] |
VariableUtils.getVar(Solver solver,
TaskVariable[] variables,
int begin,
int end)
|
Method parameters in choco.kernel.common.util.tools with type arguments of type TaskVariable | |
---|---|
static IntegerVariable[] |
VariableUtils.getDurationVariables(List<TaskVariable> tasks)
|
static IntegerVariable[] |
VariableUtils.getEndVariables(List<TaskVariable> tasks)
|
static IntegerVariable[] |
VariableUtils.getStartVariables(List<TaskVariable> tasks)
|
Uses of TaskVariable in choco.kernel.model.constraints |
---|
Methods in choco.kernel.model.constraints that return TaskVariable | |
---|---|
TaskVariable |
TemporalConstraint.getDestination()
|
TaskVariable |
TemporalConstraint.getOrigin()
|
Constructors in choco.kernel.model.constraints with parameters of type TaskVariable | |
---|---|
MetaTaskConstraint(TaskVariable[] taskvariables,
Constraint constraint)
|
Uses of TaskVariable in choco.kernel.solver |
---|
Methods in choco.kernel.solver with parameters of type TaskVariable | |
---|---|
TaskVar[] |
Solver.getVar(TaskVariable... v)
|
TaskVar |
Solver.getVar(TaskVariable v)
|
Uses of TaskVariable in choco.kernel.solver.constraints.global.scheduling |
---|
Constructors in choco.kernel.solver.constraints.global.scheduling with parameters of type TaskVariable | |
---|---|
ResourceParameters(String name,
TaskVariable[] tasks,
IntegerVariable[] usages,
IntegerVariable uppBound)
|
Uses of TaskVariable in choco.visu.components.chart |
---|
Methods in choco.visu.components.chart with parameters of type TaskVariable | |
---|---|
static org.jfree.data.gantt.Task |
ChocoDatasetFactory.createTask(CPSolver s,
TaskVariable t)
|
static org.jfree.data.gantt.TaskSeriesCollection |
ChocoDatasetFactory.createTaskCollection(Solver solver,
String prefix,
TaskVariable[][] tasks)
|
static org.jfree.chart.JFreeChart |
ChocoChartFactory.createUnaryHChart(String title,
Solver scheduler,
TaskVariable[][] resources)
|
Uses of TaskVariable in samples |
---|
Fields in samples declared as TaskVariable | |
---|---|
protected TaskVariable[] |
AirPlaneLandingWithLNS.planes
Each plane is represented as a task. its starting time is its landing time and its duration its landing time. |
Uses of TaskVariable in samples.tutorials.lns.lns |
---|
Methods in samples.tutorials.lns.lns with parameters of type TaskVariable | |
---|---|
TaskVar[] |
AbstractLNSSolver.getVar(TaskVariable... v)
Deprecated. |
TaskVar |
AbstractLNSSolver.getVar(TaskVariable v)
Deprecated. |
Uses of TaskVariable in samples.tutorials.scheduling |
---|
Fields in samples.tutorials.scheduling declared as TaskVariable | |
---|---|
protected TaskVariable[] |
AirPlaneLanding.planes
Each plane is represented as a task. its starting time is its landing time and its duration its landing time. |
Uses of TaskVariable in samples.tutorials.to_sort.scheduling |
---|
Fields in samples.tutorials.to_sort.scheduling declared as TaskVariable | |
---|---|
TaskVariable[] |
ResourceAllocation.operationRequests
|
protected TaskVariable[] |
MeetingScheduling.proposals
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |