choco.cp.solver.constraints.global.scheduling
Class BoundHRTask

java.lang.Object
  extended by choco.cp.solver.constraints.global.scheduling.RTask
      extended by choco.cp.solver.constraints.global.scheduling.BoundHRTask
All Implemented Interfaces:
IPretty, IRTask
Direct Known Subclasses:
EnumHRTask

public class BoundHRTask
extends RTask


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

estH

protected final IStateInt estH

lctH

protected final IStateInt lctH

ELIMINATED

public static final int ELIMINATED
See Also:
Constant Field Values

REGULAR

public static final int REGULAR
See Also:
Constant Field Values
Constructor Detail

BoundHRTask

public BoundHRTask(IEnvironment env,
                   AbstractResourceSConstraint constraint,
                   int taskIdx)
Method Detail

fireHypotheticalDomain

public void fireHypotheticalDomain()

checkHypotheticalConsistency

public final boolean checkHypotheticalConsistency()

checkHConsistency

protected void checkHConsistency()
                          throws ContradictionException
Throws:
ContradictionException

checkConsistency

public void checkConsistency()
                      throws ContradictionException
Specified by:
checkConsistency in interface IRTask
Overrides:
checkConsistency in class RTask
Throws:
ContradictionException

assign

public final boolean assign()
                     throws ContradictionException
Overrides:
assign in class RTask
Throws:
ContradictionException

setHEST

protected boolean setHEST(int val)
                   throws ContradictionException
Throws:
ContradictionException

setEST

public final boolean setEST(int val)
                     throws ContradictionException
Description copied from interface: IRTask
Update the Earliest Starting Time (EST).

Specified by:
setEST in interface IRTask
Overrides:
setEST in class RTask
Throws:
ContradictionException

setHDuration

protected boolean setHDuration(int duration)
                        throws ContradictionException
Throws:
ContradictionException

setDuration

public final boolean setDuration(int duration)
                          throws ContradictionException
Specified by:
setDuration in interface IRTask
Overrides:
setDuration in class RTask
Throws:
ContradictionException

setHECT

protected boolean setHECT(int val)
                   throws ContradictionException
Throws:
ContradictionException

setECT

public final boolean setECT(int val)
                     throws ContradictionException
Description copied from interface: IRTask
Update the Earliest Completion Time (ECT).

Specified by:
setECT in interface IRTask
Overrides:
setECT in class RTask
Throws:
ContradictionException

setHEndingTime

public final boolean setHEndingTime(int endingTime)
                             throws ContradictionException
Throws:
ContradictionException

setEndingTime

public final boolean setEndingTime(int endingTime)
                            throws ContradictionException
Specified by:
setEndingTime in interface IRTask
Overrides:
setEndingTime in class RTask
Throws:
ContradictionException

setHEndNotIn

public final boolean setHEndNotIn(int a,
                                  int b)
                           throws ContradictionException
Throws:
ContradictionException

setEndNotIn

public final boolean setEndNotIn(int a,
                                 int b)
                          throws ContradictionException
Description copied from interface: IRTask
The task can not end in the interval [a,b].

Specified by:
setEndNotIn in interface IRTask
Overrides:
setEndNotIn in class RTask
Throws:
ContradictionException

setHLCT

protected boolean setHLCT(int val)
                   throws ContradictionException
Throws:
ContradictionException

setLCT

public final boolean setLCT(int val)
                     throws ContradictionException
Description copied from interface: IRTask
Update the Latest Completion Time (LCT).

Specified by:
setLCT in interface IRTask
Overrides:
setLCT in class RTask
Throws:
ContradictionException

setHLST

protected boolean setHLST(int val)
                   throws ContradictionException
Throws:
ContradictionException

setLST

public final boolean setLST(int val)
                     throws ContradictionException
Description copied from interface: IRTask
Update the Latest Starting Time (LST).

Specified by:
setLST in interface IRTask
Overrides:
setLST in class RTask
Throws:
ContradictionException

setMaxDuration

public final boolean setMaxDuration(int val)
                             throws ContradictionException
