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>