Package org.eclipse.viatra.dse.designspace.impl.pojo

Class Summary

Class	Description
ConcurrentDesignSpace
State	The class that provides the implementation for the IState interface in the POJO based IDesignSpace implementation.
ThreadsafeImmutableList<E>
Transition	The class that provides the implementation for the ITransition interface in the POJO based IDesignSpace implementation.