|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.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
public abstract class AbstractResourceSConstraint
Field Summary | |
---|---|
protected BitMask |
flags
|
protected int |
indexUB
|
protected choco.cp.solver.constraints.global.scheduling.AbstractResourceSConstraint.RMakespan |
makespan
|
protected String |
name
|
protected IRTask[] |
rtasks
|
static int |
TASK_MASK
|
Fields inherited from class choco.kernel.solver.constraints.global.scheduling.AbstractTaskSConstraint |
---|
endOffset, startOffset, taskIntVarOffset, taskvars |
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 | |
---|---|
AbstractResourceSConstraint(Solver solver,
String name,
TaskVar[] taskvars,
int nbOptionalTasks,
boolean enableHeights,
boolean enableHypotheticalDomain,
IntDomainVar... intvars)
Create a ressource constraint. |
|
AbstractResourceSConstraint(Solver solver,
String name,
TaskVar[] taskvars,
IntDomainVar makespan)
|
Method Summary | |
---|---|
List<IRTask> |
asRTaskList()
|
List<TaskVar> |
asTaskList()
A view of the resource as an immutable list. |
void |
awake()
Propagation: Propagating the constraint for the very first time until local consistency is reached. |
void |
awakeOnBounds(int varIndex)
|
void |
awakeOnInf(int varIdx)
Default propagation on improved lower bound: propagation on domain revision. |
void |
awakeOnInst(int idx)
Default propagation on instantiation: full constraint re-propagation. |
void |
awakeOnSup(int varIdx)
Default propagation on improved upper bound: propagation on domain revision. |
boolean |
checkTask(int varIdx)
|
void |
enforceTaskConsistency()
|
void |
fireTaskRemoval(IRTask rtask)
|
int |
getFilteredEventMask(int idx)
|
BitMask |
getFlags()
|
protected int |
getHeight(int[] tuple,
int tidx)
|
protected int |
getHeightIndex(int taskIdx)
do not use subclass fields to compute the index because the function is called by the constructor. |
int |
getNbOptionalTasks()
|
int |
getNbRegularTasks()
|
String |
getRscName()
|
IRTask |
getRTask(int idx)
|
Iterator<IRTask> |
getRTaskIterator()
|
Iterator<TaskVar> |
getTaskIterator()
an iterator over all tasks |
protected int |
getUsageIndex(int taskIdx)
do not use subclass fields to compute the index because the function is called by the constructor. |
int |
indexOf(TaskVar task)
|
boolean |
isCumulativeSatisfied(int[] tuple,
int consumption,
int capacity)
|
protected boolean |
isRegular(int[] tuple,
int tidx)
|
protected boolean |
isTaskSatisfied(int[] tuple,
int tidx)
returns (s_i + p_i = e_i) |
String |
pretty()
pretty printing of the object. |
abstract void |
readOptions(List<String> options)
|
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 |
Methods inherited from class choco.kernel.solver.constraints.integer.AbstractIntSConstraint |
---|
getConstraintType, isConsistent, isSatisfied, isSatisfied |
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, constAwake, fail, getEvent, getPriority, isActive, propagate, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface choco.kernel.solver.constraints.global.scheduling.IResource |
---|
getNbTasks, getTask |
Field Detail |
---|
public static final int TASK_MASK
protected final IRTask[] rtasks
protected final choco.cp.solver.constraints.global.scheduling.AbstractResourceSConstraint.RMakespan makespan
protected final String name
protected final BitMask flags
protected final int indexUB
Constructor Detail |
---|
public AbstractResourceSConstraint(Solver solver, String name, TaskVar[] taskvars, IntDomainVar makespan)
public AbstractResourceSConstraint(Solver solver, String name, TaskVar[] taskvars, int nbOptionalTasks, boolean enableHeights, boolean enableHypotheticalDomain, IntDomainVar... intvars)
solver
- name
- the ressource nametaskvars
- the tasks using the resourcesenableHypotheticalDomain
- uppBound
- is an integer variable such that max(end(T))<= uppBoundotherVars
- = [ u_k, ...,u_n,h_1,...,h_n,v_1,v_m, ub, cste:1]Method Detail |
---|
public abstract void readOptions(List<String> options)
public final int indexOf(TaskVar task)
public final int getNbRegularTasks()
getNbRegularTasks
in interface IResourceParameters
public final int getNbOptionalTasks()
getNbOptionalTasks
in interface IResourceParameters
public int getFilteredEventMask(int idx)
getFilteredEventMask
in class Propagator
public final IRTask getRTask(int idx)
getRTask
in interface IResource<TaskVar>
protected final int getUsageIndex(int taskIdx)
protected final int getHeightIndex(int taskIdx)
public final void enforceTaskConsistency() throws ContradictionException
ContradictionException
public final BitMask getFlags()
public void awake() throws ContradictionException
Propagator
awake
in class Propagator
ContradictionException
- contradiction exceptionpublic final boolean checkTask(int varIdx) throws ContradictionException
ContradictionException
public void awakeOnBounds(int varIndex) throws ContradictionException
awakeOnBounds
in interface IntPropagator
awakeOnBounds
in class AbstractIntSConstraint
ContradictionException
public void awakeOnInf(int varIdx) throws ContradictionException
AbstractIntSConstraint
awakeOnInf
in interface IntPropagator
awakeOnInf
in class AbstractIntSConstraint
ContradictionException
public void awakeOnInst(int idx) throws ContradictionException
AbstractIntSConstraint
awakeOnInst
in interface IntPropagator
awakeOnInst
in class AbstractIntSConstraint
ContradictionException
public void awakeOnSup(int varIdx) throws ContradictionException
AbstractIntSConstraint
awakeOnSup
in interface IntPropagator
awakeOnSup
in class AbstractIntSConstraint
ContradictionException
public void fireTaskRemoval(IRTask rtask)
protected final boolean isTaskSatisfied(int[] tuple, int tidx)
protected final boolean isRegular(int[] tuple, int tidx)
protected final int getHeight(int[] tuple, int tidx)
public final boolean isCumulativeSatisfied(int[] tuple, int consumption, int capacity)
public String pretty()
IPretty
pretty
in interface IPretty
pretty
in class AbstractTaskSConstraint
public final String getRscName()
getRscName
in interface IResourceParameters
public final List<TaskVar> asTaskList()
IResource
asTaskList
in interface IResource<TaskVar>
public List<IRTask> asRTaskList()
asRTaskList
in interface IResource<TaskVar>
public final Iterator<TaskVar> getTaskIterator()
IResource
getTaskIterator
in interface IResource<TaskVar>
public final Iterator<IRTask> getRTaskIterator()
getRTaskIterator
in interface IResource<TaskVar>
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |