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

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
All Implemented Interfaces:
IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener
Direct Known Subclasses:
SoftCumulative

public abstract class AbstractSoftCumulative
extends AbstractLargeIntSConstraint


Nested Class Summary
protected  class AbstractSoftCumulative.EndingDateComparator
           
protected  class AbstractSoftCumulative.Event
           
protected  class AbstractSoftCumulative.EventComparator
           
protected  class AbstractSoftCumulative.StartingDateComparator
           
 
Field Summary
protected  int capaMax
           
protected  int[] contributions
           
protected  Comparator endComp
           
protected  ArrayList<AbstractSoftCumulative.Event> events
           
protected  Comparator evtComp
           
protected  boolean fixPoint
           
protected  int nbTask
           
protected  Comparator stComp
           
protected  int sum_height
           
static boolean taskInter
           
protected  IntList taskToPrune
           
protected  ArrayList<Integer> Xtasks
           
protected  ArrayList<Integer> 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
AbstractSoftCumulative(IntDomainVar[] starts, IntDomainVar[] ends, IntDomainVar[] duration, IntDomainVar[] heights, int Capa)
           
 
Method Summary
 boolean generateEvents()
           
 IntDomainVar getDuration(int i)
           
 int getEE(int i)
           
 IntDomainVar getEnd(int i)
           
 int getES(int i)
           
 IntDomainVar getHeight(int i)
           
 int getLE(int i)
           
 int getLS(int i)
           
 IntDomainVar getStart(int i)
           
 void initMainIteration()
           
 boolean isScheduled(int i)
           
 void updateCompulsoryPart()
           
 
Methods inherited from class choco.kernel.solver.constraints.integer.AbstractIntSConstraint
awakeOnBounds, awakeOnInf, awakeOnInst, awakeOnRem, awakeOnRemovals, awakeOnSup, getConstraintType, isConsistent, isSatisfied, isSatisfied
 
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint
addExtension, addListener, clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, isEntailed, opposite, pretty, setConstraintIndex, setExtension, setVar, toString
 
Methods inherited from class choco.kernel.solver.propagation.Propagator
activate, awake, constAwake, fail, getEvent, getFilteredEventMask, getPriority, isActive, propagate, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

taskInter

public static boolean taskInter

nbTask

protected int nbTask

capaMax

protected int capaMax

events

protected ArrayList<AbstractSoftCumulative.Event> events

evtComp

protected Comparator evtComp

sum_height

protected int sum_height

taskToPrune

protected IntList taskToPrune

contributions

protected int[] contributions

fixPoint

protected boolean fixPoint

Xtasks

protected ArrayList<Integer> Xtasks

stComp

protected Comparator stComp

Ytasks

protected ArrayList<Integer> Ytasks

endComp

protected Comparator endComp
Constructor Detail

AbstractSoftCumulative

public AbstractSoftCumulative(IntDomainVar[] starts,
                              IntDomainVar[] ends,
                              IntDomainVar[] duration,
                              IntDomainVar[] heights,
                              int Capa)
Method Detail

getStart

public IntDomainVar getStart(int i)

getEnd

public IntDomainVar getEnd(int i)

getDuration

public IntDomainVar getDuration(int i)

getHeight

public IntDomainVar getHeight(int i)

isScheduled

public boolean isScheduled(int i)

getES

public int getES(int i)

getLS

public int getLS(int i)

getEE

public int getEE(int i)

getLE

public int getLE(int i)

generateEvents

public boolean generateEvents()

initMainIteration

public void initMainIteration()

updateCompulsoryPart

public void updateCompulsoryPart()
                          throws ContradictionException
Throws:
ContradictionException


Copyright © 2012. All Rights Reserved.