org.eclipse.viatra.dse.designspace.api

## Interface IDesignSpace

- All Known Implementing Classes:
    DesignSpace

      public interface IDesignSpace

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `void` | `addState(java.lang.Object sourceStateId, java.lang.Object firedActivationId, java.lang.Object newStateId)`
    `java.util.Collection<java.lang.Object>` | `getActivationIds(java.lang.Object stateId)`
    `long` | `getNumberOfStates()`
    `long` | `getNumberOfTransitions()`
    `java.lang.Object` | `getRandomActivationId(java.lang.Object stateId)`
    `java.util.Collection<java.lang.Object>` | `getRoots()`
    `java.util.Collection<java.lang.Object>` | `getStates()`
    `boolean` | `isTraversed(java.lang.Object stateId)`

- - ### Method Detail

    - #### getStates

          java.util.Collection<java.lang.Object> getStates()

    - #### getRoots

          java.util.Collection<java.lang.Object> getRoots()

    - #### addState

          void addState(java.lang.Object sourceStateId,
                        java.lang.Object firedActivationId,
                        java.lang.Object newStateId)

    - #### isTraversed

          boolean isTraversed(java.lang.Object stateId)

    - #### getActivationIds

          java.util.Collection<java.lang.Object> getActivationIds(java.lang.Object stateId)

    - #### getRandomActivationId

          java.lang.Object getRandomActivationId(java.lang.Object stateId)

    - #### getNumberOfStates

          long getNumberOfStates()

    - #### getNumberOfTransitions

          long getNumberOfTransitions()