Package gov.nasa.jpl.aerie.scheduler.solver.stn

Class TaskNetwork

java.lang.Object

gov.nasa.jpl.aerie.scheduler.solver.stn.TaskNetwork

public class TaskNetwork
extends Object

A task network is a set of tasks and temporal constraints between these tasks. Each task has a start timepoint and end timepoint. Those are constrained by the planning horizon and can be further constrained with start, end, duration and enveloppe intervals. The underlying representation is a STN.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	TaskNetwork.TNActData

Constructor Summary

Constructors

Constructor	Description
TaskNetwork()
TaskNetwork(double horizonStart, double horizonEnd)

Method Summary

Modifier and Type	Method	Description
void	addAct(String name)
void	addDurationInterval(String nameAct, double lb, double ub)
void	addEndInterval(String actName, double lb, double ub)	Adds an absolute time interval for activity
void	addEnveloppe(String nameAct, String envName, double t1, double t2)	Adds an enveloppe at absolute times t1, t2 for activity nameAct
void	addStartInterval(String actName, double t1, double t2)
TaskNetwork.TNActData	getAllData(String nameAct)
org.apache.commons.lang3.tuple.Pair<Double,Double>	getDurationInterval(String actName)
org.apache.commons.lang3.tuple.Pair<Double,Double>	getEndInterval(String actName)
org.apache.commons.lang3.tuple.Pair<Double,Double>	getStartInterval(String actName)
boolean	propagate()
void	removeTask(String name)
protected void	setHorizon(double start, double end)	Horizon says that all activities must start after the horizon start and end before the horizon end
void	startsAfterEnd(String actBefore, String actAfter)
void	startsAfterStart(String actBefore, String actAfter, double lb, double ub)
String	toDOT()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TaskNetwork

public TaskNetwork()

TaskNetwork

public TaskNetwork(double horizonStart,
 double horizonEnd)

Method Details

getAllData

public TaskNetwork.TNActData getAllData(String nameAct)

removeTask

public void removeTask(String name)

setHorizon

protected void setHorizon(double start,
 double end)

Horizon says that all activities must start after the horizon start and end before the horizon end

Parameters:

start - start horizon

end - end horizon

addDurationInterval

public void addDurationInterval(String nameAct,
 double lb,
 double ub)

getStartInterval

public org.apache.commons.lang3.tuple.Pair<Double,Double> getStartInterval(String actName)

getEndInterval

public org.apache.commons.lang3.tuple.Pair<Double,Double> getEndInterval(String actName)

getDurationInterval

public org.apache.commons.lang3.tuple.Pair<Double,Double> getDurationInterval(String actName)

addEnveloppe

public void addEnveloppe(String nameAct,
 String envName,
 double t1,
 double t2)

Adds an enveloppe at absolute times t1, t2 for activity nameAct

addStartInterval

public void addStartInterval(String actName,
 double t1,
 double t2)

addEndInterval

public void addEndInterval(String actName,
 double lb,
 double ub)

Adds an absolute time interval for activity

startsAfterEnd

public void startsAfterEnd(String actBefore,
 String actAfter)

startsAfterStart

public void startsAfterStart(String actBefore,
 String actAfter,
 double lb,
 double ub)

toDOT

public String toDOT()

addAct

public void addAct(String name)

propagate

public boolean propagate()