Package org.eclipse.emf.henshin.statespace

Interfaces for the Henshin state space tools.

See:
Description

Interface Summary

EqualityHelper	Helper for deciding equality of Models and computing their hash codes.
Model	Transient container for State models.
State	Interface for states.
StateSpace	Interface for state spaces.
StateSpaceExporter	Interface for state space exporters.
StateSpaceFactory	Interface for the state space factory.
StateSpaceIndex	Interface for state space indexes.
StateSpaceManager	Interface for state space managers.
StateSpacePackage	Interface for the state space package.
StateSpacePackage.Literals	Defines literals for the meta objects that represent each class, each feature of each class, each enum, and each data type
StateSpaceValidator	Interface for state space validators.
StateValidator	Interface for state validators.
Storage	Interface for storage objects.
Transition	Interface for transitions.
Validator	Interface for validators.

Class Summary

Path	Data-type for paths in StateSpaces.
StateSpacePlugin	The state space plug-in implementation.
StateSpacePlugin.Implementation	The actual implementation of the Eclipse Plugin.
ValidationResult	Validation result data class.

Exception Summary

StateSpaceException

State space exception class.

Package org.eclipse.emf.henshin.statespace Description

Interfaces for the Henshin state space tools.