Henshin

Packages

org.eclipse.emf.henshin	Root package of the Henshin model plug-in.
org.eclipse.emf.henshin.interpreter	Interfaces for the Henshin interpreter.
org.eclipse.emf.henshin.interpreter.impl	Implementation of the Henshin interpreter.
org.eclipse.emf.henshin.interpreter.util	Utilities for the Henshin interpreter.
org.eclipse.emf.henshin.model	Interfaces for the Henshin model.
org.eclipse.emf.henshin.model.exporters	Exporter implementations for Henshin.
org.eclipse.emf.henshin.model.impl	Implementation of the Henshin model.
org.eclipse.emf.henshin.model.importers	Importer implementations for Henshin.
org.eclipse.emf.henshin.model.resource	Resource implementations for Henshin.
org.eclipse.emf.henshin.model.util	Utilities for the Henshin model.
org.eclipse.emf.henshin.statespace	Interfaces for the Henshin state space tools.
org.eclipse.emf.henshin.statespace.external	State space adapters for external tools.
org.eclipse.emf.henshin.statespace.external.cadp	State space adapters for CADP.
org.eclipse.emf.henshin.statespace.external.mcrl2	State space adapters for mCRL2.
org.eclipse.emf.henshin.statespace.external.prism	State space adapters for PRISM.
org.eclipse.emf.henshin.statespace.external.tikz	State space visualization using PGF/TikZ (LaTeX).
org.eclipse.emf.henshin.statespace.impl	Implementations for the Henshin state space tools.
org.eclipse.emf.henshin.statespace.resource	Resource implementations for Henshin state spaces.
org.eclipse.emf.henshin.statespace.util	Utilities for Henshin state spaces.
org.eclipse.emf.henshin.trace	Interfaces for trace model in Henshin.
org.eclipse.emf.henshin.trace.impl	Implementation of the trace model in Henshin.
org.eclipse.emf.henshin.trace.util
org.eclipse.emf.henshin.wrap
org.eclipse.emf.henshin.wrap.impl
org.eclipse.emf.henshin.wrap.util