public interface IStateCoderFactory
IStateCoderobjects. 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
IStateCoderneeds to be created per processing thread.