choco.cp.solver.constraints.global.softscheduling
Class SoftCumulativeSum

java.lang.Object
  extended by choco.kernel.solver.propagation.Propagator
      extended by choco.kernel.solver.constraints.AbstractSConstraint<IntDomainVar>
          extended by choco.kernel.solver.constraints.integer.AbstractIntSConstraint
              extended by choco.kernel.solver.constraints.integer.AbstractLargeIntSConstraint
                  extended by choco.cp.solver.constraints.global.softscheduling.AbstractSoftCumulative
                      extended by choco.cp.solver.constraints.global.softscheduling.SoftCumulative
                          extended by choco.cp.solver.constraints.global.softscheduling.SoftCumulativeSum
All Implemented Interfaces:
IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener

public class SoftCumulativeSum
extends SoftCumulative


Nested Class Summary
 
Nested classes/interfaces inherited from class choco.cp.solver.constraints.global.softscheduling.AbstractSoftCumulative
AbstractSoftCumulative.EndingDateComparator, AbstractSoftCumulative.Event, AbstractSoftCumulative.EventComparator, AbstractSoftCumulative.StartingDateComparator
 
Field Summary
protected  StoredInt profileMinSum
           
 
Fields inherited from class choco.cp.solver.constraints.global.softscheduling.SoftCumulative
allScheduled, costVarsLength, debug, wishCapa
 
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
 
Fields inherited from class choco.kernel.solver.constraints.AbstractSConstraint
cIndices, constraintType, extensions, vars
 
Fields inherited from class choco.kernel.solver.propagation.Propagator
active, constAwakeEvent, priority, propagationEngine
 
Fields inherited from interface choco.kernel.solver.constraints.SConstraint
LOGGER
 
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)
           
 
Method Summary
 int computeIncreasing(int energy, int left, int right)
           
protected  IntDomainVar getObj()
           
protected  void initialize(IntDomainVar[] costVars, IntDomainVar obj, Solver solver)
           
protected  void recomputeVars(IntDomainVar obj)
           
 void taskIntervals()
           
protected  void updateCost(int low, int up)
           
 
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.integer.AbstractIntSConstraint
awakeOnBounds, awakeOnInf, awakeOnInst, awakeOnRem, awakeOnRemovals, awakeOnSup, getConstraintType, isConsistent, isSatisfied
 
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
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

profileMinSum

protected StoredInt profileMinSum
Constructor Detail

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)
Method Detail

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.