org.eclipse.viatra.dse.visualizer

## Interface IDesignSpaceVisualizer

- All Superinterfaces:
    IExploreEventHandler

      public interface IDesignSpaceVisualizer
      extends IExploreEventHandler

  An implementation of this interface is notified about the traversal of the design space from every traversing thread, if registered to the `DesignSpaceExplorer`. Its purpose is to able to visualize the design space (a directed graph with IDs of the nodes and transitions) and to able to visualize the order of the exploration (the trace of a thread).

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `void` | `init(ThreadContext context)` Initializes the instance with a starting thread's context.
    `void` | `save()` Saves the captured data.

    - ### Methods inherited from interface org.eclipse.viatra.dse.visualizer.IExploreEventHandler

      `transitionFired, undo`

- - ### Method Detail

    - #### init

          void init(ThreadContext context)

      Initializes the instance with a starting thread's context. Can be called multiple times and concurrently.
      Parameters:
        `context` -
      See Also:
        `DesignSpaceVisualizerOptions`

    - #### save

          void save()

      Saves the captured data.