org.eclipse.viatra.dse.statecode

## Interface IStateCoderFactory

- All Known Implementing Classes:
    SimpleStateCoderFactory, TheStateCoderFactory

      public interface IStateCoderFactory

  Interface for a factory class that creates instances of `IStateCoder` objects. This is required because state coders have to be created on-demand if the design space exploration process decides that a new thread is to be spawned. Since each thread requires it's own working model instance and a state coder is linked to the underlying model, a new `IStateCoder` needs to be created per processing thread.

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `IStateCoder` | `createStateCoder()` Creates a new `IStateCoder` instance specific to this `IStateCoderFactory`.

- - ### Method Detail

    - #### createStateCoder

          IStateCoder createStateCoder()

      Creates a new `IStateCoder` instance specific to this `IStateCoderFactory`.
      Returns:
        the new `IStateCoder` instance specific to this working model.