Specified by:
setMaxDuration in interface IRTask
Overrides:
setMaxDuration in class RTask
Throws:
ContradictionException

setMinDuration

public final boolean setMinDuration(int val)
                             throws ContradictionException
Specified by:
setMinDuration in interface IRTask
Overrides:
setMinDuration in class RTask
Throws:
ContradictionException

setHStartingTime

protected final boolean setHStartingTime(int startingTime)
                                  throws ContradictionException
Throws:
ContradictionException

setStartingTime

public final boolean setStartingTime(int startingTime)
                              throws ContradictionException
Specified by:
setStartingTime in interface IRTask
Overrides:
setStartingTime in class RTask
Throws:
ContradictionException

setHStartNotIn

protected final boolean setHStartNotIn(int min,
                                       int max)
                                throws ContradictionException
Throws:
ContradictionException

setStartNotIn

public final boolean setStartNotIn(int min,
                                   int max)
                            throws ContradictionException
Description copied from interface: IRTask
The task can not start in the interval [a,b].

Specified by:
setStartNotIn in interface IRTask
Overrides:
setStartNotIn in class RTask
Throws:
ContradictionException

updateDuration

public final boolean updateDuration(int duration)
                             throws ContradictionException
Specified by:
updateDuration in interface IRTask
Overrides:
updateDuration in class RTask
Throws:
ContradictionException

updateECT

public final boolean updateECT(int val)
                        throws ContradictionException
Description copied from interface: IRTask
Update the Earliest Completion Time (ECT).

Specified by:
updateECT in interface IRTask
Overrides:
updateECT in class RTask
Throws:
ContradictionException

updateEndingTime

public final boolean updateEndingTime(int endingTime)
                               throws ContradictionException
Specified by:
updateEndingTime in interface IRTask
Overrides:
updateEndingTime in class RTask
Throws:
ContradictionException

updateEndNotIn

public final boolean updateEndNotIn(int a,
                                    int b)
                             throws ContradictionException
Description copied from interface: IRTask
The task can not end in the interval [a,b].

Specified by:
updateEndNotIn in interface IRTask
Overrides:
updateEndNotIn in class RTask
Throws:
ContradictionException

updateEST

public final boolean updateEST(int val)
                        throws ContradictionException
Description copied from interface: IRTask
Update the Earliest Starting Time (EST).

Specified by:
updateEST in interface IRTask
Overrides:
updateEST in class RTask
Throws:
ContradictionException

updateLCT

public final boolean updateLCT(int val)
                        throws ContradictionException
Description copied from interface: IRTask
Update the Latest Completion Time (LCT).

Specified by:
updateLCT in interface IRTask
Overrides:
updateLCT in class RTask
Throws:
ContradictionException

updateLST

public final boolean updateLST(int val)
                        throws ContradictionException
Description copied from interface: IRTask
Update the Latest Starting Time (LST).

Specified by:
updateLST in interface IRTask
Overrides:
updateLST in class RTask
Throws:
ContradictionException

updateMaxDuration

public final boolean updateMaxDuration(int val)
                                throws ContradictionException
Specified by:
updateMaxDuration in interface IRTask
Overrides:
updateMaxDuration in class RTask
Throws:
ContradictionException

updateMinDuration

public final boolean updateMinDuration(int val)
                                throws ContradictionException
Specified by:
updateMinDuration in interface IRTask
Overrides:
updateMinDuration in class RTask
Throws:
ContradictionException

updateStartingTime

public final boolean updateStartingTime(int startingTime)
                                 throws ContradictionException
Specified by:
updateStartingTime in interface IRTask
Overrides:
updateStartingTime in class RTask
Throws:
ContradictionException

updateStartNotIn

public final boolean updateStartNotIn(int a,
                                      int b)
                               throws ContradictionException
Description copied from interface: IRTask
The task can not start in the interval [a,b].

Specified by:
updateStartNotIn in interface IRTask
Overrides:
updateStartNotIn in class RTask
Throws:
ContradictionException


Copyright © 2012. All Rights Reserved.