org.eclipse.emf.henshin.statespace.external.prism
Class MDPLabel

java.lang.Object
  org.eclipse.emf.henshin.statespace.external.prism.MDPLabel

public class MDPLabel
extends Object

Transition labels for MDPs. The identity of MDPLabels is based on the name of the applied rule together with the used match. This assumes that rules with the same name have the same LHS (and other application conditions).

Constructor Summary

MDPLabel(Transition transition)
Default constructor.

Method Summary

boolean	equals(Object o)
Transition	getTransition() Returns the transition of this label.
static Map<MDPLabel,List<Transition>>	getTransitionsByLabel(State state) For a given state, this method sorts its outgoing transitions by their labels and generates a map.
int	hashCode()

Methods inherited from class java.lang.Object

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

Constructor Detail

MDPLabel

public MDPLabel(Transition transition)

Default constructor.

Parameters:

transition - Transition.

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

getTransition

public Transition getTransition()

Returns the transition of this label.

Returns:

The transition.

getTransitionsByLabel

public static Map<MDPLabel,List<Transition>> getTransitionsByLabel(State state)

For a given state, this method sorts its outgoing transitions by their labels and generates a map.

Parameters:

state - A state.

Returns:

Map associating labels to transition lists.