choco.kernel.solver.variables.scheduling
Interface IRTask

All Superinterfaces:
IPretty
All Known Implementing Classes:
AbstractRTask, BoundHRTask, EnumHRTask, RTask

public interface IRTask
extends IPretty

Update operations update the domain and ensure task consistency whereas set operations update the domain without checking.

Since:
4 sept. 2009 version 2.1.1
Version:
2.1.1
Author:
Arnaud Malapert

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

ELIMINATED

static final int ELIMINATED
See Also:
Constant Field Values

REGULAR

static final int REGULAR
See Also:
Constant Field Values
Method Detail

getTaskIndex

int getTaskIndex()

getTaskVar

TaskVar getTaskVar()

getHTask

ITask getHTask()

checkConsistency

void checkConsistency()
                      throws ContradictionException
Throws:
ContradictionException

updateCompulsoryPart

void updateCompulsoryPart()
                          throws ContradictionException
Throws:
ContradictionException

fail

void fail()
          throws ContradictionException
Throws:
ContradictionException

updateECT

boolean updateECT(int val)
                  throws ContradictionException
Update the Earliest Completion Time (ECT).

Throws:
ContradictionException

updateEST

boolean updateEST(int val)
                  throws ContradictionException
Update the Earliest Starting Time (EST).

Throws:
ContradictionException

updateLCT

boolean updateLCT(int val)
                  throws ContradictionException
Update the Latest Completion Time (LCT).

Throws:
ContradictionException

updateLST

boolean updateLST(int val)
                  throws ContradictionException
Update the Latest Starting Time (LST).

Throws:
ContradictionException

updateStartNotIn

boolean updateStartNotIn(int a,
                         int b)
                         throws ContradictionException
The task can not start in the interval [a,b].

Throws:
ContradictionException

updateEndNotIn

boolean updateEndNotIn(int a,
                       int b)
                       throws ContradictionException
The task can not end in the interval [a,b].

Throws:
ContradictionException

updateMinDuration

boolean updateMinDuration(int val)
                          throws ContradictionException
Throws:
ContradictionException

updateMaxDuration

boolean updateMaxDuration(int val)
                          throws ContradictionException
Throws:
ContradictionException

updateDuration

boolean updateDuration(int duration)
                       throws ContradictionException
Throws:
ContradictionException

updateStartingTime

boolean updateStartingTime(int startingTime)
                           throws ContradictionException
Throws:
ContradictionException

updateEndingTime

boolean updateEndingTime(int endingTime)
                         throws ContradictionException
Throws:
ContradictionException

setECT

boolean setECT(int val)
               throws ContradictionException
Update the Earliest Completion Time (ECT).

Throws:
ContradictionException

setEST

boolean setEST(int val)
               throws ContradictionException
Update the Earliest Starting Time (EST).

Throws:
ContradictionException

setLCT

boolean setLCT(int val)
               throws ContradictionException
Update the Latest Completion Time (LCT).

Throws:
ContradictionException

setLST

boolean setLST(int val)
               throws ContradictionException
Update the Latest Starting Time (LST).

Throws:
ContradictionException

setStartNotIn

boolean setStartNotIn(int a,
                      int b)
                      throws ContradictionException
The task can not start in the interval [a,b].

Throws:
ContradictionException

setEndNotIn

boolean setEndNotIn(int a,
                    int b)
                    throws ContradictionException
The task can not end in the interval [a,b].

Throws:
ContradictionException

setMinDuration

boolean setMinDuration(int val)
                       throws ContradictionException
Throws:
ContradictionException

setMaxDuration

boolean setMaxDuration(int val)
                       throws ContradictionException
Throws:
ContradictionException

setDuration

boolean setDuration(int duration)
                    throws ContradictionException
Throws:
ContradictionException

setStartingTime

boolean setStartingTime(int startingTime)
                        throws ContradictionException
Throws:
ContradictionException

setEndingTime

boolean setEndingTime(int endingTime)
                      throws ContradictionException
Throws:
ContradictionException

storeValue

void storeValue(int val)
Utility: A filtering algorithm can store a value to perform update operations (noargs) later.


getStoredValue

int getStoredValue()

updateECT

boolean updateECT()
                  throws ContradictionException
Update using getStoredValue() .

Throws:
ContradictionException

updateEST

boolean updateEST()
                  throws ContradictionException
Update using getStoredValue() .

Throws:
ContradictionException

updateLCT

boolean updateLCT()
                  throws ContradictionException
Update using getStoredValue() .

Throws:
ContradictionException

updateLST

boolean updateLST()
                  throws ContradictionException
Update using getStoredValue() .

Throws:
ContradictionException

getMinHeight

int getMinHeight()

getMaxHeight

int getMaxHeight()

getHeight

IntDomainVar getHeight()

updateMaxHeight

boolean updateMaxHeight(int val)
                        throws ContradictionException
Throws:
ContradictionException

updateMinHeight

boolean updateMinHeight(int val)
                        throws ContradictionException
Throws:
ContradictionException

getMinConsumption

long getMinConsumption()

getMaxConsumption

long getMaxConsumption()

getUsage

IntDomainVar getUsage()

isOptional

boolean isOptional()

isRegular

boolean isRegular()

isEliminated

boolean isEliminated()

assign

boolean assign()
               throws ContradictionException
Throws:
ContradictionException

remove

boolean remove()
               throws ContradictionException
Throws:
ContradictionException

fireRemoval

void fireRemoval()


Copyright © 2012. All Rights Reserved.