Package org.eclipse.emf.henshin.statespace.external.prism

State space adapters for PRISM.

See:
Description

Class Summary

CTMCStateSpaceExporter	Exporter for PRISM.
CTMCStateSpaceValidator	PRISM CTMC state space validator.
CTMCSteadyStateTool	PRISM CTMC steady-state tool.
MDPLabel	Transition labels for MDPs.
MDPStateSpaceExporter	Exporter for PRISM.
MDPStateSpaceValidator	MDP state space validator for Henshin.
PRISMExperiment	Data class and parsing functionality for PRISM experiment results.
PRISMUtil	PRISM utils.
PRISMUtil.Range	Data class for ranges (and constants).

Package org.eclipse.emf.henshin.statespace.external.prism Description

State space adapters for PRISM.