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

    All Methods Instance Methods Concrete Methods
    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()