Package gov.nasa.jpl.aerie.scheduler.conflicts

Class UnsatisfiableGoalConflict

java.lang.Object

gov.nasa.jpl.aerie.scheduler.conflicts.Conflict

gov.nasa.jpl.aerie.scheduler.conflicts.UnsatisfiableGoalConflict

public class UnsatisfiableGoalConflict
extends Conflict

Field Summary

Fields inherited from class gov.nasa.jpl.aerie.scheduler.conflicts.Conflict

goal

Constructor Summary

Constructors

Constructor	Description
UnsatisfiableGoalConflict(Goal goal, String reason)	ctor creates a new conflict

Method Summary

Modifier and Type	Method	Description
gov.nasa.jpl.aerie.constraints.time.Windows	getTemporalContext()	the times over which the goal was dissatisfied and induced this conflict the relevant times may be composed of several discontinous spans

Methods inherited from class gov.nasa.jpl.aerie.scheduler.conflicts.Conflict

getEvaluationEnvironment, getGoal

Methods inherited from class java.lang.Object

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

Constructor Details

UnsatisfiableGoalConflict

public UnsatisfiableGoalConflict(Goal goal,
 String reason)

ctor creates a new conflict

Parameters:

goal - IN STORED the dissatisfied goal that issued the conflict

reason - IN the reason why the goal issued the conflict

Method Details

getTemporalContext

public gov.nasa.jpl.aerie.constraints.time.Windows getTemporalContext()

Description copied from class: Conflict

the times over which the goal was dissatisfied and induced this conflict the relevant times may be composed of several discontinous spans

Specified by:

getTemporalContext in class Conflict

Returns:

the time windows when the goal was dissatisfied