org.eclipse.viatra.dse.statecode

Interface IStateCoderFactory

All Known Implementing Classes:

GraphHasherFactory, IncrementalGraphHasherFactory, 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

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.