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

Class ConflictSolverResult

java.lang.Object

gov.nasa.jpl.aerie.scheduler.solver.ConflictSolverResult

public class ConflictSolverResult
extends Object

Constructor Summary

Constructors

Constructor	Description
ConflictSolverResult()
ConflictSolverResult(ConflictSatisfaction conflictSatisfaction, List<SchedulingActivity> activitiesSatisfying)

Method Summary

Modifier and Type	Method	Description
Set<SchedulingActivity>	activitiesCreated()
ConflictSatisfaction	satisfaction()
void	setSatisfaction(ConflictSatisfaction satisfaction)

Methods inherited from class java.lang.Object

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

Constructor Details

ConflictSolverResult

public ConflictSolverResult()

ConflictSolverResult

public ConflictSolverResult(ConflictSatisfaction conflictSatisfaction,
 List<SchedulingActivity> activitiesSatisfying)

Method Details

setSatisfaction

public void setSatisfaction(ConflictSatisfaction satisfaction)

satisfaction

public ConflictSatisfaction satisfaction()

activitiesCreated

public Set<SchedulingActivity> activitiesCreated()