Package org.eclipse.emf.henshin.statespace.impl

Implementations for the Henshin state space tools.

See:
Description

Class Summary

AbstractStateSpaceValidator	Abstract implementation of the StateSpaceValidator interface.
BasicStateSpaceManager	Basic StateSpaceManager implementation.
EObjectIntegerMapEntryImpl	A map entry implementation that associates an EObject with an Integer.
EObjectIntegerMapImpl	Default implementation of a map that associates EObjects with Integers.
EqualityHelperImpl	Default implementation of EqualityHelper.
ModelImpl	Default implementation of Model.
OCLStateValidator	OCL state validator.
ParallelStateSpaceManager	Parallelized StateSpaceManager implementation.
ProfilingStateSpaceManager	StateSpaceManager implementation for gathering profiling statistics.
ShortestPathStateSpaceValidator	StateSpaceValidator that computes the shortest path to some target states.
StateExplorer	Helper class for exploring states.
StateImpl	Default implementation of the State interface.
StateSpaceFactoryImpl	Default implementation of StateSpaceFactory.
StateSpaceImpl	Default implementation of the StateSpace interface.
StateSpaceIndexImpl	Default implementation of StateSpaceIndex.
StateSpacePackageImpl	Default implementation of StateSpacePackage.
StorageImpl	Default implementation of the Storage interface.
TransitionImpl	Default implementation of the Transition interface.

Package org.eclipse.emf.henshin.statespace.impl Description

Implementations for the Henshin state space tools.