|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IRTask
Update operations update the domain and ensure task consistency whereas set operations update the domain without checking.
Field Summary | |
---|---|
static int |
ELIMINATED
|
static int |
REGULAR
|
Method Summary | |
---|---|
boolean |
assign()
|
void |
checkConsistency()
|
void |
fail()
|
void |
fireRemoval()
|
IntDomainVar |
getHeight()
|
ITask |
getHTask()
|
long |
getMaxConsumption()
|
int |
getMaxHeight()
|
long |
getMinConsumption()
|
int |
getMinHeight()
|
int |
getStoredValue()
|
int |
getTaskIndex()
|
TaskVar |
getTaskVar()
|
IntDomainVar |
getUsage()
|
boolean |
isEliminated()
|
boolean |
isOptional()
|
boolean |
isRegular()
|
boolean |
remove()
|
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). |
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 a,
int b)
The task can not start in the interval [a,b]. |
void |
storeValue(int val)
Utility: A filtering algorithm can store a value to perform update operations (noargs) later. |
void |
updateCompulsoryPart()
|
boolean |
updateDuration(int duration)
|
boolean |
updateECT()
Update using getStoredValue() . |
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()
Update using getStoredValue() . |
boolean |
updateEST(int val)
Update the Earliest Starting Time (EST). |
boolean |
updateLCT()
Update using getStoredValue() . |
boolean |
updateLCT(int val)
Update the Latest Completion Time (LCT). |
boolean |
updateLST()
Update using getStoredValue() . |
boolean |
updateLST(int val)
Update the Latest Starting Time (LST). |
boolean |
updateMaxDuration(int val)
|
boolean |
updateMaxHeight(int val)
|
boolean |
updateMinDuration(int val)
|
boolean |
updateMinHeight(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 interface choco.IPretty |
---|
pretty |
Field Detail |
---|
static final int ELIMINATED
static final int REGULAR
Method Detail |
---|
int getTaskIndex()
TaskVar getTaskVar()
ITask getHTask()
void checkConsistency() throws ContradictionException
ContradictionException
void updateCompulsoryPart() throws ContradictionException
ContradictionException
void fail() throws ContradictionException
ContradictionException
boolean updateECT(int val) throws ContradictionException
ContradictionException
boolean updateEST(int val) throws ContradictionException
ContradictionException
boolean updateLCT(int val) throws ContradictionException
ContradictionException
boolean updateLST(int val) throws ContradictionException
ContradictionException
boolean updateStartNotIn(int a, int b) throws ContradictionException
ContradictionException
boolean updateEndNotIn(int a, int b) throws ContradictionException
ContradictionException
boolean updateMinDuration(int val) throws ContradictionException
ContradictionException
boolean updateMaxDuration(int val) throws ContradictionException
ContradictionException
boolean updateDuration(int duration) throws ContradictionException
ContradictionException
boolean updateStartingTime(int startingTime) throws ContradictionException
ContradictionException
boolean updateEndingTime(int endingTime) throws ContradictionException
ContradictionException
boolean setECT(int val) throws ContradictionException
ContradictionException
boolean setEST(int val) throws ContradictionException
ContradictionException
boolean setLCT(int val) throws ContradictionException
ContradictionException
boolean setLST(int val) throws ContradictionException
ContradictionException
boolean setStartNotIn(int a, int b) throws ContradictionException
ContradictionException
boolean setEndNotIn(int a, int b) throws ContradictionException
ContradictionException
boolean setMinDuration(int val) throws ContradictionException
ContradictionException
boolean setMaxDuration(int val) throws ContradictionException
ContradictionException
boolean setDuration(int duration) throws ContradictionException
ContradictionException
boolean setStartingTime(int startingTime) throws ContradictionException
ContradictionException
boolean setEndingTime(int endingTime) throws ContradictionException
ContradictionException
void storeValue(int val)
int getStoredValue()
boolean updateECT() throws ContradictionException
getStoredValue()
.
ContradictionException
boolean updateEST() throws ContradictionException
getStoredValue()
.
ContradictionException
boolean updateLCT() throws ContradictionException
getStoredValue()
.
ContradictionException
boolean updateLST() throws ContradictionException
getStoredValue()
.
ContradictionException
int getMinHeight()
int getMaxHeight()
IntDomainVar getHeight()
boolean updateMaxHeight(int val) throws ContradictionException
ContradictionException
boolean updateMinHeight(int val) throws ContradictionException
ContradictionException
long getMinConsumption()
long getMaxConsumption()
IntDomainVar getUsage()
boolean isOptional()
boolean isRegular()
boolean isEliminated()
boolean assign() throws ContradictionException
ContradictionException
boolean remove() throws ContradictionException
ContradictionException
void fireRemoval()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |