|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.cp.solver.constraints.global.scheduling.RTask
choco.cp.solver.constraints.global.scheduling.BoundHRTask
public class BoundHRTask
Field Summary | |
---|---|
static int |
ELIMINATED
|
protected IStateInt |
estH
|
protected IStateInt |
lctH
|
static int |
REGULAR
|
Fields inherited from class choco.cp.solver.constraints.global.scheduling.RTask |
---|
height, htask, resource, taskIdx, taskvar, usage |
Constructor Summary | |
---|---|
BoundHRTask(IEnvironment env,
AbstractResourceSConstraint constraint,
int taskIdx)
|
Method Summary | |
---|---|
boolean |
assign()
|
void |
checkConsistency()
|
protected void |
checkHConsistency()
|
boolean |
checkHypotheticalConsistency()
|
void |
fireHypotheticalDomain()
|
boolean |
setDuration(int duration)
|
boolean |
setECT(int val)
Update the Earliest Completion Time (ECT). |
boolean |
setEndingTime(int endingTime)
|
boolean |
setEndNotIn(int a,
int b)
The task can not end in the interval [a,b]. |
boolean |
setEST(int val)
Update the Earliest Starting Time (EST). |
protected boolean |
setHDuration(int duration)
|
protected boolean |
setHECT(int val)
|
boolean |
setHEndingTime(int endingTime)
|
boolean |
setHEndNotIn(int a,
int b)
|
protected boolean |
setHEST(int val)
|
protected boolean |
setHLCT(int val)
|
protected boolean |
setHLST(int val)
|
protected boolean |
setHStartingTime(int startingTime)
|
protected boolean |
setHStartNotIn(int min,
int max)
|
boolean |
setLCT(int val)
Update the Latest Completion Time (LCT). |
boolean |
setLST(int val)
Update the Latest Starting Time (LST). |
boolean |
setMaxDuration(int val)
|
boolean |
setMinDuration(int val)
|
boolean |
setStartingTime(int startingTime)
|
boolean |
setStartNotIn(int min,
int max)
The task can not start in the interval [a,b]. |
boolean |
updateDuration(int duration)
|
boolean |
updateECT(int val)
Update the Earliest Completion Time (ECT). |
boolean |
updateEndingTime(int endingTime)
|
boolean |
updateEndNotIn(int a,
int b)
The task can not end in the interval [a,b]. |
boolean |
updateEST(int val)
Update the Earliest Starting Time (EST). |
boolean |
updateLCT(int val)
Update the Latest Completion Time (LCT). |
boolean |
updateLST(int val)
Update the Latest Starting Time (LST). |
boolean |
updateMaxDuration(int val)
|
boolean |
updateMinDuration(int val)
|
boolean |
updateStartingTime(int startingTime)
|
boolean |
updateStartNotIn(int a,
int b)
The task can not start in the interval [a,b]. |
Methods inherited from class choco.cp.solver.constraints.global.scheduling.RTask |
---|
fail, fireRemoval, getHeight, getHTask, getMaxConsumption, getMaxHeight, getMinConsumption, getMinHeight, getStoredValue, getTaskIndex, getTaskVar, getUsage, isEliminated, isOptional, isRegular, pretty, remove, storeValue, toString, updateCompulsoryPart, updateECT, updateEST, updateLCT, updateLST, updateMaxHeight, updateMinHeight |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected final IStateInt estH
protected final IStateInt lctH
public static final int ELIMINATED
public static final int REGULAR
Constructor Detail |
---|
public BoundHRTask(IEnvironment env, AbstractResourceSConstraint constraint, int taskIdx)
Method Detail |
---|
public void fireHypotheticalDomain()
public final boolean checkHypotheticalConsistency()
protected void checkHConsistency() throws ContradictionException
ContradictionException
public void checkConsistency() throws ContradictionException
checkConsistency
in interface IRTask
checkConsistency
in class RTask
ContradictionException
public final boolean assign() throws ContradictionException
assign
in class RTask
ContradictionException
protected boolean setHEST(int val) throws ContradictionException
ContradictionException
public final boolean setEST(int val) throws ContradictionException
IRTask
setEST
in interface IRTask
setEST
in class RTask
ContradictionException
protected boolean setHDuration(int duration) throws ContradictionException
ContradictionException
public final boolean setDuration(int duration) throws ContradictionException
setDuration
in interface IRTask
setDuration
in class RTask
ContradictionException
protected boolean setHECT(int val) throws ContradictionException
ContradictionException
public final boolean setECT(int val) throws ContradictionException
IRTask
setECT
in interface IRTask
setECT
in class RTask
ContradictionException
public final boolean setHEndingTime(int endingTime) throws ContradictionException
ContradictionException
public final boolean setEndingTime(int endingTime) throws ContradictionException
setEndingTime
in interface IRTask
setEndingTime
in class RTask
ContradictionException
public final boolean setHEndNotIn(int a, int b) throws ContradictionException
ContradictionException
public final boolean setEndNotIn(int a, int b) throws ContradictionException
IRTask
setEndNotIn
in interface IRTask
setEndNotIn
in class RTask
ContradictionException
protected boolean setHLCT(int val) throws ContradictionException
ContradictionException
public final boolean setLCT(int val) throws ContradictionException
IRTask
setLCT
in interface IRTask
setLCT
in class RTask
ContradictionException
protected boolean setHLST(int val) throws ContradictionException
ContradictionException
public final boolean setLST(int val) throws ContradictionException
IRTask
setLST
in interface IRTask
setLST
in class RTask
ContradictionException
public final boolean setMaxDuration(int val) throws ContradictionException
setMaxDuration
in interface IRTask
setMaxDuration
in class RTask
ContradictionException
public final boolean setMinDuration(int val) throws ContradictionException
setMinDuration
in interface IRTask
setMinDuration
in class RTask
ContradictionException
protected final boolean setHStartingTime(int startingTime) throws ContradictionException
ContradictionException
public final boolean setStartingTime(int startingTime) throws ContradictionException
setStartingTime
in interface IRTask
setStartingTime
in class RTask
ContradictionException
protected final boolean setHStartNotIn(int min, int max) throws ContradictionException
ContradictionException
public final boolean setStartNotIn(int min, int max) throws ContradictionException
IRTask
setStartNotIn
in interface IRTask
setStartNotIn
in class RTask
ContradictionException
public final boolean updateDuration(int duration) throws ContradictionException
updateDuration
in interface IRTask
updateDuration
in class RTask
ContradictionException
public final boolean updateECT(int val) throws ContradictionException
IRTask
updateECT
in interface IRTask
updateECT
in class RTask
ContradictionException
public final boolean updateEndingTime(int endingTime) throws ContradictionException
updateEndingTime
in interface IRTask
updateEndingTime
in class RTask
ContradictionException
public final boolean updateEndNotIn(int a, int b) throws ContradictionException
IRTask
updateEndNotIn
in interface IRTask
updateEndNotIn
in class RTask
ContradictionException
public final boolean updateEST(int val) throws ContradictionException
IRTask
updateEST
in interface IRTask
updateEST
in class RTask
ContradictionException
public final boolean updateLCT(int val) throws ContradictionException
IRTask
updateLCT
in interface IRTask
updateLCT
in class RTask
ContradictionException
public final boolean updateLST(int val) throws ContradictionException
IRTask
updateLST
in interface IRTask
updateLST
in class RTask
ContradictionException
public final boolean updateMaxDuration(int val) throws ContradictionException
updateMaxDuration
in interface IRTask
updateMaxDuration
in class RTask
ContradictionException
public final boolean updateMinDuration(int val) throws ContradictionException
updateMinDuration
in interface IRTask
updateMinDuration
in class RTask
ContradictionException
public final boolean updateStartingTime(int startingTime) throws ContradictionException
updateStartingTime
in interface IRTask
updateStartingTime
in class RTask
ContradictionException
public final boolean updateStartNotIn(int a, int b) throws ContradictionException
IRTask
updateStartNotIn
in interface IRTask
updateStartNotIn
in class RTask
ContradictionException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |