choco.cp.solver.constraints.global.scheduling.cumulative
Class Cumulative
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.kernel.solver.constraints.global.scheduling.AbstractTaskSConstraint
choco.cp.solver.constraints.global.scheduling.AbstractResourceSConstraint
choco.cp.solver.constraints.global.scheduling.cumulative.AbstractCumulativeSConstraint
choco.cp.solver.constraints.global.scheduling.cumulative.Cumulative
- All Implemented Interfaces:
- IExtensionnable, IPretty, ICapacitedResource<TaskVar>, ICumulativeResource<TaskVar>, IResource<TaskVar>, IResourceParameters, SConstraint<IntDomainVar>, IntPropagator, TaskPropagator, Serializable, Cloneable, EventListener
- Direct Known Subclasses:
- AltCumulative
public class Cumulative
- extends AbstractCumulativeSConstraint
- Author:
- Arnaud Malapert
- See Also:
- Serialized Form
Constructor Summary |
|
Cumulative(Solver solver,
String name,
TaskVar[] taskvars,
IntDomainVar[] heights,
IntDomainVar consumption,
IntDomainVar capacity,
IntDomainVar uppBound)
|
protected |
Cumulative(Solver solver,
String name,
TaskVar[] taskvars,
int nbOptionalTasks,
IntDomainVar consumption,
IntDomainVar capacity,
IntDomainVar uppBound,
IntDomainVar... otherVars)
|
Method Summary |
void |
awake()
Propagation:
Propagating the constraint for the very first time until local
consistency is reached. |
protected void |
checkRulesRequirement()
|
void |
filter()
Main loop to achieve the fix point over the
sweep and edge-finding algorithms |
ICumulRules |
getRules()
|
ICumulSweep |
getSweep()
|
void |
propagate()
Propagation:
Propagating the constraint until local consistency is reached. |
Methods inherited from class choco.cp.solver.constraints.global.scheduling.cumulative.AbstractCumulativeSConstraint |
getCapacity, getConsumption, getHeight, getMaxCapacity, getMaxConsumption, getMinCapacity, getMinConsumption, hasOnlyPosisiveHeights, isEntailed, isInstantiatedHeights, isSatisfied, isTaskConsistencyEnforced, readOptions, updateMaxCapacity, updateMaxConsumption, updateMinCapacity, updateMinConsumption |
Methods inherited from class choco.cp.solver.constraints.global.scheduling.AbstractResourceSConstraint |
asRTaskList, asTaskList, awakeOnBounds, awakeOnInf, awakeOnInst, awakeOnSup, checkTask, enforceTaskConsistency, fireTaskRemoval, getFilteredEventMask, getFlags, getHeight, getHeightIndex, getNbOptionalTasks, getNbRegularTasks, getRscName, getRTask, getRTaskIterator, getTaskIterator, getUsageIndex, indexOf, isCumulativeSatisfied, isRegular, isTaskSatisfied, pretty |
Methods inherited from class choco.kernel.solver.constraints.global.scheduling.AbstractTaskSConstraint |
addListener, awakeOnHypDomMod, awakeOnRem, awakeOnRemovals, createTaskVarArray, getDurationIndex, getEndIndex, getNbTasks, getStartIndex, getTask, getTaskIntVarOffset, makeIntVarArray, pretty |
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
addExtension, clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, opposite, setConstraintIndex, setExtension, setVar, toString |
Methods inherited from class choco.kernel.solver.propagation.Propagator |
activate, constAwake, fail, getEvent, getPriority, isActive, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
cumulSweep
protected ICumulSweep cumulSweep
cumulRules
protected ICumulRules cumulRules
noFixPoint
protected boolean noFixPoint
Cumulative
protected Cumulative(Solver solver,
String name,
TaskVar[] taskvars,
int nbOptionalTasks,
IntDomainVar consumption,
IntDomainVar capacity,
IntDomainVar uppBound,
IntDomainVar... otherVars)
Cumulative
public Cumulative(Solver solver,
String name,
TaskVar[] taskvars,
IntDomainVar[] heights,
IntDomainVar consumption,
IntDomainVar capacity,
IntDomainVar uppBound)
getSweep
public final ICumulSweep getSweep()
getRules
public final ICumulRules getRules()
checkRulesRequirement
protected void checkRulesRequirement()
filter
public final void filter()
throws ContradictionException
- Main loop to achieve the fix point over the
sweep and edge-finding algorithms
- Throws:
ContradictionException
awake
public void awake()
throws ContradictionException
- Description copied from class:
Propagator
- Propagation:
Propagating the constraint for the very first time until local
consistency is reached.
- Overrides:
awake
in class AbstractResourceSConstraint
- Throws:
ContradictionException
- contradiction exception
propagate
public void propagate()
throws ContradictionException
- Description copied from class:
Propagator
- Propagation:
Propagating the constraint until local consistency is reached.
- Specified by:
propagate
in class Propagator
- Throws:
ContradictionException
- contradiction exception- See Also:
Propagator.propagate()
Copyright © 2012. All Rights Reserved.