choco.cp.solver.constraints.global.softscheduling
Class AbstractSoftCumulative
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
- All Implemented Interfaces:
- IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener
- Direct Known Subclasses:
- SoftCumulative
public abstract class AbstractSoftCumulative
- extends AbstractLargeIntSConstraint
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 |
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
AbstractSoftCumulative
public AbstractSoftCumulative(IntDomainVar[] starts,
IntDomainVar[] ends,
IntDomainVar[] duration,
IntDomainVar[] heights,
int Capa)
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.