choco.cp.solver.constraints.global.softscheduling
Class SoftCumulativeSum
java.lang.Object
choco.kernel.solver.propagation.Propagator
choco.kernel.solver.constraints.AbstractSConstraint<IntDomainVar>
choco.kernel.solver.constraints.integer.AbstractIntSConstraint
choco.kernel.solver.constraints.integer.AbstractLargeIntSConstraint
choco.cp.solver.constraints.global.softscheduling.AbstractSoftCumulative
choco.cp.solver.constraints.global.softscheduling.SoftCumulative
choco.cp.solver.constraints.global.softscheduling.SoftCumulativeSum
- All Implemented Interfaces:
- IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener
public class SoftCumulativeSum
- extends SoftCumulative
Fields inherited from class choco.cp.solver.constraints.global.softscheduling.AbstractSoftCumulative |
capaMax, contributions, endComp, events, evtComp, fixPoint, nbTask, stComp, sum_height, taskInter, taskToPrune, Xtasks, Ytasks |
Constructor Summary |
SoftCumulativeSum(IntDomainVar[] starts,
int[] durations,
int[] heights,
IntDomainVar[] costVars,
IntDomainVar obj,
int wishCapa,
Solver solver)
|
SoftCumulativeSum(IntDomainVar[] starts,
IntDomainVar[] ends,
IntDomainVar[] durations,
IntDomainVar[] heights,
IntDomainVar[] costVars,
IntDomainVar obj,
int wishCapa,
int capa,
Solver solver)
|
Methods inherited from class choco.cp.solver.constraints.global.softscheduling.SoftCumulative |
allIsScheduled, capaMaxDiff, checkCosts, computeCapa, consistentData, createEndVarArray, createIntVarArray, filter, generateEvents, getCostVar, isCostVar, isEntailed, isSatisfied, maxCapaMax, overlaps, propagate, prune, recomputeVars, sweep, violateMaxCapa, violateMaxCapa, violateWishCapa |
Methods inherited from class choco.cp.solver.constraints.global.softscheduling.AbstractSoftCumulative |
getDuration, getEE, getEnd, getES, getHeight, getLE, getLS, getStart, initMainIteration, isScheduled, updateCompulsoryPart |
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
addExtension, addListener, clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, opposite, pretty, setConstraintIndex, setExtension, setVar, toString |
Methods inherited from class choco.kernel.solver.propagation.Propagator |
activate, awake, constAwake, fail, getEvent, getFilteredEventMask, getPriority, isActive, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
profileMinSum
protected StoredInt profileMinSum
SoftCumulativeSum
public SoftCumulativeSum(IntDomainVar[] starts,
IntDomainVar[] ends,
IntDomainVar[] durations,
IntDomainVar[] heights,
IntDomainVar[] costVars,
IntDomainVar obj,
int wishCapa,
int capa,
Solver solver)
SoftCumulativeSum
public SoftCumulativeSum(IntDomainVar[] starts,
int[] durations,
int[] heights,
IntDomainVar[] costVars,
IntDomainVar obj,
int wishCapa,
Solver solver)
initialize
protected void initialize(IntDomainVar[] costVars,
IntDomainVar obj,
Solver solver)
recomputeVars
protected void recomputeVars(IntDomainVar obj)
getObj
protected IntDomainVar getObj()
updateCost
protected void updateCost(int low,
int up)
throws ContradictionException
- Overrides:
updateCost
in class SoftCumulative
- Throws:
ContradictionException
computeIncreasing
public int computeIncreasing(int energy,
int left,
int right)
taskIntervals
public void taskIntervals()
throws ContradictionException
- Overrides:
taskIntervals
in class SoftCumulative
- Throws:
ContradictionException
Copyright © 2012. All Rights Reserved.