choco.cp.solver.constraints.global.scheduling
Class AbstractUseResourcesSConstraint
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.AbstractUseResourcesSConstraint
- All Implemented Interfaces:
- IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, TaskPropagator, Cloneable, EventListener
- Direct Known Subclasses:
- UseResourcesEq, UseResourcesGeq
public abstract class AbstractUseResourcesSConstraint
- extends AbstractTaskSConstraint
Methods inherited from class choco.kernel.solver.constraints.global.scheduling.AbstractTaskSConstraint |
addListener, awakeOnHypDomMod, awakeOnRem, awakeOnRemovals, createTaskVarArray, getDurationIndex, getEndIndex, getNbTasks, getStartIndex, getTask, getTaskIntVarOffset, isTaskConsistencyEnforced, makeIntVarArray, pretty, pretty |
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
addExtension, clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, isEntailed, opposite, setConstraintIndex, setExtension, setVar, toString |
Methods inherited from class choco.kernel.solver.propagation.Propagator |
activate, awake, constAwake, fail, getEvent, getPriority, isActive, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
boolSumS
protected final BoolSumStructure boolSumS
BOOL_OFFSET
protected static final int BOOL_OFFSET
- See Also:
- Constant Field Values
AbstractUseResourcesSConstraint
public AbstractUseResourcesSConstraint(IEnvironment environment,
TaskVar taskvar,
int k,
IntDomainVar[] usages,
IRTask[] rtasks)
getFilteredEventMask
public int getFilteredEventMask(int idx)
- Overrides:
getFilteredEventMask
in class Propagator
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
filterHypotheticalDomains
public void filterHypotheticalDomains()
throws ContradictionException
- Throws:
ContradictionException
filterLatestCompletionTime
protected final void filterLatestCompletionTime()
throws ContradictionException
- Throws:
ContradictionException
filterLatestCompletionTime
protected final void filterLatestCompletionTime(int k)
throws ContradictionException
- Throws:
ContradictionException
filterEarliestStartingTime
protected void filterEarliestStartingTime(int k)
throws ContradictionException
- Throws:
ContradictionException
awakeOnInst
public void awakeOnInst(int idx)
throws ContradictionException
- Description copied from class:
AbstractIntSConstraint
- Default propagation on instantiation: full constraint re-propagation.
- Specified by:
awakeOnInst
in interface IntPropagator
- Overrides:
awakeOnInst
in class AbstractIntSConstraint
- Throws:
ContradictionException
Copyright © 2012. All Rights Reserved.