org.eclipse.viatra.dse.api

Class Solution

java.lang.Object

org.eclipse.viatra.dse.api.Solution

public class Solution
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Solution(java.lang.Object stateId, SolutionTrajectory trajectory)

Method Summary

Modifier and Type	Method and Description
void	addTrajectory(SolutionTrajectory trajectory)
SolutionTrajectory	getArbitraryTrajectory()
SolutionTrajectory	getShortestTrajectory()
java.lang.Object	getStateCode()
java.util.Collection<SolutionTrajectory>	getTrajectories()

Methods inherited from class java.lang.Object

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

Constructor Detail

Solution

public Solution(java.lang.Object stateId,
                SolutionTrajectory trajectory)

Method Detail

addTrajectory

public void addTrajectory(SolutionTrajectory trajectory)

getArbitraryTrajectory

public SolutionTrajectory getArbitraryTrajectory()

getShortestTrajectory

public SolutionTrajectory getShortestTrajectory()

getTrajectories

public java.util.Collection<SolutionTrajectory> getTrajectories()

getStateCode

public java.lang.Object getStateCode()