Uses of Class
choco.kernel.model.variables.scheduling.TaskVariable

Packages that use TaskVariable
choco   
choco.cp.common.util.preprocessor.detector.scheduling   
choco.cp.common.util.preprocessor.merger   
choco.cp.model.managers.variables   
choco.cp.solver   
choco.kernel.common.util.tools   
choco.kernel.model.constraints   
choco.kernel.solver   
choco.kernel.solver.constraints.global.scheduling   
choco.visu.components.chart   
samples   
samples.tutorials.lns.lns   
samples.tutorials.scheduling   
samples.tutorials.to_sort.scheduling   
 

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
           
 



Copyright © 2012. All Rights Reserved.