org.eclipse.emf.henshin.statespace.impl
Class ParallelStateSpaceManager
java.lang.Object
org.eclipse.emf.henshin.statespace.impl.StateSpaceIndexImpl
org.eclipse.emf.henshin.statespace.impl.BasicStateSpaceManager
org.eclipse.emf.henshin.statespace.impl.ParallelStateSpaceManager
- All Implemented Interfaces:
- StateSpaceIndex, StateSpaceManager
public class ParallelStateSpaceManager
- extends BasicStateSpaceManager
Parallelized StateSpaceManager
implementation.
Methods inherited from class org.eclipse.emf.henshin.statespace.impl.BasicStateSpaceManager |
acquireExplorer, clearCache, createInitialState, createOpenState, deriveModel, exploreState, findState, getStateDistance, isOpen, mergeTerminalStates, refreshHelpers, releaseExplorer, removeState, resetStateSpace, shiftedLocation |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ParallelStateSpaceManager
public ParallelStateSpaceManager(StateSpace stateSpace,
int numThreads)
- Default constructor.
- Parameters:
stateSpace
- State space.numThreads
- Number of threads to be used.
ParallelStateSpaceManager
public ParallelStateSpaceManager(StateSpace stateSpace)
- Default constructor.
- Parameters:
stateSpace
- State space.
exploreStates
public List<State> exploreStates(List<State> states,
boolean generateLocations)
throws StateSpaceException
- Explore states concurrently.
- Specified by:
exploreStates
in interface StateSpaceManager
- Overrides:
exploreStates
in class BasicStateSpaceManager
- Parameters:
states
- States to be explored.generateLocations
- Whether to generate locations.
- Returns:
- Newly created successor states.
- Throws:
StateSpaceException
- On state space errors.
getNumThreads
public int getNumThreads()
- Description copied from interface:
StateSpaceManager
- Get the number of threads used by this state manager.
- Specified by:
getNumThreads
in interface StateSpaceManager
- Overrides:
getNumThreads
in class BasicStateSpaceManager
- Returns:
- The number of used threads.
shutdown
public void shutdown()
- Description copied from interface:
StateSpaceManager
- Shutdown this state space manager.
- Specified by:
shutdown
in interface StateSpaceManager
- Overrides:
shutdown
in class BasicStateSpaceManager