org.eclipse.emf.henshin.statespace.util
Class StateSpaceExplorationHelper

java.lang.Object
  org.eclipse.emf.henshin.statespace.util.StateSpaceExplorationHelper

public class StateSpaceExplorationHelper
extends Object

An exploration helper class.

Constructor Summary

StateSpaceExplorationHelper(StateSpaceManager manager)
Constructor.

StateSpaceExplorationHelper(StateSpaceManager manager, int stepDuration)
Constructor.

Method Summary

void	doExploration(int maxStates, org.eclipse.core.runtime.IProgressMonitor monitor) Automatically do a state space exploration.
boolean	doExplorationStep() Do an exploration step.
double	getCurrentSpeed()
StateSpaceManager	getStateSpaceManager()
void	setGenerateLocations(boolean generateLocations)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StateSpaceExplorationHelper

public StateSpaceExplorationHelper(StateSpaceManager manager,
                                   int stepDuration)

Constructor.

Parameters:

manager - State space manager.

StateSpaceExplorationHelper

public StateSpaceExplorationHelper(StateSpaceManager manager)

Constructor.

Parameters:

manager - State space manager.

Method Detail

doExplorationStep

public boolean doExplorationStep()
                          throws StateSpaceException

Do an exploration step.

Throws:

StateSpaceException - On state space errors.

getStateSpaceManager

public StateSpaceManager getStateSpaceManager()

setGenerateLocations

public void setGenerateLocations(boolean generateLocations)

getCurrentSpeed

public double getCurrentSpeed()

doExploration

public void doExploration(int maxStates,
                          org.eclipse.core.runtime.IProgressMonitor monitor)
                   throws StateSpaceException

Automatically do a state space exploration.

Parameters:

maxStates - Maximum total number of states.

monitor - Progress monitor.

Throws:

StateSpaceException - On errors.