public class TransitionMap
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.Map<org.processmining.models.graphbased.directed.transitionsystem.Transition,java.util.Set<org.processmining.framework.util.Pair<java.lang.String,org.processmining.models.graphbased.directed.transitionsystem.Transition>>> |
map |
Constructor and Description |
---|
TransitionMap() |
Modifier and Type | Method and Description |
---|---|
void |
add(org.processmining.models.graphbased.directed.transitionsystem.Transition transition,
java.lang.String processName,
org.processmining.models.graphbased.directed.transitionsystem.Transition otherTransition) |
java.util.Set<org.processmining.framework.util.Pair<java.lang.String,org.processmining.models.graphbased.directed.transitionsystem.Transition>> |
getMappedTransitions(org.processmining.models.graphbased.directed.transitionsystem.Transition transition) |
public java.util.Map<org.processmining.models.graphbased.directed.transitionsystem.Transition,java.util.Set<org.processmining.framework.util.Pair<java.lang.String,org.processmining.models.graphbased.directed.transitionsystem.Transition>>> map
public void add(org.processmining.models.graphbased.directed.transitionsystem.Transition transition, java.lang.String processName, org.processmining.models.graphbased.directed.transitionsystem.Transition otherTransition)
public java.util.Set<org.processmining.framework.util.Pair<java.lang.String,org.processmining.models.graphbased.directed.transitionsystem.Transition>> getMappedTransitions(org.processmining.models.graphbased.directed.transitionsystem.Transition transition)