public class JSOPnTransitionSorter extends java.lang.Object implements java.util.Comparator<JSOPnTransition>
| Modifier and Type | Field and Description |
|---|---|
java.util.HashMap<JSOPnTransition,java.lang.Integer> |
cache |
INetDataSource |
pn |
org.processmining.models.graphbased.directed.petrinet.elements.Place |
start |
| Constructor and Description |
|---|
JSOPnTransitionSorter(JSOSubNet jspn) |
| Modifier and Type | Method and Description |
|---|---|
int |
compare(JSOPnTransition o1,
JSOPnTransition o2) |
public INetDataSource pn
public org.processmining.models.graphbased.directed.petrinet.elements.Place start
public java.util.HashMap<JSOPnTransition,java.lang.Integer> cache
public JSOPnTransitionSorter(JSOSubNet jspn)
public int compare(JSOPnTransition o1, JSOPnTransition o2)
compare in interface java.util.Comparator<JSOPnTransition>